snapshot, almost working

[helm.git] / helm / ocaml / cic_disambiguation / Makefile

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index 11da724694d4c626a927c63a14fd930108aacb1b..3a0ae7b80f03097ba9df33d8830c8f2c5d1cc0f1 100644 (file)
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -8,7 +8,8 @@ INTERFACE_FILES = \
        ast.mli pp.mli macro.mli lexer.mli disambiguate.mli parser.mli \
        disambiguate_types.mli
 IMPLEMENTATION_FILES = \
-       pp.ml macro.ml lexer.ml disambiguate_struct.ml parser.ml \
+       disambiguate_types.ml \
+       pp.ml macro.ml lexer.ml parser.ml \
        disambiguate.ml \
        $(patsubst %,%_notation.ml,$(NOTATIONS)) \
 
@@ -58,4 +59,6 @@ depend: macro.cmi macro.cmo pa_unicode_macro.cmi pa_unicode_macro.cmo
 
 disambiguate_types.cmi: disambiguate_types.mli
        $(OCAMLC) -c -rectypes $<
+disambiguate_types.cmo: disambiguate_types.ml disambiguate_types.cmi
+       $(OCAMLC) -c -rectypes $<