Makefile 849 Bytes
Newer Older
1
2
3
4
5
include ../shared.mk

all: test-ada test-llvm

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

9
10
11
12
13
14
15
16

edit:
	$(OPENGEODE) orchestrator.pr

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

test-ada:
17
	mkdir -p build && cp *.pr *.ad? iter_lib/* *.asn properties build && cd build && \
18
19
20
	../../../../opengeode/opengeode.py orchestrator.pr --shared && \
	$(ASN1SCC) -Ada dataview-uniq.asn -typePrefix asn1Scc -equal && \
	taste-properties -d -s properties orchestrator.pr && \
Maxime Perrotin's avatar
Maxime Perrotin committed
21
	gnat make model_checker -O2 && ./model_checker
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

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