forked from frenetic-lang/frenetic
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMakefile
35 lines (25 loc) · 783 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
all: build
# Implies --enable-quickcheck
ASYNC ?= $(shell if ocamlfind query async >/dev/null 2>&1; then echo --enable-async; else echo --disable-async; fi)
TESTS ?= $(shell if ocamlfind query quickcheck >/dev/null 2>&1; then echo --enable-tests; else echo --disable-tests; fi)
NAME=netkat
J=4
setup.ml: _oasis
oasis setup
setup.data: setup.ml
ocaml setup.ml -configure $(ASYNC) $(TESTS)
build: setup.data setup.ml
ocaml setup.ml -build -j $(J)
install: setup.data setup.ml
ocaml setup.ml -install
test: setup.ml build
_build/test/Test.byte inline-test-runner netkat
reinstall: setup.ml
ocamlfind remove $(NAME) || true
ocaml setup.ml -reinstall
clean:
ocamlbuild -clean
rm -f setup.data setup.log
distclean:
ocaml setup.ml -distclean
rm -f setup.data setup.log