config_example.mk

   1 # Platform:  MARTE_OS, DUMMY_OS, RT_LINUX, OSE
   2 PLATFORM = MARTE_OS
   3
   4 FRESCOR_ROOT = $(HOME)/frescor_dev
   5
   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
  10
  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