X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FMakefile;fp=helm%2Focaml%2Fcic_disambiguation%2FMakefile;h=0000000000000000000000000000000000000000;hb=55b82bd235d82ff7f0a40d980effe1efde1f5073;hp=cd03e8281ce756883f0df8e2fb6e3c1931aced65;hpb=771ee8b9d122fa963881c876e86f90531bb7434f;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
deleted file mode 100644
index cd03e8281..000000000
--- 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 $<
-