mirror of
https://github.com/php/php-src.git
synced 2025-08-16 22:18:50 +02:00
Make this extension compile as shared extension too.
This commit is contained in:
parent
7c4ad7eda4
commit
e79b06fc02
1 changed files with 2 additions and 2 deletions
|
@ -18,8 +18,8 @@ if test "$PHP_GMP" != "no"; then
|
||||||
fi
|
fi
|
||||||
PHP_ADD_INCLUDE($GMP_DIR/include)
|
PHP_ADD_INCLUDE($GMP_DIR/include)
|
||||||
|
|
||||||
|
|
||||||
PHP_NEW_EXTENSION(gmp, gmp.c, $ext_shared)
|
PHP_NEW_EXTENSION(gmp, gmp.c, $ext_shared)
|
||||||
AC_DEFINE(HAVE_GMP, 1, [ ])
|
AC_DEFINE(HAVE_GMP, 1, [ ])
|
||||||
PHP_ADD_LIBRARY_WITH_PATH(gmp, $GMP_DIR/lib)
|
PHP_SUBST(GMP_SHARED_LIBADD)
|
||||||
|
PHP_ADD_LIBRARY_WITH_PATH(gmp, $GMP_DIR/lib, GMP_SHARED_LIBADD)
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue