1) .cma/.cmxa used to simplify META files.

[helm.git] / helm / ocaml / META.helm-cic_proof_checking

diff --git a/helm/ocaml/META.helm-cic_proof_checking b/helm/ocaml/META.helm-cic_proof_checking
index 858f59e6e00fd6ce75c011ac2358cc8671986330..59657d3c2d3e995b967a4be49d46ef41da948595 100644 (file)
--- a/helm/ocaml/META.helm-cic_proof_checking
+++ b/helm/ocaml/META.helm-cic_proof_checking
@@ -1,8 +1,8 @@
 requires="helm-cic"
 version="0.0.1"
-archive(byte)="cicSubstitution.cmo cicEnvironment.cmo cicPp.cmo cicReduction.cmo cicTypeChecker.cmo cicCooking.cmo"
-archive(native)="cicSubstitution.cmx cicEnvironment.cmx cicPp.cmx cicReduction.cmx cicTypeChecker.cmx cicCooking.cmx"
+archive(byte)="cic_proof_checking.cma"
+archive(native)="cic_proof_checking.cmxa"
 archive(byte,miniReduction)="cicSubstitution.cmo cicMiniReduction.cmo"
 archive(native,miniReduction)="cicSubstitution.cmx cicMiniReduction.cmx"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/cic_proof_checking"
+directory="/home/sacerdot/miohelm/helm/ocaml/cic_proof_checking"