CPPFLAGS += $(CHECK_FLAGS)
#CFLAGS += -std=c99
#CFLAGS += -fgnu89-inline # workaround simgrid bug
CFLAGS += $(OPTIM_FLAGS) $(DEBUG_FLAGS)
CPPFLAGS += $(CHECK_FLAGS)
#CFLAGS += -std=c99
#CFLAGS += -fgnu89-inline # workaround simgrid bug
CFLAGS += $(OPTIM_FLAGS) $(DEBUG_FLAGS)