diff options
| author | jvoisin | 2019-01-12 18:56:36 +0100 |
|---|---|---|
| committer | jvoisin | 2019-01-12 18:56:36 +0100 |
| commit | 498340e928d4145620726aea249604e197724701 (patch) | |
| tree | a0672307e8c76c1520a415ef9c8ba9d3073dfff6 | |
| parent | f399fc3123b5026d06593b8ee08b28d5bfa41288 (diff) | |
Make compilation stop gracefully in the absence of PCRE
| -rw-r--r-- | src/php_snuffleupagus.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/php_snuffleupagus.h b/src/php_snuffleupagus.h index 5129011..e7b5dc1 100644 --- a/src/php_snuffleupagus.h +++ b/src/php_snuffleupagus.h | |||
| @@ -26,6 +26,9 @@ | |||
| 26 | #include "zend_extensions.h" | 26 | #include "zend_extensions.h" |
| 27 | 27 | ||
| 28 | /* Compatibility */ | 28 | /* Compatibility */ |
| 29 | #if ( !HAVE_PCRE && !HAVE_BUNDLED_PCRE ) | ||
| 30 | #error Snuffleupagus requires PHP7+ with PCRE support | ||
| 31 | #endif | ||
| 29 | #if PHP_VERSION_ID < 70000 | 32 | #if PHP_VERSION_ID < 70000 |
| 30 | #error Snuffleupagus only works with PHP7+. You shouldn't use PHP5 anyway, \ | 33 | #error Snuffleupagus only works with PHP7+. You shouldn't use PHP5 anyway, \ |
| 31 | since it's not supported anymore: https://secure.php.net/supported-versions.php | 34 | since it's not supported anymore: https://secure.php.net/supported-versions.php |