-
Notifications
You must be signed in to change notification settings - Fork 5
/
Makefile
33 lines (26 loc) · 661 Bytes
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
.PHONY: all
all:
dune build -p sesterl
cp _build/default/src/main.exe ./sesterl
.PHONY: test
test: test-blackbox-positive test-blackbox-negative test-unit
.PHONY: test-unit
test-unit:
dune exec test/testRange.exe
dune exec test/testLanguageVersion.exe
dune exec test/testIdentifierScheme.exe
.PHONY: test-blackbox-positive
test-blackbox-positive: submodule
./run-positive-blackbox-tests.sh
.PHONY: test-blackbox-negative
test-blackbox-negative: submodule
./run-negative-blackbox-tests.sh
.PHONY: submodule
submodule:
git submodule update --init --recursive
.PHONY: clean
clean:
dune clean
.PHONY: clean-test
clean-test:
rm -f test/_generated/*