Optional Packages:
--with-PACKAGE[=ARG] use PACKAGE [ARG=yes]
--without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no)
Optional Packages:
--with-PACKAGE[=ARG] use PACKAGE [ARG=yes]
--without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no)
ac_output_file="Makefile MakeRules ir/Makefile ir/adt/Makefile ir/debug/Makefile \
ir/tv/Makefile ir/common/Makefile ir/ident/Makefile ir/ir/Makefile \
ir/ana/Makefile ir/tr/Makefile ir/st/Makefile testprograms/Makefile \
ac_output_file="Makefile MakeRules ir/Makefile ir/adt/Makefile ir/debug/Makefile \
ir/tv/Makefile ir/common/Makefile ir/ident/Makefile ir/ir/Makefile \
ir/ana/Makefile ir/tr/Makefile ir/st/Makefile testprograms/Makefile \
# Check whether --with-includedir or --without-includedir was given.
if test "${with_includedir+set}" = set; then
withval="$with_includedir"
# Check whether --with-includedir or --without-includedir was given.
if test "${with_includedir+set}" = set; then
withval="$with_includedir"
#AC_CHECK_HEADERS(obstack.h, ac_obstack_headers="yes", ac_obstack_headers="no")
#if test "$ac_obstack_headers" != yes; then
#AC_CHECK_HEADERS(obstack.h, ac_obstack_headers="yes", ac_obstack_headers="no")
#if test "$ac_obstack_headers" != yes; then
{ { echo "$as_me:$LINENO: error: \"no obstack support\"" >&5
echo "$as_me: error: \"no obstack support\"" >&2;}
{ (exit 1); exit 1; }; }
{ { echo "$as_me:$LINENO: error: \"no obstack support\"" >&5
echo "$as_me: error: \"no obstack support\"" >&2;}
{ (exit 1); exit 1; }; }
- { { echo "$as_me:$LINENO: error: jni header file not found. (IPD: add -I/usr/public2/java/jdk1.3.1-sun/include/ -I/usr/public2/java/jdk1.3.1-sun/include/linux/ to CPPFLAGS)" >&5
-echo "$as_me: error: jni header file not found. (IPD: add -I/usr/public2/java/jdk1.3.1-sun/include/ -I/usr/public2/java/jdk1.3.1-sun/include/linux/ to CPPFLAGS)" >&2;}
+ { { echo "$as_me:$LINENO: error: jni header file not found. (IPD: add --with-includedir=/usr/public2/java/jdk1.3.1-sun/include/:/usr/public2/java/jdk1.3.1-sun/include/linux/ to configure flags)" >&5
+echo "$as_me: error: jni header file not found. (IPD: add --with-includedir=/usr/public2/java/jdk1.3.1-sun/include/:/usr/public2/java/jdk1.3.1-sun/include/linux/ to configure flags)" >&2;}