1 # Platform: MARTE_OS, DUMMY_OS, RT_LINUX, OSE
4 FRESCOR_ROOT = $(HOME)/frescor_dev
6 # the path to the FRSH directory.
7 FRSH_PATH = $(FRESCOR_ROOT)/frsh
8 # the path to the FOSA directory.
9 FOSA_PATH = $(FRESCOR_ROOT)/fosa
11 # the compilation flags
12 CFLAGS = -Wall -g -D$(PLATFORM) -I$(FRSH_PATH)/include \
13 -I$(FOSA_PATH)/include \
14 -I$(FOSA_PATH)/marte_non_local_jump