Bug fix: 64-bit Mac detection in Makefile.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2228 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/Makefile

@@ -70,7 +70,10 @@ endif
 # whether java is 32/64-bit (since these need to match)
 ifeq ($(OSTYPE),darwin)
     JAVA_VERSION_STRING = $(shell java -version 2>&1)
-	ifneq (, $(or $(findstring 64-bit, $(JAVA_VERSION_STRING)), $(findstring 64-Bit, $(JAVA_VERSION_STRING)) ))
+    ifneq (, $(findstring 64-bit, $(JAVA_VERSION_STRING)) )
+        ARCH = x86_64
+    endif
+    ifneq (, $(findstring 64-Bit, $(JAVA_VERSION_STRING)) )
         ARCH = x86_64
     endif
 endif