output/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 = $(HOME)/model-checker-priv/model-checker-priv
  12 INCLUDE = -I$(BASE)/include -I../include -I$(BASE)/spec-analysis -I$(BASE)
  13
  14 # C preprocessor flags
  15 CPPFLAGS += $(INCLUDE) -O3
  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