mirror of
https://github.com/php/php-src.git
synced 2024-09-25 20:07:26 +00:00
f2f8d38efa
- added support for externally built modules, - improved support for in-tree shared modules, - fixed diversion bugs, - configure displays some informative messages, - faster static build (libtool isn't used anymore for compiling non-PIC objects), - dependencies comparable to automake's without requiring GNU make or GCC, - working make clean for non-GNU makes.
41 lines
916 B
Plaintext
41 lines
916 B
Plaintext
# $Id$
|
|
# config.m4 for servlet sapi
|
|
|
|
AC_MSG_CHECKING(for Servlet support)
|
|
AC_ARG_WITH(servlet,
|
|
[ --with-servlet[=DIR] Include servlet support. DIR is the base install
|
|
directory for the JSDK. This SAPI prereqs the
|
|
java extension must be built as a shared dl.],
|
|
[
|
|
if test "$withval" != "no"; then
|
|
|
|
if test "$withval" = "yes"; then
|
|
SERVLET_CLASSPATH=.
|
|
else
|
|
if test -f $withval/lib/jsdk.jar; then
|
|
SERVLET_CLASSPATH=$withval/lib/jsdk.jar
|
|
else
|
|
if test -d $withval/javax; then
|
|
SERVLET_CLASSPATH=$withval
|
|
else
|
|
AC_MSG_RESULT(no)
|
|
AC_MSG_ERROR(unable to find JSDK libraries)
|
|
fi
|
|
fi
|
|
fi
|
|
|
|
AC_DEFINE(SAPI_SERVLET, 1, [Whether you use Servlet])
|
|
PHP_EXTENSION(servlet, "shared")
|
|
PHP_SAPI=servlet
|
|
PHP_BUILD_SHARED
|
|
PHP_BUILD_THREAD_SAFE
|
|
AC_MSG_RESULT(yes)
|
|
else
|
|
AC_MSG_RESULT(no)
|
|
fi
|
|
],[
|
|
AC_MSG_RESULT(no)
|
|
])
|
|
|
|
PHP_SUBST(SERVLET_CLASSPATH)
|