diff options
| author | jvoisin | 2017-10-05 16:55:41 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-05 16:55:41 +0200 |
| commit | 0527dd3ddec3ad75ecb296ecdb55fbe4c2ad4418 (patch) | |
| tree | 0725db978191d139555e2e3b58cb1d32b86f1f60 /src | |
| parent | b769b7d6b9409b3f0d1dd8410fecbeae2e2ddd0c (diff) | |
Use clang on travis-ci (#23)
Diffstat (limited to 'src')
| -rw-r--r-- | src/config.m4 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/config.m4 b/src/config.m4 index 04eefa2..a0409de 100644 --- a/src/config.m4 +++ b/src/config.m4 | |||
| @@ -11,10 +11,10 @@ PHP_ARG_ENABLE(snuffleupagus, whether to enable snuffleupagus support, | |||
| 11 | [ --enable-snuffleupagus Enable snuffleupagus support]) | 11 | [ --enable-snuffleupagus Enable snuffleupagus support]) |
| 12 | 12 | ||
| 13 | PHP_ARG_ENABLE(coverage, whether to enable coverage support, | 13 | PHP_ARG_ENABLE(coverage, whether to enable coverage support, |
| 14 | [ --enable-coverage Enable coverage support]) | 14 | [ --enable-coverage Enable coverage support], no, no) |
| 15 | 15 | ||
| 16 | PHP_ARG_ENABLE(debug, whether to enable debug messages, | 16 | PHP_ARG_ENABLE(debug, whether to enable debug messages, |
| 17 | [ --enable-debug Enable debug messages]) | 17 | [ --enable-debug Enable debug messages], no, no) |
| 18 | 18 | ||
| 19 | CFLAGS="$CFLAGS" | 19 | CFLAGS="$CFLAGS" |
| 20 | CFLAGS="$CFLAGS -D_DEFAULT_SOURCE=1 -std=c99" | 20 | CFLAGS="$CFLAGS -D_DEFAULT_SOURCE=1 -std=c99" |
| @@ -33,7 +33,7 @@ AC_CHECK_LIB(pcre, pcre_compile, AC_DEFINE(HAVE_PCRE, 1, [have pcre])) | |||
| 33 | 33 | ||
| 34 | if test "$PHP_SNUFFLEUPAGUS" = "yes"; then | 34 | if test "$PHP_SNUFFLEUPAGUS" = "yes"; then |
| 35 | if test "$PHP_COVERAGE" = "yes"; then | 35 | if test "$PHP_COVERAGE" = "yes"; then |
| 36 | CFLAGS="$CFLAGS --coverage -lgcov -O1 -g" | 36 | CFLAGS="$CFLAGS --coverage -O0 -g" |
| 37 | fi | 37 | fi |
| 38 | PHP_NEW_EXTENSION(snuffleupagus, $sources, $ext_shared,-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) | 38 | PHP_NEW_EXTENSION(snuffleupagus, $sources, $ext_shared,-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) |
| 39 | fi | 39 | fi |
