diff options
Diffstat (limited to 'ext/ming/config.m4')
-rw-r--r-- | ext/ming/config.m4 | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/ext/ming/config.m4 b/ext/ming/config.m4 deleted file mode 100644 index 4962f973c4..0000000000 --- a/ext/ming/config.m4 +++ /dev/null @@ -1,32 +0,0 @@ -dnl -dnl $Id$ -dnl - -PHP_ARG_WITH(ming, for MING support, -[ --with-ming[=DIR] Include MING support]) - -if test "$PHP_MING" != "no"; then - for i in $PHP_MING /usr/local /usr; do - if test -r $i/lib/libming.so; then - MING_DIR=$i - fi - done - - if test -z "$MING_DIR"; then - AC_MSG_ERROR(Please reinstall libming.so - I cannot find libming.so) - fi - - PHP_CHECK_LIBRARY(ming, Ming_useSWFVersion, [ - AC_DEFINE(HAVE_MING,1,[ ]) - ],[ - AC_MSG_ERROR([Ming library 0.2a or greater required.]) - ],[ - -L$MING_DIR/lib -lm -ldl - ]) - - PHP_ADD_INCLUDE($MING_DIR/include) - PHP_ADD_LIBRARY_WITH_PATH(ming, $MING_DIR/lib, MING_SHARED_LIBADD) - - PHP_EXTENSION(ming, $ext_shared) - PHP_SUBST(MING_SHARED_LIBADD) -fi |