]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/META.helm-cic
1) .cma/.cmxa used to simplify META files.
[helm.git] / helm / ocaml / META.helm-cic
index 119b9a4061eff761badb95ce92745bd0a289428a..4fcb7055b0aa6f391332112221140448a19219c7 100644 (file)
@@ -1,6 +1,6 @@
 requires="helm-urimanager helm-pxp"
 version="0.0.1"
-archive(byte)="cic.cmo deannotate.cmo cicParser3.cmo cicParser2.cmo cicParser.cmo"
-archive(native)="cic.cmx deannotate.cmx cicParser3.cmx cicParser2.cmx cicParser.cmx"
+archive(byte)="cic.cma"
+archive(native)="cic.cmxa"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/cic"
+directory="/home/sacerdot/miohelm/helm/ocaml/cic"