- cic_exportation, cic_acic, acic_content (only parts related to acic)

[helm.git] / matita / components / cic_proof_checking / Makefile

diff --git a/matita/components/cic_proof_checking/Makefile b/matita/components/cic_proof_checking/Makefile
deleted file mode 100644 (file)
index a5f97bc..0000000
--- a/matita/components/cic_proof_checking/Makefile
+++ /dev/null
@@ -1,28 +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 \
-        cicDischarge.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