From 79ea1d96a5a86e9bc614d6bc34305ec9cfd9ae3f Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 13 Jul 2017 07:44:18 +0000 Subject: [PATCH] Makefile, cygwin64: Remove -fPIC The mingw compiler issues warnings that the code is position-independent by default, so we just drop the flag. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12015 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index a6c51c4a..904b0dbc 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -209,7 +209,7 @@ ifeq ($(OSTYPE),cygwin) ifeq ($(ARCH),x86_64) C = /usr/bin/x86_64-w64-mingw32-gcc CPP = /usr/bin/x86_64-w64-mingw32-g++ - CUDD_XCFLAGS = -fPIC -DPIC -malign-double -DHAVE_IEEE_754 -DHAVE_GETRLIMIT=0 -DRLIMIT_DATA_DEFAULT=268435456 -DHAVE_SYS_RESOURCE_H=0 -DHAVE_SYS_WAIT_H=0 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=4 -fpermissive $(DEBUG) -static-libgcc -static-libstdc++ + CUDD_XCFLAGS = -malign-double -DHAVE_IEEE_754 -DHAVE_GETRLIMIT=0 -DRLIMIT_DATA_DEFAULT=268435456 -DHAVE_SYS_RESOURCE_H=0 -DHAVE_SYS_WAIT_H=0 -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=4 -fpermissive $(DEBUG) -static-libgcc -static-libstdc++ CFLAGS = $(CUDD_XCFLAGS) $(OPTIMISE) # need -DWIN32 for lpsolve (WIN32 is only defined by mingw/gcc without --std=c++11) CPPFLAGS = --std=c++11 -DWIN32 $(CUDD_XCFLAGS) $(OPTIMISE)