]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/META.in
* Linking was still static for native compilation.
[helm.git] / helm / DEVEL / lablgtkmathview / META.in
index f312805fdde0889e05b44ea680a334e9a93e00c4..84d671aee38f01771b4de024aa946d2d11301b72 100644 (file)
@@ -1,5 +1,5 @@
 requires="gdome2 lablgtk"
 version="@VERSION@"
-archive(byte)="lablgtkmathview.cma ml_gtk_mathview.o"
-archive(native)="lablgtkmathview.cmxa ml_gtk_mathview.o"
+archive(byte)="lablgtkmathview.cma"
+archive(native)="lablgtkmathview.cmxa"
 linkopts=""