]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/META.helm-getter
1) .cma/.cmxa used to simplify META files.
[helm.git] / helm / ocaml / META.helm-getter
index 90e330e904c6db743e1cbe62984b9e586d3821d0..088aa3bedddbcfb71f8943ca2bbb38c58fcb537a 100644 (file)
@@ -1,6 +1,6 @@
 requires="helm-urimanager pxp netclient"
 version="0.0.1"
-archive(byte)="configuration.cmo clientHTTP.cmo getter.cmo"
-archive(native)="configuration.cmx clientHTTP.cmx getter.cmx"
+archive(byte)="getter.cma"
+archive(native)="getter.cmxa"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/getter"
+directory="/home/sacerdot/miohelm/helm/ocaml/getter"