Makefile bug on Mac OS X 64-bit (not copied from 3.3 ( .1 ) fixes ) .

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1668 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · bc284d9717
1 changed files with 2 additions and 1 deletions
--- a/prism/Makefile
+++ b/prism/Makefile
@ -67,7 +67,8 @@ ifneq (,$(findstring ia64, $(shell uname -m)))
 	ARCH = ia64
 endif
 ifeq ($(OSTYPE),darwin)
-	ifneq (,$(findstring 64-bit, $(shell java -version 2>&1)))
+	JAVA_VERSION_STRING = $(shell java -version 2>&1)
+	ifneq (, $(or $(findstring 64-bit, $(JAVA_VERSION_STRING)), $(findstring 64-Bit, $(JAVA_VERSION_STRING)) ))
 		ARCH = x86_64
 	endif
 endif