-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathmakefile
48 lines (32 loc) · 978 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
47
48
BUILD = ocamlbuild -use-ocamlfind
all: drome dsl demo io resource refio io_tests resource_tests refio_tests util typeclasses instances doc
util: util.ml
$(BUILD) util.byte
dsl: dsl.ml
$(BUILD) dsl.byte
drome: drome.ml dsl util
$(BUILD) drome.byte
io: IO.ml util dsl instances
$(BUILD) IO.byte
resource: resource.ml dsl io instances
$(BUILD) resource.byte
refio: refIO.ml dsl io
$(BUILD) refIO.byte
io_tests: io_tests.ml dsl drome
$(BUILD) io_tests.byte
resource_tests: resource_tests.ml drome
$(BUILD) resource_tests.byte
refio_tests: refio_tests.ml drome
$(BUILD) refio_tests.byte
typeclasses: typeclasses.ml util
$(BUILD) typeclasses.byte
instances: instances.ml typeclasses
$(BUILD) instances.byte
doc: writeup.md
pandoc -f markdown -o writeup.pdf writeup.md
test: resource_tests io_tests refio_tests
./io_tests.byte && ./resource_tests.byte && ./refio_tests.byte
demo: demo.ml io drome
$(BUILD) demo.byte
clean:
rm -rf *.byte; rm writeup.pdf