projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d193006
)
changes
author
Brian Demsky
<bdemsky@uci.edu>
Thu, 20 Sep 2012 00:38:39 +0000
(17:38 -0700)
committer
Brian Demsky
<bdemsky@uci.edu>
Thu, 20 Sep 2012 00:38:39 +0000
(17:38 -0700)
test/Makefile
patch
|
blob
|
history
diff --git
a/test/Makefile
b/test/Makefile
index a0b6d6e4ac9829bb6184e41c6cc5bca8b064c03e..87893243ce83e32f9e27331ec8620de14c6bce2d 100644
(file)
--- 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