projects
/
model-checker-benchmarks.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
f005d4f
)
common benchmarks makefile definitions
author
Brian Norris
<banorris@uci.edu>
Tue, 9 Oct 2012 18:04:10 +0000
(11:04 -0700)
committer
Brian Norris
<banorris@uci.edu>
Tue, 9 Oct 2012 18:04:10 +0000
(11:04 -0700)
benchmarks.mk
[new file with mode: 0644]
patch
|
blob
diff --git a/benchmarks.mk
b/benchmarks.mk
new file mode 100644
(file)
index 0000000..
901bfb9
--- /dev/null
+++ b/
benchmarks.mk
@@ -0,0
+1,23
@@
+# A few common Makefile items
+
+CC = gcc
+CXX = g++
+
+UNAME = $(shell uname)
+
+LIB_NAME = model
+LIB_SO = lib$(LIB_NAME).so
+
+BASE = ../..
+INCLUDE = -I$(BASE)/include -I$(BASE)
+CPPFLAGS += $(INCLUDE)
+CFLAGS += $(INCLUDE)
+LDFLAGS += -L$(BASE)/$(LIB_SO) -l$(LIB_NAME)
+
+# Mac OSX options
+ifeq ($(UNAME), Darwin)
+MACFLAGS = -D_XOPEN_SOURCE -DMAC
+CPPFLAGS += $(MACFLAGS)
+CFLAGS += $(MACFLAGS)
+LDFLAGS += $(MACFLAGS)
+endif