X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20001129_gtkmathview-0.2.1%2Fconfigure.mk;h=15e2c3735e7356b39324c83c7d38bbbd2820300e;hb=5a369548a2f04fb59b5cbb94526325aae9bf415a;hp=8982371eec9c494a9a550f996da92abbfee40fc1;hpb=361db69a5309f184e543bc7b6fe83a21d82b6952;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/configure.mk b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/configure.mk
index 8982371ee..15e2c3735 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/configure.mk
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/configure.mk
@@ -14,6 +14,8 @@ LIBDIR = `$(GETLIBDIR)`
 GETBINDIR = $(GETLIBDIR) | sed -e 's|/lib/[^/]*$$|/bin|' -e 's|/lib$$|/bin|'
 GETRANLIB = which ranlib 2>/dev/null | sed -e 's|.*/ranlib$$|!|' -e 's/^[^!]*$$/:/' -e 's/!/ranlib/'
 
+LABLGTKDIR = $(LIBDIR)/lablgtk
+
 ifdef USE_GNOME
 GTKGETCFLAGS = gtk-config --cflags`" -I"`gnome-config --includedir
 GNOMELIBS = `gnome-config --libs gtkxmhtml`
@@ -40,6 +42,7 @@ config.make:
 	@echo LIBDIR=$(LIBDIR) >> config.make
 	@echo BINDIR=`$(GETBINDIR)` >> config.make
 	@echo INSTALLDIR=$(INSTALLDIR) >> config.make
+	@echo LABLGTKDIR=$(LABLGTKDIR) >> config.make
 # Luca: was
 #	@echo GTKCFLAGS=`$(GTKGETCFLAGS)` -I/usr/lib/ocaml/lablgtk >> config.make
 # Luca: now