TRICK_CFLAGS += -I${TRICK_HOME}/trick_models -Imodels
TRICK_CXXFLAGS += -I${TRICK_HOME}/trick_models -Imodels