branch for universe

[helm.git] / components / cic_disambiguation / Makefile

diff --git a/components/cic_disambiguation/Makefile b/components/cic_disambiguation/Makefile
new file mode 100644 (file)
index 0000000..cd03e82
--- /dev/null
+++ b/components/cic_disambiguation/Makefile
@@ -0,0 +1,32 @@
+
+PACKAGE = cic_disambiguation
+NOTATIONS = number
+INTERFACE_FILES =              \
+       disambiguateTypes.mli   \
+       disambiguateChoices.mli \
+       disambiguate.mli
+IMPLEMENTATION_FILES = \
+       $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
+       $(patsubst %,%_notation.ml,$(NOTATIONS))
+
+all:
+
+clean:
+distclean:
+       rm -f macro_table.dump
+
+include ../../Makefile.defs
+include ../Makefile.common
+
+OCAMLARCHIVEOPTIONS += -linkall
+
+disambiguateTypes.cmi: disambiguateTypes.mli
+       @echo "  OCAMLC -rectypes $<"
+       @$(OCAMLC) -c -rectypes $<
+disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
+       @echo "  OCAMLC -rectypes $<"
+       @$(OCAMLC) -c -rectypes $<
+disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
+       @echo "  OCAMLOPT -rectypes $<"
+       @$(OCAMLOPT) -c -rectypes $<
+