From: Brian Norris <banorris@uci.edu>
Date: Thu, 20 Sep 2012 16:44:31 +0000 (-0700)
Subject: Makefile: move common Mac flags to common.mk
X-Git-Tag: pldi2013~171
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=538175be35df96c8858f384d0001c35701f5e666;p=model-checker.git

Makefile: move common Mac flags to common.mk
---

diff --git a/Makefile b/Makefile
index a732cb7..620a9ec 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,6 @@ SHARED = -shared
 
 # Mac OSX options
 ifeq ($(UNAME), Darwin)
-CPPFLAGS += -D_XOPEN_SOURCE -DMAC
 LDFLAGS = -ldl
 SHARED = -Wl,-undefined,dynamic_lookup -dynamiclib
 endif
diff --git a/common.mk b/common.mk
index e9e4060..009ae63 100644
--- a/common.mk
+++ b/common.mk
@@ -9,3 +9,8 @@ LIB_NAME = model
 LIB_SO = lib$(LIB_NAME).so
 
 CPPFLAGS += -Wall -g -O0
+
+# Mac OSX options
+ifeq ($(UNAME), Darwin)
+CPPFLAGS += -D_XOPEN_SOURCE -DMAC
+endif
diff --git a/test/Makefile b/test/Makefile
index 8789324..a3de6fe 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -2,11 +2,6 @@ include ../common.mk
 
 CPPFLAGS += -I.. -I../include
 
-# Mac OSX options
-ifeq ($(UNAME), Darwin)
-CPPFLAGS += -D_XOPEN_SOURCE -DMAC
-endif
-
 SRCS = $(wildcard *.c)
 CPSRCS = $(wildcard *.cc)
 OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))