]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/configure.mk
...
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.1 / configure.mk
index 8982371eec9c494a9a550f996da92abbfee40fc1..15e2c3735e7356b39324c83c7d38bbbd2820300e 100644 (file)
@@ -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