From 91ce5019991917a663ad53c560eb72245a91e1c8 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 26 Jan 2010 12:58:18 +0000 Subject: [PATCH] makefile tweak - unneeded flags to compiler on Macs. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1719 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 18ed3dfa..e3bb1dc0 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -197,13 +197,13 @@ endif # Darwin ifeq ($(OSTYPE),darwin) ifeq ($(ARCH),x86_64) - CFLAGS = -arch x86_64 -fPIC -DPIC -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) - CPPFLAGS = -arch x86_64 -fPIC -DPIC -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) + CFLAGS = -arch x86_64 -fPIC -DPIC $(DEBUG) $(OPTIMISE) + CPPFLAGS = -arch x86_64 -fPIC -DPIC $(DEBUG) $(OPTIMISE) LDFLAGS = -arch x86_64 -fPIC -DPIC -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) CUDD_MAKEFILE = Makefile.darwin-64 else - CFLAGS = -arch i386 -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) - CPPFLAGS = -arch i386 -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) + CFLAGS = -arch i386 $(DEBUG) $(OPTIMISE) + CPPFLAGS = -arch i386 $(DEBUG) $(OPTIMISE) LDFLAGS = -arch i386 -Wl,-search_paths_first $(DEBUG) $(OPTIMISE) CUDD_MAKEFILE = Makefile.darwin endif