Feature/new cgc

cgc-challenges/Dungeon_Master/.frama-c/GNUmakefile

+# Makefile template for Frama-C/Eva case studies.
+# For details and usage information, see the Frama-C User Manual.
+
+### Prologue. Do not modify this block. #######################################
+-include path.mk
+FRAMAC ?= frama-c
+include $(shell $(FRAMAC)-config -scripts)/prologue.mk
+###############################################################################
+
+# Edit below as needed. MACHDEP is mandatory. Suggested flags are optional.
+
+MACHDEP = x86_32
+
+## Preprocessing flags (for -cpp-extra-args)
+CPPFLAGS    += \
+  -DPATCHED_1 \
+  -I../../lib \
+  -I../src \
+
+## General flags
+FCFLAGS     += \
+  -add-symbolic-path=.:..,CGC_LIB:../../lib \
+  -kernel-warn-key annot:missing-spec=abort \
+  -kernel-warn-key typing:implicit-function-declaration=abort \
+  -absolute-valid-range 0x4347C000-0x4347FFFF \
+
+## Eva-specific flags
+EVAFLAGS    += \
+  -eva-warn-key builtins:missing-spec=abort \
+  -eva-use-spec cgc_eval_formula \
+
+## GUI-only flags
+FCGUIFLAGS += \
+  -add-symbolic-path=.:..,CGC_LIB:../../lib \
+
+## Analysis targets (suffixed with .eva)
+TARGETS = Dungeon_Master.eva
+
+### Each target <t>.eva needs a rule <t>.parse with source files as prerequisites
+Dungeon_Master.parse: \
+  ../../lib/common.c \
+  ../../lib/libcgc.c \
+  ../src/service.c \
+  ../src/dungeon.c \
+  ../../lib/ansi_x931_aes128.c \
+  ../../lib/tiny-AES128-C/aes.c \
+
+### Epilogue. Do not modify this block. #######################################
+include $(shell $(FRAMAC)-config -scripts)/epilogue.mk
+###############################################################################