From 2837550c4b1d1d5d6b3f366e164f97dee1ff78f2 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Mon, 27 Jul 2015 17:19:36 +0200 Subject: [PATCH 1/3] Remove executable permission from appveyor.yml. This is not an executable file. --- appveyor.yml | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 appveyor.yml diff --git a/appveyor.yml b/appveyor.yml old mode 100755 new mode 100644 From 2e7331964a39fc50fb04a8398f415a6d3b3b3732 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Mon, 27 Jul 2015 16:12:17 +0200 Subject: [PATCH 2/3] Use JAVA_HOME value in configure to detect Java. This is simpler than having to use --with-java, --with-javac and --with-javaincl options and, even more importantly, will usually just work by default. --- appveyor.yml | 2 +- configure.ac | 110 +++++++++++++++++++++++++++++++++++++++++++-------- 2 files changed, 95 insertions(+), 17 deletions(-) diff --git a/appveyor.yml b/appveyor.yml index 25abcb342..dc96d0bca 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -65,7 +65,7 @@ build_script: - set CCCL_OPTIONS=--cccl-muffle /W3 - set CHECK_OPTIONS=CSHARPOPTIONS=-platform:%Platform% # Open dummy file descriptor to fix error on cygwin: ./configure: line 560: 0: Bad file descriptor -- bash -c "exec 0 Date: Sun, 2 Aug 2015 15:40:41 +0200 Subject: [PATCH 3/3] Don't duplicate Java headers path under OS X in configure. Use /System/Library/Frameworks/JavaVM.framework/Headers in a single place only to make it easier to change it later and, hopefully, make the rather convoluted process of Java detection under OS X slightly more clear. --- configure.ac | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/configure.ac b/configure.ac index 12105fb80..eea0a8133 100644 --- a/configure.ac +++ b/configure.ac @@ -1217,9 +1217,9 @@ case $host in fi dnl The JAVA_HOME doesn't contain the JDK headers though, but they seem to dnl always be in the same location, according to Apple JNI documentation. - JAVA_HOME_INCDIR="/System/Library/Frameworks/JavaVM.framework/Headers" - if ! test -r "$JAVA_HOME_INCDIR/jni.h"; then - JAVA_HOME_INCDIR= + JAVA_OSX_STD_INCDIR="/System/Library/Frameworks/JavaVM.framework/Headers" + if test -r "$JAVA_OSX_STD_INCDIR/jni.h"; then + JAVA_HOME_INCDIR=$JAVA_OSX_STD_INCDIR fi ;; esac @@ -1292,7 +1292,7 @@ if test -z "$JAVAINCDIR" ; then # Add in default installation directory on Windows for Cygwin case $host in *-*-cygwin* | *-*-mingw*) JAVAINCDIR="c:/Program*Files*/Java/jdk*/include d:/Program*Files*/Java/jdk*/include c:/j2sdk*/include d:/j2sdk*/include c:/jdk*/include d:/jdk*/include $JAVAINCDIR";; - *-*-darwin*) JAVAINCDIR="/System/Library/Frameworks/JavaVM.framework/Headers $JAVAINCDIR";; + *-*-darwin*) JAVAINCDIR="$JAVA_OSX_STD_INCDIR $JAVAINCDIR";; *);; esac