]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/META.in
Distribution improvements.
[helm.git] / helm / DEVEL / lablgtkmathview / META.in
diff --git a/helm/DEVEL/lablgtkmathview/META.in b/helm/DEVEL/lablgtkmathview/META.in
new file mode 100644 (file)
index 0000000..ef5298f
--- /dev/null
@@ -0,0 +1,5 @@
+requires="mlminidom lablgtk"
+version="@VERSION@"
+archive(byte)="lablgtkmathview.cma ml_gtk_mathview.o"
+archive(native)="lablgtkmathview.cmxa ml_gtk_mathview.o"
+linkopts=""