makefile 1.03 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
FRAMAC=../../../../bin/frama-c

TARGETS = \
  simple-main.log \
  global-initial-values.log \
  context-width.log \
  context-depth.1.log \
  context-depth.2.log \
  context-depth.3.log \
  out-of-bound.log \
  widen-hints.log \
  slevel.1.log \
  slevel.2.log \
  ilevel.1.log \
15
16
17
  ilevel.2.log \
	loop-unroll-const.log \
	loop-unroll-nested.log \
18
19
20
	loop-unroll-insuf.log \
	split-array.log \
	split-fabs.log
21
22
23
24
25
26
27
28
29
30
31

.SECONDEXPANSION:
.PHONY: all clean

all: $(TARGETS)
clean:
	$(RM) *.log


%.log: SOURCE = $(word 1,$(subst ., ,$*)).c
$(TARGETS) : %.log: $$(SOURCE) $(FRAMAC) $(MAKEFILE_LIST)
32
	$(FRAMAC) $(FCFLAGS) -eva $< > $@
33
34
35

global-initial-values.log: FCFLAGS += -lib-entry
context-depth%.log: FCFLAGS += -lib-entry
36
37
38
39
40
context-depth.2.log: FCFLAGS += -eva-context-width 1 -eva-context-depth 1
context-depth.3.log: FCFLAGS += -eva-context-width 1 -eva-context-depth 1 -eva-context-valid-pointers
slevel.1.log: FCFLAGS += -eva-slevel 55
slevel.2.log: FCFLAGS += -eva-slevel 28
ilevel.2.log: FCFLAGS += -eva-ilevel 16
41
split-fabs.log: FCFLAGS += -eva-domains equality