X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FMakefile.in;h=44b7cf1a026ce9cc5e5db93e810c8febe509c35b;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=da6e3ce0dba394445f2679f6f8b18b45366c01ae;hpb=d5a9a41d9db0f0a046c5c2f9f2130f61aab0097e;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index da6e3ce0d..44b7cf1a0 100644
--- a/helm/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/DEVEL/lablgtkmathview/Makefile.in
@@ -17,10 +17,7 @@ DIST_DIR = $(PACKAGE)-$(VERSION)
 DOC_FILES = AUTHORS COPYING ChangeLog NEWS README LICENSE
 REQUIRES = gdome2 lablgtk
 PREDICATES =
-SHARED_LIBS = \
-	$(GDOME_LIBS) \
-	$(shell $(GTKMATHVIEW_LIBS) | sed 's/-rdynamic//g') \
-	-lmlgdome
+SHARED_LIBS = @GDOME_LIBS@ @GTKMATHVIEW_LIBS@ -lmlgdome
 
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc