]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/META.helm-cic_annotations
1) .cma/.cmxa used to simplify META files.
[helm.git] / helm / ocaml / META.helm-cic_annotations
index 64cc7956adb1f8e2e6cec64b6402530dfb1a97d7..db136181658102108c56a9a95eef59b2cc9e9244 100644 (file)
@@ -1,6 +1,6 @@
 requires="helm-cic helm-xml lablgtk"
 version="0.0.1"
-archive(byte)="cicAnnotation2Xml.cmo cicAnnotationHinter.cmo cicAnnotationParser2.cmo cicAnnotationParser.cmo cicXPath.cmo"
-archive(native)="cicAnnotation2Xml.cmx cicAnnotationHinter.cmx cicAnnotationParser2.cmx cicAnnotationParser.cmx cicXPath.cmx"
+archive(byte)="cic_annotations.cma"
+archive(native)="cic_annotations.cmxa"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/cic_annotations"
+directory="/home/sacerdot/miohelm/helm/ocaml/cic_annotations"