-PACKAGE = cic_textual_parser2
-REQUIRES = \
- helm-tactics helm-logger helm-cic_unification helm-cic_notation \
- helm-utf8_macros \
- ulex
+PACKAGE = cic_disambiguation
NOTATIONS = number
INTERFACE_FILES = \
disambiguateTypes.mli \
disambiguateChoices.mli \
- disambiguatePp.mli \
disambiguate.mli
IMPLEMENTATION_FILES = \
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
distclean:
rm -f macro_table.dump
+include ../../Makefile.defs
include ../Makefile.common
+
OCAMLARCHIVEOPTIONS += -linkall
disambiguateTypes.cmi: disambiguateTypes.mli
- $(OCAMLC) -c -rectypes $<
+ @echo " OCAMLC -rectypes $<"
+ @$(OCAMLC) -c -rectypes $<
disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
- $(OCAMLC) -c -rectypes $<
+ @echo " OCAMLC -rectypes $<"
+ @$(OCAMLC) -c -rectypes $<
disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
- $(OCAMLOPT) -c -rectypes $<
+ @echo " OCAMLOPT -rectypes $<"
+ @$(OCAMLOPT) -c -rectypes $<