aboutsummaryrefslogtreecommitdiff
path: root/Semestr 3/pf/lista4/logic/Makefile
blob: 3c0d2152474f7e899c323357bef22b8dd68782a5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
SOURCES = logic.ml logic.mli logic.mllib
CMFILES = logic.cma logic.cmi
.PHONY: all clean build

all: logic.cma logic.cmi

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

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

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

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