The CDSSpec checker's benchmarks
[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
14 # C preprocessor flags
15 CPPFLAGS += $(INCLUDE) 
16
17 # C++ compiler flags
18 CXXFLAGS += $(CPPFLAGS)
19
20 # C compiler flags
21 CFLAGS += $(CPPFLAGS)
22
23 # Linker flags
24 LDFLAGS += -L$(BASE) -l$(LIB_NAME) -rdynamic
25
26 # Mac OSX options
27 ifeq ($(UNAME), Darwin)
28 MACFLAGS = -D_XOPEN_SOURCE -DMAC
29 CPPFLAGS += $(MACFLAGS)
30 CXXFLAGS += $(MACFLAGS)
31 CFLAGS += $(MACFLAGS)
32 LDFLAGS += $(MACFLAGS)
33 endif