X-Git-Url: http://matita.cs.unibo.it/gitweb/?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=860e1b46b4ae85bb3a294693ec5899b96802913e;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

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
new file mode 100644
index 000000000..860e1b46b
--- /dev/null
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/configure.mk
@@ -0,0 +1,65 @@
+# 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
+<<<<<<< configure.mk
+# 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
+=======
+	#<CSC>
+	echo GTKMATHVIEWLIBS="-ccopt \""`gtkmathview-config --libs`"\"" >> config.make
+	#</CSC>
+>>>>>>> 1.2
+	@echo GNOMELIBS=$(GNOMELIBS) | \
+	  sed -e 's/-l/-cclib &/g' -e 's/-[LRWr][^ ]*/-ccopt &/g' \
+	  >> config.make
+	cat config.make