fix memory leak
[model-checker.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 LIB_SO = lib$(LIB_NAME).so
10
11 CPPFLAGS += -Wall -g
12
13 # Mac OSX options
14 ifeq ($(UNAME), Darwin)
15 CPPFLAGS += -D_XOPEN_SOURCE -DMAC -O0
16 else
17 CPPFLAGS += -O3
18 endif