]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/Makefile.in
Branch V7_3_new_exportation merged.
[helm.git] / helm / DEVEL / lablgtkmathview / Makefile.in
index ab9224ae8a39e868ed5bd71d24571c544476d737..44b7cf1a026ce9cc5e5db93e810c8febe509c35b 100644 (file)
@@ -17,10 +17,7 @@ DIST_DIR = $(PACKAGE)-$(VERSION)
 DOC_FILES = AUTHORS COPYING ChangeLog NEWS README LICENSE
 REQUIRES = gdome2 lablgtk
 PREDICATES =
-SHARED_LIBS = \
-       `gdome-config --libs` \
-       $(shell gtkmathview-config --libs | sed 's/-rdynamic//g') \
-       -lmlgdome
+SHARED_LIBS = @GDOME_LIBS@ @GTKMATHVIEW_LIBS@ -lmlgdome
 
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc