# Platform:  MARTE_OS, DUMMY_OS, RT_LINUX, OSE
PLATFORM = MARTE_OS

FRESCOR_ROOT = $(HOME)/frescor_dev

# the path to the FRSH directory.
FRSH_PATH = $(FRESCOR_ROOT)/frsh
# the path to the FOSA directory.
FOSA_PATH = $(FRESCOR_ROOT)/fosa

# the compilation flags
CFLAGS = -Wall -g -D$(PLATFORM) -I$(FRSH_PATH)/include \
	-I$(FOSA_PATH)/include \
	-I$(FOSA_PATH)/marte_non_local_jump