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
|
.PHONY: all build-deps doc sphinx odoc view fmt fmt-check install dev-deps test
DEV_DEPS := merlin ocamlformat odoc ppx_expect ppx_inline_test
all: build
build:
opam exec -- dune build @install
cp -f _build/default/src/bin/main.exe psmt2-frontend_bin
build-deps:
if ! [ -e _opam ]; then \
opam switch create . --empty && \
opam install ocaml.4.10.0 ; \
fi
opam install ./*.opam --deps-only
sphinx:
sphinx-build sphinx docs/sphinx
doc:
opam exec -- dune build @doc
rsync -auv --delete _build/default/_doc/_html/. docs/doc
view:
xdg-open file://$$(pwd)/docs/index.html
fmt:
opam exec -- dune build @fmt --auto-promote
fmt-check:
opam exec -- dune build @fmt
install:
opam exec -- dune install
opam:
opam pin -k path .
uninstall:
opam exec -- dune uninstall
dev-deps:
opam install ./*.opam --deps-only --with-doc --with-test
test:
opam exec -- dune build @runtest
|
