diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-21 03:26:13 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-21 03:26:13 +0000 |
| commit | 3b1689612bb2ff984aa90cd84093ffc043d78ba9 (patch) | |
| tree | 872cf423273a331e110ff3868cd5281c960dd3b1 /configure.ac | |
| parent | 69d8f8da6bbb856964d47a583ceb4e50060e9457 (diff) | |
considerable bindings interface work, some improvements to build
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 8a1039bd9..d4ea2ef48 100644 --- a/configure.ac +++ b/configure.ac @@ -835,6 +835,30 @@ else AC_MSG_RESULT([no (user didn't request it)]) fi +# Java +AC_ARG_VAR(JAVA, [Java interpreter (used when testing Java interface)]) +AC_ARG_VAR(JAVAC, [Java compiler (used when building and testing Java interface)]) +AC_ARG_VAR(JAR, [Jar archiver (used when building Java interface)]) +if test "$cvc4_build_java_bindings"; then + dnl AM_PROG_GCJ + if test -z "$JAVA"; then + AC_CHECK_PROGS(JAVA, java, java, []) + else + AC_CHECK_PROG(JAVA, "$JAVA", "$JAVA", []) + fi + if test -z "$JAVAC"; then + AC_CHECK_PROGS(JAVAC, javac gcj, javac, []) + if test "$JAVAC" = gcj; then JAVAC='gcj -C'; fi + else + AC_CHECK_PROG(JAVAC, "$JAVAC", "$JAVAC", []) + fi + if test -z "$JAR"; then + AC_CHECK_PROGS(JAR, jar, jar, []) + else + AC_CHECK_PROG(JAR, "$JAR", "$JAR", []) + fi +fi + # Prepare configure output if test "$enable_shared" = yes; then BUILDING_SHARED=1; else BUILDING_SHARED=0; fi |