diff options
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 *********************************************** |