From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 20 Sep 2012 00:38:39 +0000 (-0700)
Subject: changes
X-Git-Tag: pldi2013~175
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0217e321ae9bb43b3e629fdb400d6f1c41fb75f0;hp=d1930060e483b841f0a9c35c5041035dbdf6de4a;p=model-checker.git

changes
---

diff --git a/test/Makefile b/test/Makefile
index a0b6d6e..8789324 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -3,14 +3,21 @@ include ../common.mk
 CPPFLAGS += -I.. -I../include
 
 # Mac OSX options
+ifeq ($(UNAME), Darwin)
+CPPFLAGS += -D_XOPEN_SOURCE -DMAC
+endif
 
 SRCS = $(wildcard *.c)
-OBJS = $(patsubst %.c,%.o,$(SRCS))
+CPSRCS = $(wildcard *.cc)
+OBJS = $(patsubst %.c,%.o,$(SRCS)) $(patsubst %.cc,%.o,$(CPSRCS))
 
 all: $(OBJS)
 
 %.o: %.c
 	$(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
 
+%.o: %.cc
+	$(CXX) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
+
 clean::
 	rm -f *.o