bench.sh: add dekker-fences to benchmark runs
[model-checker-benchmarks.git] / benchmarks.mk
1 # A few common Makefile items
2
3 CC = gcc
4 CXX = g++
5
6 UNAME = $(shell uname)
7
8 LIB_NAME = model
9 LIB_SO = lib$(LIB_NAME).so
10
11 BASE = ../..
12 INCLUDE = -I$(BASE)/include -I../include
13 FLAGS := -g
14 CPPFLAGS += $(INCLUDE) $(FLAGS)
15 CFLAGS += $(INCLUDE) $(FLAGS)
16 LDFLAGS += -L$(BASE) -l$(LIB_NAME) -rdynamic
17
18 # Mac OSX options
19 ifeq ($(UNAME), Darwin)
20 MACFLAGS = -D_XOPEN_SOURCE -DMAC
21 CPPFLAGS += $(MACFLAGS)
22 CFLAGS += $(MACFLAGS)
23 LDFLAGS += $(MACFLAGS)
24 endif