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)