From a6b2b4f3c7f20b9d681efaea5666b6f76107bb35 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 23 Jan 2013 08:25:20 +0000 Subject: [PATCH] Part 2 of Makefile fix from Steffen Marcker (64-bit detection on Macs) git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6343 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index c3455f49..479de2c8 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -70,10 +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 (,$(findstring 64-bit, $(JAVA_VERSION_STRING)) ) + ifneq (,$(findstring 64-bit, $(JAVA_VERSION_STRING))) ARCH = x86_64 endif - ifneq (,$(findstring 64-Bit, $(JAVA_VERSION_STRING)) ) + ifneq (,$(findstring 64-Bit, $(JAVA_VERSION_STRING))) ARCH = x86_64 endif endif