common.mk: build with -O3 (except for Mac OSX)
[model-checker.git] / common.mk
index 9fe9f09745c73ef0f75e3776c9d09c4a6b58c3d0..b2adf4ca33ed25988348e712b5f57ada1a7b57c1 100644 (file)
--- a/common.mk
+++ b/common.mk
@@ -8,9 +8,11 @@ UNAME = $(shell uname)
 LIB_NAME = model
 LIB_SO = lib$(LIB_NAME).so
 
-CPPFLAGS += -Wall -g -O3
+CPPFLAGS += -Wall -g
 
 # Mac OSX options
 ifeq ($(UNAME), Darwin)
-CPPFLAGS += -D_XOPEN_SOURCE -DMAC
+CPPFLAGS += -D_XOPEN_SOURCE -DMAC -O0
+else
+CPPFLAGS += -O3
 endif