GNUmakefile 1.45 KB
Newer Older
Andre Maroneze's avatar
Andre Maroneze committed
1
2
3
4
5
# 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
Thibault Martin's avatar
Thibault Martin committed
6
include ../../prologue-ltest.mk
Andre Maroneze's avatar
Andre Maroneze committed
7
8
###############################################################################

9
# Edit below as needed. Suggested flags are optional.
Andre Maroneze's avatar
Andre Maroneze committed
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

MACHDEP = x86_32

## Preprocessing flags (for -cpp-extra-args)
CPPFLAGS    += \
  -include$(shell $(FRAMAC)-config -print-share-path)/libc/string.h \
  -DSTDC_HEADERS=1 \
  -DHAVE_UNISTD_H=1 \
  -DDIRENT=1 \
  -DNO_UTIME=1 \
  -I$(shell $(FRAMAC)-config -print-share-path)/libc \
  -I$(DIR) \

## General flags
FCFLAGS  += \
Thibault Martin's avatar
Thibault Martin committed
25
  -load-module=nonterm \
Andre Maroneze's avatar
Andre Maroneze committed
26
  -add-symbolic-path=..:. \
Andre Maroneze's avatar
Andre Maroneze committed
27
28
29
30
31
  -nonterm-ignore do_exit \
  -main eva_main \

## Eva-specific flags
EVAFLAGS += \
32
  -eva-slevel 4 \
Andre Maroneze's avatar
Andre Maroneze committed
33
34
35
36
37
38
39
40
  -eva-no-alloc-returns-null \
  -eva-no-builtins-auto \
  -eva-widening-delay 3 \
  -eva-widening-period 3 \

## GUI-only flags
FCGUIFLAGS += \

Thibault Martin's avatar
Thibault Martin committed
41
42
43
44
# Targets for LTest
include ../../Makefile.ltest

$(eval $(call generate-rules,gzip,$(sort $(wildcard ../*.c)) $(shell $(FRAMAC)-config -print-share-path)/libc/stdlib.c fc_stubs.c))
Andre Maroneze's avatar
Andre Maroneze committed
45
46

### Epilogue. Do not modify this block. #######################################
Andre Maroneze's avatar
Andre Maroneze committed
47
include $(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/epilogue.mk
Andre Maroneze's avatar
Andre Maroneze committed
48
49
50
51
###############################################################################

# optional, for OSCS
-include ../../Makefile.common