mirror of
https://github.com/php/php-src.git
synced 2024-10-07 17:56:12 +00:00
41 lines
885 B
Plaintext
41 lines
885 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)
|
|
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)
|
|
])
|
|
|
|
AC_SUBST(SERVLET_CLASSPATH)
|