From 801a2cb9f196881e34d8f6d7eeb7a0dcbab6d75a Mon Sep 17 00:00:00 2001 From: bringert Date: Wed, 23 Jun 2004 13:46:40 +0000 Subject: Find java with configure, do not include preprocessed jgf script in binary dists. --- src/configure.ac | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'src/configure.ac') diff --git a/src/configure.ac b/src/configure.ac index b8dc606b2..18815c69b 100644 --- a/src/configure.ac +++ b/src/configure.ac @@ -4,7 +4,7 @@ AC_INIT([GF],[2.0],[aarne@cs.chalmers.se],[GF]) AC_PREREQ(2.53) -AC_REVISION($Revision: 1.5 $) +AC_REVISION($Revision: 1.6 $) AC_CONFIG_FILES([config.mk jgf]) @@ -53,6 +53,19 @@ AC_ARG_WITH(jar, AC_SUBST(JAR) +dnl *********************************************** +dnl java +dnl *********************************************** + +AC_ARG_WITH(java, + AC_HELP_STRING([--with-java=], + [Use a different command instead of + 'java' for the Java Virtual Machine.]), + [AC_CHECK_FILE("$withval",JAVA="$withval",[AC_PATH_PROG(JAVA,"$withval")])], + [AC_PATH_PROG(JAVA,java)]) + +AC_SUBST(JAVA) + dnl *********************************************** dnl Other programs dnl *********************************************** -- cgit v1.2.3