]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/META.helm-cic_cache
1) .cma/.cmxa used to simplify META files.
[helm.git] / helm / ocaml / META.helm-cic_cache
index d0401a489ee0dd725dcf6dc7ea17d2149c174718..0b6b4e636777b43f318eef990f19eb3ad6dc83e2 100644 (file)
@@ -1,6 +1,6 @@
 requires="helm-cic"
 version="0.0.1"
-archive(byte)="cicCache.cmo"
-archive(native)="cicCache.cmx"
+archive(byte)="cic_cache.cma"
+archive(native)="cic_cache.cmxa"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/cic_cache"
+directory="/home/sacerdot/miohelm/helm/ocaml/cic_cache"