params: add multi-level verbosity
[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 -O3
12
13 # Mac OSX options
14 ifeq ($(UNAME), Darwin)
15 CPPFLAGS += -D_XOPEN_SOURCE -DMAC
16 endif