Ticket #19945: patch-configure

File patch-configure, 883 bytes (added by aronnax@…, 15 years ago)

New version of file: patch-configure

Line 
1--- configure.orig      2009-04-30 04:10:00.000000000 -0700
2+++ configure   2009-09-10 17:27:23.000000000 -0700
3@@ -9021,11 +9021,11 @@
4 fi
5 
6 if test -n "$JAVA_HOME" ; then
7-  JAVA_RUN=$JAVA_HOME/bin/java
8-  JAVAC=$JAVA_HOME/bin/javac
9-  JAVAH="$JAVA_HOME/bin/javah -jni"
10-  JAR=$JAVA_HOME/bin/jar
11-  JAVADOC=$JAVA_HOME/bin/javadoc
12+  JAVA_RUN=$JAVA_HOME/Commands/java
13+  JAVAC=$JAVA_HOME/Commands/javac
14+  JAVAH="$JAVA_HOME/Commands/javah -jni"
15+  JAR=$JAVA_HOME/Commands/jar
16+  JAVADOC=$JAVA_HOME/Commands/javadoc
17 else
18   JAVA_RUN=`which java`
19   JAVAC=`which javac`
20@@ -9050,6 +9050,9 @@
21   linux*)
22     JNIINCLUDE="-I$JAVA_HOME/include -I$JAVA_HOME/include/linux"
23     ;;
24+  darwin* )
25+    JNIINCLUDE="-I/System/Library/Frameworks/JavaVM.framework/Versions/A/Headers/ -framework JavaVM"
26+    ;;
27   freebsd*)
28     JNIINCLUDE="-I$JAVA_HOME/include -I$JAVA_HOME/include/freebsd"
29     ;;