Makefile 1.04 KB
Newer Older
1
include ../shared.mk
2
3

ROOT_MODEL=system_structure.pr
4
ARCH := $(shell getconf LONG_BIT)
5
6
7
all: test-ada test-llvm

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

11
12
13
14
15
16
17

edit:
	$(OPENGEODE) orchestrator.pr

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

18
19
20
test-qgen-parse:
	$(TESTQGEN) orchestrator.pr

21
test-ada:
22
	[ $(ARCH) == 64 ] && EXTRAFLAG="--target=x86_64-linux" ; \
Maxime Perrotin's avatar
Maxime Perrotin committed
23
	mkdir -p build && cp *.pr *.asn model_checker.gpr properties build && cd build && \
24
	../../../../opengeode/opengeode.py orchestrator.pr --shared && \
25
	mono $(ASN1SCC) -Ada -typePrefix asn1Scc -equal dataview-uniq.asn && \
26
	taste-properties -d -s properties orchestrator.pr && \
27
	taste-asn1-iterators *.asn && gprbuild -Pmodel_checker $$EXTRAFLAG && ./model_checker
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

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