fix replacement around macro expansion; add new benchmarks from Stavros Aronis
[satcheck.git] / common.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 TSO_LIB_SO := libtso_$(LIB_NAME).so
10 SC_LIB_SO := libsc_$(LIB_NAME).so
11
12 CPPFLAGS += -Wall -g -O3
13
14 # Mac OSX options
15 ifeq ($(UNAME), Darwin)
16 CPPFLAGS += -D_XOPEN_SOURCE -DMAC
17 endif