From 0974ca4b81ba2be2d8fb2c6a005c5f8a29ad0349 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 2 Jan 2012 22:35:09 +0000 Subject: [PATCH] Makefile tweak: drop -mtune=native flag for 32-bit Linux compile: should be unnecessary. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4316 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index 3d51b5a2..82c708a2 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -156,7 +156,7 @@ ifeq ($(OSTYPE),linux) LDFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE) BINDISTSUFFIX = linux64 else - CUDD_XCFLAGS = -m32 -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD $(DEBUG) + CUDD_XCFLAGS = -m32 -malign-double -DHAVE_IEEE_754 -DBSD $(DEBUG) CFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE) CPPFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE) LDFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE)