lambda-term/Makefile at master · qheath/lambda-term · GitHub

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
INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)

.PHONY: all
all:
	dune build @install @examples/all

.PHONY: examples
examples:
	dune build @examples/all

.PHONY: asciiart
asciiart:
	dune build examples/asciiart/asciiart.exe

.PHONY: install
install:
	dune install $(INSTALL_ARGS)

.PHONY: uninstall
uninstall:
	dune uninstall $(INSTALL_ARGS)

.PHONY: reinstall
reinstall:
	$(MAKE) uninstall
	$(MAKE) install

.PHONY: test
test:
	dune runtest

.PHONY: all-supported-ocaml-versions
all-supported-ocaml-versions:
	dune build @install @examples/all @runtest --workspace dune-workspace.dev

.PHONY: clean
clean:
	dune clean