]> 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 'init'.
[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
deleted file mode 100644 (file)
index 15e2c37..0000000
+++ /dev/null
@@ -1,62 +0,0 @@
-# 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/'
-
-LABLGTKDIR = $(LIBDIR)/lablgtk
-
-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
-       @echo LABLGTKDIR=$(LABLGTKDIR) >> 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