fix bug
[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 -O0