-
Notifications
You must be signed in to change notification settings - Fork 192
/
Copy pathMakefile
46 lines (34 loc) · 907 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
all:
dune build @all
tests:
dune build @runtest @runtest-js
tests-wasm:
WASM_OF_OCAML=true dune build @runtest-wasm
test runtest runtests: tests
doc:
rm -rf doc-dev
mkdir doc-dev
dune clean
dune build @doc --cache=disabled --force
rsync -av --delete _build/default/_doc/_html/ doc-dev/api
dune build @doc-manual --cache=disabled --force
rsync -av --delete --exclude=".*" _build/default/manual/ doc-dev/manual
find doc-dev/ -name dune -delete
find doc-dev/ -name "*.exe" -delete
promote:
dune promote
fmt:
dune build @fmt --auto-promote 2> /dev/null || true
git diff --exit-code
fmt-js:
npx @biomejs/biome format --write
lint-js:
npx @biomejs/biome lint
clean:
dune clean
installdoc:
git worktree add _wikidoc origin/wikidoc
rsync -av doc-dev/ _wikidoc/doc/dev/
bench:
$(MAKE) -C benchmarks bench
.PHONY: all tests tests-wasm test runtest runtests doc clean installdoc bench