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