X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fconfigure.mk;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fconfigure.mk;h=0000000000000000000000000000000000000000;hp=49b3d7015dbbd8d050eb92563686cbaf571a1156;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/configure.mk b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/configure.mk
deleted file mode 100644
index 49b3d7015..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/configure.mk
+++ /dev/null
@@ -1,50 +0,0 @@
-# makefile for configuring lablGTK
-
-# Default compilers
-CAMLC = ocamlc
-CAMLOPT = ocamlopt
-
-# Default installation directories
-BINDIR = `$(GETBINDIR)`
-INSTALLDIR = $(LIBDIR)/lablgtk
-
-# 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
-	@echo GTKCFLAGS=`$(GTKGETCFLAGS)` >> config.make
-	@echo GTKLIBS=`$(GTKGETLIBS)` | \
-	  sed -e 's/-l/-cclib &/g' -e 's/-[LRWr][^ ]*/-ccopt &/g' \
-	  >> config.make
-	@echo GNOMELIBS=$(GNOMELIBS) | \
-	  sed -e 's/-l/-cclib &/g' -e 's/-[LRWr][^ ]*/-ccopt &/g' \
-	  >> config.make
-	cat config.make