From 99dbe158f2b94d1c65747b26803596b2d38df6de Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 19 Feb 2010 07:20:43 +0000 Subject: [PATCH] Makefile tweak: CUDD flags on Windows. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1748 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index a460088a..4a013a15 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -184,7 +184,7 @@ ifeq ($(OSTYPE),cygwin) CFLAGS = -mno-cygwin $(DEBUG) $(OPTIMISE) CPPFLAGS = -mno-cygwin $(DEBUG) $(OPTIMISE) LDFLAGS = -mno-cygwin -Wl,--add-stdcall-alias $(DEBUG) $(OPTIMISE) - CUDD_XCFLAGS = -mno-cygwin -march=i686 -malign-double -DHAVE_IEEE_754 -DHAVE_GETRLIMIT=0 -DRLIMIT_DATA_DEFAULT=67108864 -DHAVE_SYS_RESOURCE_H=0 -DHAVE_SYS_WAIT_H=0 + CUDD_XCFLAGS = -mno-cygwin -march=i686 -malign-double -DHAVE_IEEE_754 -DHAVE_GETRLIMIT=0 -DRLIMIT_DATA_DEFAULT=268435456 -DHAVE_SYS_RESOURCE_H=0 -DHAVE_SYS_WAIT_H=0 SHARED = -shared #SHARED = -G EXE = .exe