-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathMakefile
57 lines (45 loc) · 913 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
53
54
55
56
57
.PHONY: build
build:
dune build src/main.exe
.PHONY: bc
bc:
dune build src/main.bc
.PHONY: js
js:
dune build src/main.bc.js
.PHONY: doc
doc:
dune build @doc \
&& ./misc-utils/modify-odoc-css.sh \
&& ./misc-utils/add-module-overviews.sh
.PHONY: all
all:
make build; make bc; make js; make doc
.PHONY: publish
publish:
make all; git checkout gh-pages; ./copy.sh; \
git add -A; git commit -m "Pull updates from 'main'"; git push; \
git checkout main
.PHONY: repl
repl:
dune utop lib/smyth
.PHONY: clean
clean:
dune clean
.PHONY: deps
deps:
opam install \
utop dune bark \
js_of_ocaml js_of_ocaml-compiler js_of_ocaml-ppx
.PHONY: loc
loc:
find lib src -name "*.ml" | xargs wc -l
.PHONY: loci
loci:
find lib src -name "*.ml*" | xargs wc -l
.PHONY: smythloc
smythloc:
find lib/smyth -name "*.ml" | xargs wc -l
.PHONY: smythloci
smythloci:
find lib/smyth -name "*.ml*" | xargs wc -l