diff options
author | Vadim Zeitlin <vz-swig@zeitlins.org> | 2015-08-02 15:40:41 +0200 |
---|---|---|
committer | Vadim Zeitlin <vz-swig@zeitlins.org> | 2015-08-02 15:40:41 +0200 |
commit | 651ad3030c709df13a49c365ead98e0cd0ac21cf (patch) | |
tree | 4da93fb0a687d7898414054d1536cfca20f8fcac | |
parent | 2e7331964a39fc50fb04a8398f415a6d3b3b3732 (diff) | |
download | swig-651ad3030c709df13a49c365ead98e0cd0ac21cf.tar.gz |
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.
-rw-r--r-- | configure.ac | 8 |
1 files 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 |