From 3cf85ee0ec1d6176174c31923fa01b9872989067 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 7 Nov 2013 00:11:29 +0000 Subject: [PATCH] Re-attempt at 64-bit Cygwin Makefile. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7552 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 2286b30d..a23fda12 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -201,16 +201,16 @@ endif # Cygwin ifeq ($(OSTYPE),cygwin) ifeq ($(ARCH),x86_64) - C = /usr/bin/i686-w64-mingw32-gcc - CPP = /usr/bin/i686-w64-mingw32-g++ + C = /usr/bin/x86_64-w64-mingw32-gcc + CPP = /usr/bin/x86_64-w64-mingw32-g++ CUDD_XCFLAGS = -march=x86_64 -fPIC -DPIC -malign-double -DHAVE_IEEE_754 -DHAVE_GETRLIMIT=0 -DRLIMIT_DATA_DEFAULT=268435456 -DHAVE_SYS_RESOURCE_H=0 -DHAVE_SYS_WAIT_H=0 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8 $(DEBUG) -static-libgcc -static-libstdc++ CFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE) CPPFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE) LDFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE) -Wl,--add-stdcall-alias BINDISTSUFFIX = win64 else - C = /usr/bin/x86_64-w64-mingw32-gcc - CPP = /usr/bin/x86_64-w64-mingw32-g++ + C = /usr/bin/i686-w64-mingw32-gcc + CPP = /usr/bin/i686-w64-mingw32-g++ CUDD_XCFLAGS = -march=i686 -malign-double -DHAVE_IEEE_754 -DHAVE_GETRLIMIT=0 -DRLIMIT_DATA_DEFAULT=268435456 -DHAVE_SYS_RESOURCE_H=0 -DHAVE_SYS_WAIT_H=0 $(DEBUG) -static-libgcc -static-libstdc++ CFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE) CPPFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE)