]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/disambiguation/Makefile
Fixed pretty printer and debug printings
[helm.git] / helm / software / components / disambiguation / Makefile
1 PACKAGE = disambiguation
2 INTERFACE_FILES =               \
3         disambiguateTypes.mli   \
4         disambiguate.mli \
5         multiPassDisambiguator.mli
6 IMPLEMENTATION_FILES = \
7         $(patsubst %.mli, %.ml, $(INTERFACE_FILES))
8
9 all:
10
11 clean:
12 distclean:
13
14 include ../../Makefile.defs
15 include ../Makefile.common
16
17 OCAMLARCHIVEOPTIONS += -linkall
18
19 disambiguateTypes.cmi: disambiguateTypes.mli
20         @echo "  OCAMLC -rectypes $<"
21         @$(OCAMLC) -c -rectypes $<
22 disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
23         @echo "  OCAMLC -rectypes $<"
24         @$(OCAMLC) -c -rectypes $<
25 disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
26         @echo "  OCAMLOPT -rectypes $<"
27         @$(OCAMLOPT) -c -rectypes $<
28