From 4b64eafc3d3451dd00dd9f8b0358b752bbd0d447 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 30 Oct 2013 23:08:27 +0000
Subject: [PATCH] autoconf

---
 configure | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/configure b/configure
index 449e9efa0..c374d1c98 100755
--- a/configure
+++ b/configure
@@ -7630,9 +7630,9 @@ elif test -e "$srcdir"/packages/jpl/Makefile.in; then
 	ENABLE_JPL=""
 	if test "$yap_cv_java" != "yes"; then
           JAVA_HOME=$yap_cv_java
-	  JAVAPREFIX=$JAVA_HOME/bin
+	  JAVAPREFIX="$JAVA_HOME"/bin
        elif test -n "$JAVA_HOME"; then
-	  JAVAPREFIX=$JAVA_HOME/bin
+	  JAVAPREFIX="$JAVA_HOME"/bin
        fi
 
 
@@ -8539,8 +8539,13 @@ else
 fi
 
 case "$host_os" in
-        darwin*)        _JTOPDIR=`echo "$_JTOPDIR" | sed -e 's:/[^/]*$::'`
-                        _JINC="$_JTOPDIR/Headers";;
+        darwin*)        _J2TOPDIR=`echo "$_JTOPDIR" | sed -e 's:/[^/]*$::'`
+                        if test -d "$_J2TOPDIR/Headers"; then
+			 _JINC="$_J2TOPDIR/Headers"
+			 else
+			 _JINC="$_JTOPDIR/include"
+			fi
+			;;
         *)              _JINC="$_JTOPDIR/include";;
 esac
 if test -f "$_JINC/jni.h"; then