add seqlock
[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 BASE = $(CDS_DIR)
13 INCLUDE = -I$(BASE)/include -I../include
14
15 # C preprocessor flags
16 CPPFLAGS += $(INCLUDE) -g
17
18 # C++ compiler flags
19 CXXFLAGS += $(CPPFLAGS)
20
21 # C compiler flags
22 CFLAGS += $(CPPFLAGS)
23
24 # Linker flags
25 LDFLAGS += -L$(BASE) -l$(LIB_NAME) -rdynamic
26
27 # Mac OSX options
28 ifeq ($(UNAME), Darwin)
29 MACFLAGS = -D_XOPEN_SOURCE -DMAC
30 CPPFLAGS += $(MACFLAGS)
31 CXXFLAGS += $(MACFLAGS)
32 CFLAGS += $(MACFLAGS)
33 LDFLAGS += $(MACFLAGS)
34 endif