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

@@ -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