X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fconfigure.mk;fp=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.1%2Fconfigure.mk;h=0000000000000000000000000000000000000000;hp=8982371eec9c494a9a550f996da92abbfee40fc1;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/configure.mk b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/configure.mk
deleted file mode 100644
index 8982371ee..000000000
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/configure.mk
+++ /dev/null
@@ -1,59 +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/'
-
-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