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

FRESCOR_ROOT = $(HOME)/frescor_dev

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


# the compilation flags
CFLAGS = -Wall -g 
CFLAGS += -O1  -Wuninitialized