more WIN32 compilation fixes.

2010-07-20 14:33:33 +01:00
parent bf0786822e
commit 18f28354b6
6 changed files with 14 additions and 6 deletions
--- a/6
+++ b/6
@@ -6245,7 +6245,11 @@ elif test -e "$srcdir"/packages/jpl/Makefile.in; then
 	JAVA_HOME="$yap_cv_java"
 	case "$target_os" in
 	    *cygwin*|*mingw*)
-	       JAVALIBPATH="\"$JAVA_HOME\"/lib/jvm.lib -lpthread"
+	       if test $threads = yes; then
+	         JAVALIBPATH="\"$JAVA_HOME\"/lib/jvm.lib -lpthread"
+               else
+	         JAVALIBPATH="\"$JAVA_HOME\"/lib/jvm.lib"
+               fi
 	       JAVAINCPATH="-I\"$JAVA_HOME\"/include -I\"$JAVA_HOME\"/include/win32"
 	       	  ;;
 	       *darwin*)