- renamed ocaml/ to components/

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

diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile
deleted file mode 100644 (file)
index 8e2f99a..0000000
--- a/helm/ocaml/cic_proof_checking/Makefile
+++ /dev/null
@@ -1,43 +0,0 @@
-
-PACKAGE = cic_proof_checking
-PREDICATES =
-
-REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
-
-INTERFACE_FILES = \
-       cicLogger.mli \
-       cicEnvironment.mli \
-       cicPp.mli \
-       cicUnivUtils.mli \
-       cicSubstitution.mli \
-       cicMiniReduction.mli \
-       cicReduction.mli \
-       cicTypeChecker.mli \
-        freshNamesGenerator.mli \
-       $(NULL)
-IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
-
-# Metadata tools only need zeta-reduction
-EXTRA_OBJECTS_TO_INSTALL = \
-            cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
-            cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
-EXTRA_OBJECTS_TO_CLEAN =
-
-include ../../Makefile.defs
-include ../Makefile.common
-
-cicReduction.cmo: OCAMLOPTIONS+=-rectypes
-cicReduction.cmx: OCAMLOPTIONS+=-rectypes
-
-all: all_utilities
-opt: opt_utilities
-
-all_utilities:
-       @$(MAKE) -C utilities/ all
-opt_utilities:
-       @$(MAKE) -C utilities/ opt
-
-clean: clean_utilities
-clean_utilities:
-       @$(MAKE) -C utilities/ clean
-