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
+CFLAGS = -Wall -g
+CFLAGS += -O1 -Wuninitialized