diff options
| author | bringert <unknown> | 2004-06-23 13:46:40 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-23 13:46:40 +0000 |
| commit | 801a2cb9f196881e34d8f6d7eeb7a0dcbab6d75a (patch) | |
| tree | 45d8c23bd52228d7f94537d60d7aca9aed3774e0 /src/configure.ac | |
| parent | 09b3c829971b696faf5f3cc36576fbb8740c3f26 (diff) | |
Find java with configure, do not include preprocessed jgf script in binary dists.
Diffstat (limited to 'src/configure.ac')
| -rw-r--r-- | src/configure.ac | 15 |
1 files changed, 14 insertions, 1 deletions
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]) @@ -54,6 +54,19 @@ AC_ARG_WITH(jar, AC_SUBST(JAR) dnl *********************************************** +dnl java +dnl *********************************************** + +AC_ARG_WITH(java, + AC_HELP_STRING([--with-java=<java command>], + [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 *********************************************** |