]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/META.helm-pxp
1) .cma/.cmxa used to simplify META files.
[helm.git] / helm / ocaml / META.helm-pxp
index 1a5b024632c76f2ac019c0574e2c2ba1d08ac890..68bdbf29117784bd5f132fb9ba53a96f6acf65ae 100644 (file)
@@ -1,6 +1,6 @@
 requires="helm-getter"
 version="0.0.1"
-archive(byte)="csc_pxp_reader.cmo pxpUriResolver.cmo"
-archive(native)="csc_pxp_reader.cmx pxpUriResolver.cmx"
+archive(byte)="pxp.cma"
+archive(native)="pxp.cmxa"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/pxp"
+directory="/home/sacerdot/miohelm/helm/ocaml/pxp"