blob: 1615bfd067b0b6d67b65a41ed77256a0410eb3a0 (
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
|
