redexer/Makefile at master · plum-umd/redexer · 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
default: redexer model

all: redexer graphLog model

# native code targets
redexer: main.native
	mv main redexer

# debugging code targets; could also (more likely) build *.d.byte separately
debug: main.d.byte
	mv main.d.byte redexer

# auxiliary targets
doc:
	ocamlbuild -no-hygiene -use-ocamlfind redexer.docdir/index.html
	mkdir -p docs
	rm -rf docs/api
	mv redexer.docdir docs/api

api: doc

clean:
	ocamlbuild -clean
	rm -f redexer redexer.d.byte redexer.native
	rm -rf docs

allclean: clean

# x.native; strip the .native extension after building
%.native:
	ocamlbuild -no-hygiene -use-ocamlfind -tag thread $@
	mv $@ $*

# x.d.byte or x.byte
%.byte:
	ocamlbuild -use-ocamlfind -tag thread $@

.PHONY: doc debug all model test clean modelclean allclean default