Makefile 1.27 KB
Newer Older
1
include ../shared.mk
2

3
ROOT_MODEL=orchestrator.pr
Maxime Perrotin's avatar
Maxime Perrotin committed
4
OPENGEODE=opengeode
5

6
ARCH := $(shell getconf LONG_BIT)
7
8
9
all: test-ada test-llvm

clean:
10
	rm -rf build
Maxime Perrotin's avatar
Maxime Perrotin committed
11
12
	rm -rf Makefile.properties orchestrator_stop_conditions.ad?

13
14
15
16
17
18
19

edit:
	$(OPENGEODE) orchestrator.pr

test-parse:
	$(OPENGEODE) orchestrator.pr --check

20
test-qgen-parse:
21
22
23
24
25
26
27
	$(TESTQGEN_PARSE) $(ROOT_MODEL)

test-qgen-ada:
	$(TESTQGEN_ADA) $(ROOT_MODEL)

test-qgen-c:
	$(TESTQGEN_C) $(ROOT_MODEL)
28

29
30
31
32
33
34
test-qgen-gt-ada:
	$(TESTQGEN_GT_ADA) $(ROOT_MODEL)

test-qgen-gt-c:
	$(TESTQGEN_GT_C) $(ROOT_MODEL)

35
test-ada:
Maxime Perrotin's avatar
Maxime Perrotin committed
36
	#[ $(ARCH) == 64 ] && EXTRAFLAG="--target=x86_64-linux" ;
Maxime Perrotin's avatar
Maxime Perrotin committed
37
	mkdir -p build && cp *.pr *.asn model_checker.gpr properties build && cd build && \
Maxime Perrotin's avatar
Maxime Perrotin committed
38
	$(OPENGEODE) orchestrator.pr --shared && \
39
	mono $(ASN1SCC) -Ada -typePrefix asn1Scc -equal dataview-uniq.asn && \
40
	taste-properties -d -s properties orchestrator.pr && \
41
	taste-asn1-iterators *.asn && \
Maxime Perrotin's avatar
Maxime Perrotin committed
42
	ADA_PROJECT_PATH=~/.local/share/gpr:${ADA_PROJECT_PATH} gprbuild -Pmodel_checker && ./model_checker
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

simu: test-ada
	cd build && make -f Makefile.properties && \
	./orchestrator_simu.sh


test-c:
	echo 'No test for C'

test-llvm: orchestrator.o

coverage:
	coverage run -p $(OPENGEODE) orchestrator.pr system_structure.pr --toAda

.PHONY: all edit test-parse test-ada test-c simu test-llvm coverage