]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/configure.mk
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.1 / configure.mk
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
new file mode 100644 (file)
index 0000000..8982371
--- /dev/null
@@ -0,0 +1,59 @@
+# makefile for configuring lablGTK_mathview
+
+# Default compilers
+CAMLC = ocamlc
+CAMLOPT = ocamlopt
+
+# Default installation directories
+BINDIR = `$(GETBINDIR)`
+INSTALLDIR = $(LIBDIR)/lablgtk/mathview
+
+# Autoconf
+GETLIBDIR = ocamlc -v | grep "^Standard" | sed 's/^.*: *//'
+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/'
+
+ifdef USE_GNOME
+GTKGETCFLAGS = gtk-config --cflags`" -I"`gnome-config --includedir
+GNOMELIBS = `gnome-config --libs gtkxmhtml`
+else
+GTKGETCFLAGS = gtk-config --cflags
+endif
+
+GTKGETLIBS = gtk-config --libs
+
+configure: .depend config.make
+
+.depend:
+       ocamldep *.ml *.mli > .depend
+
+config.make:
+       @echo CAMLC=$(CAMLC) > config.make
+       @echo CAMLOPT=$(CAMLOPT) >> config.make
+       @echo USE_GL=$(USE_GL) >> config.make
+       @echo USE_GNOME=$(USE_GNOME) >> config.make
+       @echo USE_CC=$(USE_CC) >> config.make
+       @echo DEBUG=$(DEBUG) >> config.make
+       @echo CC=$(CC) >> config.make
+       @echo RANLIB=`$(GETRANLIB)` >> config.make
+       @echo LIBDIR=$(LIBDIR) >> config.make
+       @echo BINDIR=`$(GETBINDIR)` >> config.make
+       @echo INSTALLDIR=$(INSTALLDIR) >> config.make
+# Luca: was
+#      @echo GTKCFLAGS=`$(GTKGETCFLAGS)` -I/usr/lib/ocaml/lablgtk >> config.make
+# Luca: now
+       @echo GTKCFLAGS=`$(GTKGETCFLAGS)` -I$(LIBDIR)/lablgtk >> config.make
+       @echo GTKLIBS=`$(GTKGETLIBS)` | \
+         sed -e 's/-l/-cclib &/g' -e 's/-[LRWr][^ ]*/-ccopt &/g' \
+         >> config.make
+# Luca: GtkMathView configuration
+       @echo GTKMATHVIEWCFLAGS=`gtkmathview-config --cflags` >> config.make
+       @echo MINIDOMCFLAGS=`minidom-config --cflags` >> config.make
+       @echo GTKMATHVIEWLIBS=`gtkmathview-config --libs` >> config.make
+       @echo MINIDOMLIBS=`minidom-config --libs` >> config.make
+# Luca: end of GtkMathView configuration
+       @echo GNOMELIBS=$(GNOMELIBS) | \
+         sed -e 's/-l/-cclib &/g' -e 's/-[LRWr][^ ]*/-ccopt &/g' \
+         >> config.make
+       cat config.make