Makefile 439 Bytes
Newer Older
dbarbera's avatar
dbarbera committed
1
2
include ../shared.mk

dbarbera's avatar
dbarbera committed
3
all: test-ada test-llvm
Maxime Perrotin's avatar
Maxime Perrotin committed
4

5
edit:
dbarbera's avatar
dbarbera committed
6
	$(OPENGEODE) orchestrator.pr system_structure.pr
7

dbarbera's avatar
dbarbera committed
8
test-parse:
dbarbera's avatar
dbarbera committed
9
	$(OPENGEODE) orchestrator.pr system_structure.pr --check
Maxime Perrotin's avatar
Maxime Perrotin committed
10

dbarbera's avatar
dbarbera committed
11
test-ada: orchestrator.ali
Maxime Perrotin's avatar
Maxime Perrotin committed
12

13
test-c: orchestrator.c
Marco Lattuada's avatar
Marco Lattuada committed
14
	$(CC) -include missing.h -c orchestrator.c
15

dbarbera's avatar
dbarbera committed
16
test-llvm: orchestrator.o
dbarbera's avatar
dbarbera committed
17

Maxime Perrotin's avatar
Maxime Perrotin committed
18
coverage:
dbarbera's avatar
dbarbera committed
19
	coverage run -p $(OPENGEODE) orchestrator.pr system_structure.pr --toAda
Maxime Perrotin's avatar
Maxime Perrotin committed
20

21
.PHONY: all edit test-parse test-ada test-llvm coverage