- renamed ocaml/ to components/

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

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
deleted file mode 100644 (file)
index cd03e82..0000000
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ /dev/null
@@ -1,32 +0,0 @@
-
-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 $<
-