blob: 31cf1166525f50df5f56dca296ff8878c357b65b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
-include ../../Makefile.conf
CO=$(COQMF_OCAMLFIND) opt
CB=$(COQMF_OCAMLFIND) ocamlc
all:
$(CO) -c foolib.ml
$(CO) -a foolib.cmx -o foo.cmxa
$(CB) -c foolib.ml
$(CB) -a foolib.cmo -o foo.cma
$(CB) -c foo.mli # empty .mli file, to be understood
clean:
rm -f *.cmo *.cma *.cmx *.cmxa *.cmi *.o *.a
|
