GNUmakefile 1.5 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

MACHDEP = x86_32

## Preprocessing flags (for -cpp-extra-args)
CPPFLAGS    += \
  -DUBX \
  -D__FAKE_FOR_IA32__ \
  -D_XOPEN_SOURCE=700 \
  -I../sw/airborne/fly_by_wire \
  -I../sw/var/include \
  -I../sw/airborne/autopilot \
  -I../avr/include \
22
  -I../sw/include \
Andre Maroneze's avatar
Andre Maroneze committed
23
24
25

## General flags
FCFLAGS     += \
Andre Maroneze's avatar
Andre Maroneze committed
26
  -add-symbolic-path=..:. \
Andre Maroneze's avatar
Andre Maroneze committed
27
28
29
30
31
32
33
  -kernel-warn-key annot:missing-spec=abort \
  -kernel-warn-key typing:implicit-function-declaration=abort \
  -absolute-valid-range 0-0xFF -warn-special-float nan \

## Eva-specific flags
EVAFLAGS    += \
  -eva-warn-key builtins:missing-spec=abort \
34
  -eva-slevel 1 \
Andre Maroneze's avatar
Andre Maroneze committed
35
36
37
38

## GUI-only flags
FCGUIFLAGS += \

Thibault Martin's avatar
Thibault Martin committed
39
40
# Targets for LTest
include ../../Makefile.ltest
Andre Maroneze's avatar
Andre Maroneze committed
41

Thibault Martin's avatar
Thibault Martin committed
42
$(eval $(call generate-rules,papabench,$(sort $(wildcard ../sw/airborne/autopilot/*.c)) ../sw/lib/c/pp_math.c $(shell $(FRAMAC)-config -print-share-path)/libc/math.c))
Andre Maroneze's avatar
Andre Maroneze committed
43
44

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

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