diff options
| author | jvoisin | 2017-09-21 16:19:44 +0200 |
|---|---|---|
| committer | jvoisin | 2017-09-22 17:45:32 +0200 |
| commit | 3ba2b7e37cb24f951f557c4a4f62920154a7c0d2 (patch) | |
| tree | c904d0acf0e7eddb0a3697baff59cc237a7d6250 /src/config.m4 | |
| parent | 6487590b4fd55dddd59b43f1fcf2ebd8d56f20ac (diff) | |
Improve a bit the .travis.yml file
Diffstat (limited to 'src/config.m4')
| -rw-r--r-- | src/config.m4 | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/config.m4 b/src/config.m4 index 84ca2f4..4f70871 100644 --- a/src/config.m4 +++ b/src/config.m4 | |||
| @@ -19,8 +19,9 @@ PHP_ARG_ENABLE(debug, whether to enable debug messages, | |||
| 19 | CFLAGS="$CFLAGS -lpcre" | 19 | CFLAGS="$CFLAGS -lpcre" |
| 20 | CFLAGS="$CFLAGS -D_DEFAULT_SOURCE=1 -std=c99" | 20 | CFLAGS="$CFLAGS -D_DEFAULT_SOURCE=1 -std=c99" |
| 21 | CFLAGS="$CFLAGS -Wall -Wextra -Wno-unused-parameter" | 21 | CFLAGS="$CFLAGS -Wall -Wextra -Wno-unused-parameter" |
| 22 | CFLAGS="$CFLAGS --coverage" | ||
| 22 | 23 | ||
| 23 | LFLAGS="$LFLAGS -lpcre" | 24 | LDFLAGS="$LDFLAGS -lpcre --coverage" |
| 24 | 25 | ||
| 25 | if test "$PHP_DEBUG" = "yes"; then | 26 | if test "$PHP_DEBUG" = "yes"; then |
| 26 | AC_DEFINE(SP_DEBUG, 1, [Wether you want to enable debug messages]) | 27 | AC_DEFINE(SP_DEBUG, 1, [Wether you want to enable debug messages]) |
| @@ -28,12 +29,14 @@ fi | |||
| 28 | 29 | ||
| 29 | AC_CHECK_LIB(pcre, pcre_compile, AC_DEFINE(HAVE_PCRE, 1, [have pcre])) | 30 | AC_CHECK_LIB(pcre, pcre_compile, AC_DEFINE(HAVE_PCRE, 1, [have pcre])) |
| 30 | 31 | ||
| 31 | if test "$PHP_SNUFFLEUPAGUS" != "no"; then | 32 | if test "$PHP_SNUFFLEUPAGUS" = "yes"; then |
| 32 | if test "$PHP_COVERAGE" != "no"; then | 33 | if test "$PHP_COVERAGE" = "yes"; then |
| 33 | CFLAGS="$CFLAGS --coverage -fprofile-arcs -ftest-coverage" | 34 | CFLAGS="$CFLAGS --coverage" |
| 34 | LDFLAGS="$LDFLAGS --coverage" | 35 | LDFLAGS="$LDFLAGS --coverage" |
| 35 | PHP_NEW_EXTENSION(snuffleupagus, $sources, $ext_shared,-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1 -g -fprofile-arcs -ftest-coverage -lgcov) | 36 | PHP_NEW_EXTENSION(snuffleupagus, $sources, $ext_shared,-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1 -g --coverage -lgcov) |
| 36 | else | 37 | else |
| 38 | CFLAGS="$CFLAGS --coverage" | ||
| 39 | LDFLAGS="$LDFLAGS --coverage" | ||
| 37 | PHP_NEW_EXTENSION(snuffleupagus, $sources, $ext_shared,-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) | 40 | PHP_NEW_EXTENSION(snuffleupagus, $sources, $ext_shared,-DZEND_ENABLE_STATIC_TSRMLS_CACHE=1) |
| 38 | fi | 41 | fi |
| 39 | fi | 42 | fi |
