From 5a5eb34bc30984cd758367210a2514e173206217 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 18 Feb 2010 10:40:50 +0000 Subject: [PATCH] Makefile tweak: miscopied CUDD XCFLAGS for Solaris. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1734 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index 080084fb..a460088a 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -170,7 +170,7 @@ ifeq ($(OSTYPE),solaris) CFLAGS = $(DEBUG) $(OPTIMISE) CPPFLAGS = $(DEBUG) $(OPTIMISE) LDFLAGS = $(DEBUG) $(OPTIMISE) - CUDD_XCFLAGS = -march=i686 -m32 -malign-double -DHAVE_IEEE_754 -DBSD + CUDD_XCFLAGS = -mcpu=ultrasparc -DHAVE_IEEE_754 -DUNIX100 -DEPD_BIG_ENDIAN SHARED = -shared -mimpure-text EXE = LIBPREFIX = lib