summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
0ae9790)
All model-checker headers needed for user-program compilation should be
in $(BASE)/include now, not in $(BASE)/
LIB_SO = lib$(LIB_NAME).so
BASE = ../..
LIB_SO = lib$(LIB_NAME).so
BASE = ../..
-INCLUDE = -I$(BASE)/include -I$(BASE) -I../include
+INCLUDE = -I$(BASE)/include -I../include
FLAGS := -g -rdynamic
CPPFLAGS += $(INCLUDE) $(FLAGS)
CFLAGS += $(INCLUDE) $(FLAGS)
FLAGS := -g -rdynamic
CPPFLAGS += $(INCLUDE) $(FLAGS)
CFLAGS += $(INCLUDE) $(FLAGS)