diff options
-rw-r--r-- | configure.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/configure.in b/configure.in index b79b3df460..5867da17b7 100644 --- a/configure.in +++ b/configure.in @@ -1348,7 +1348,13 @@ CFLAGS="\$(CFLAGS_CLEAN) $standard_libtool_flag" INLINE_CFLAGS="$INLINE_CFLAGS $standard_libtool_flag" CXXFLAGS="$CXXFLAGS $standard_libtool_flag" -all_targets="$lcov_target \$(OVERALL_TARGET) \$(PHP_MODULES) \$(PHP_ZEND_EX) \$(PHP_CLI_TARGET)" +if test "$PHP_PHAR" != "no" && test "$PHP_CLI" != "no"; then + PHARCMD=pharcmd +else + PHARCMD= +fi; + +all_targets="$lcov_target \$(OVERALL_TARGET) \$(PHP_MODULES) \$(PHP_ZEND_EX) \$(PHP_CLI_TARGET) $PHARCMD" install_targets="$install_modules install-build install-headers install-programs $install_pear" case $PHP_SAPI in |