forked from PLTools/OCanren
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Makefile
52 lines (37 loc) · 803 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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
.PHONY: celan \
lib ppx syntax package \
test promote discover-tests clean-test \
regression samples clean-samples watch \
install uninstall
.DEFAULT_GOAL: all
all: package
package: lib ppx syntax
lib:
dune build src
ppx:
dune build ppx
syntax:
dune build camlp5/pa_ocanren.cma
regression:
dune build regression
test: regression #samples
dune test
promote:
dune test --auto-promote
discover-tests:
dune build @discover-tests
# You can generate cram test files too using
# dune exec config/discover.exe -- -tests -tests-dir regression -cram-files `realpath regression`
samples:
dune build samples
celan: clean
clean:
dune clean
watch:
dune build -w camlp5/pa_ocanren.cma ppx/ src/
install:
dune build @install
dune install
uninstall:
dune build @install
dune uninstall