Semestr 3/pf/lista5/proof/Makefile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

SOURCES = logic.ml logic.mli proof.mli proof.ml logic.mllib
CMFILES = logic.cma logic.cmi proof.cmi
.PHONY: all clean build

all: logic.cma logic.cmi proof.cmi

build: $(SOURCES)
	rm -f $(CMFILES)
	ocamlbuild logic.cma

logic.cma: build
	cp _build/$@ $@

logic.cmi: build
	cp _build/$@ $@

proof.cmi: build
	cp _build/$@ $@

clean:
	rm -f $(CMFILES)
	ocamlbuild -clean