From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 18:04:10 +0000 (-0700)
Subject: common benchmarks makefile definitions
X-Git-Tag: pldi2013~66
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=6ab37c539ac3939d63027753d2b7fd324ffb9192

common benchmarks makefile definitions
---

diff --git a/benchmarks.mk b/benchmarks.mk
new file mode 100644
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