BCD/Makefile at master · JanBessai/BCD · 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
39
40
41
42
43
OASIS = oasis
COQC = coqc

default: all
all: coq haskell ocaml

world: all

.PHONY: coq
coq:
	$(MAKE) -C coq all

coq/BCD.hs: coq
coq/BCD.ml: coq
coq/BCD.mli: coq

haskell/src/BCD.hs: coq/BCD.hs
	cp coq/BCD.hs haskell/src/

.PHONY: haskell
haskell: haskell/src/BCD.hs
	$(MAKE) -C haskell all

ocaml/src/extracted/BCD.ml: coq/BCD.ml coq/BCD.mli
	cp coq/BCD.ml coq/BCD.mli ocaml/src/extracted/

ocaml/Makefile: ocaml/src/extracted/BCD.ml
	cd ocaml && $(OASIS) setup -setup-update dynamic

.PHONY: ocaml
ocaml: ocaml/Makefile
	$(MAKE) -C ocaml all

.PHONY: microbenchmark
microbenchmark: haskell/dist/build/hsint/hsint ocaml/_build/src/benchmark/TestDriver.native
	./ocaml/_build/src/benchmark/TestDriver.native
	./haskell/dist/build/hsint/hsint

.PHONY: clean
clean:
	$(MAKE) -C coq mrproper
	$(MAKE) -C haskell clean
	$(MAKE) -C ocaml mrproper