projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Makefile: add benchmarks to top-level
[model-checker.git]
/
test
/
Makefile
diff --git
a/test/Makefile
b/test/Makefile
index 87893243ce83e32f9e27331ec8620de14c6bce2d..a3de6fe9e7c1030d4d783cc3d5880606ddd9140f 100644
(file)
--- 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))