]> matita.cs.unibo.it Git - helm.git/commitdiff
gtkmathview-config now more used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2000 13:37:58 +0000 (13:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2000 13:37:58 +0000 (13:37 +0000)
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/.cvsignore
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/config.make [deleted file]
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/configure.mk

index 8e6f4f936b21930c38933dbcc512ecd4a32e09b3..cd9e25037574c934da9b23fad287de2f031f888c 100644 (file)
@@ -1 +1 @@
-*.cmi *.cmo *.cmx *.cma *.cmxa test test.opt
+*.cmi *.cmo *.cmx *.cma *.cmxa config.make
diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/config.make b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/config.make
deleted file mode 100644 (file)
index d7e9241..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-CAMLC=ocamlc
-CAMLOPT=ocamlopt
-USE_GL=
-USE_GNOME=
-USE_CC=
-DEBUG=
-CC=cc
-RANLIB=ranlib
-LIBDIR=/usr/lib/ocaml
-BINDIR=/usr/bin
-INSTALLDIR=/usr/lib/ocaml/lablgtk/mathview
-GTKCFLAGS=-I/usr/lib/glib/include -I/usr/X11R6/include -I/usr/include/libxml -I/usr/include -I/usr/local/include/gtkmathview -I/usr/lib/ocaml/lablgtk
-GTKLIBS=-ccopt -L/usr/lib -ccopt -L/usr/X11R6/lib -cclib -lgtk -cclib -lgdk -ccopt -rdynamic -cclib -lgmodule -cclib -lglib -cclib -ldl -cclib -lXi -cclib -lXext -cclib -lX11 -cclib -lm
-GTKMATHVIEWLIBS=-ccopt -L/usr/local/lib/gtkmathview -cclib -lgtkmathview 
-GNOMELIBS=
index ec5f79995abe48adcc2af5a23707cbe67362d341..c5fd71121a9034a19be566300ab50e7b373d273f 100644 (file)
@@ -45,7 +45,7 @@ config.make:
          sed -e 's/-l/-cclib &/g' -e 's/-[LRWr][^ ]*/-ccopt &/g' \
          >> config.make
        #<CSC>
-       echo GTKMATHVIEWLIBS="-ccopt -L/usr/local/lib/gtkmathview -cclib -lgtkmathview " >> config.make
+       echo GTKMATHVIEWLIBS="-ccopt \""`gtkmathview-config --libs`"\"" >> config.make
        #</CSC>
        @echo GNOMELIBS=$(GNOMELIBS) | \
          sed -e 's/-l/-cclib &/g' -e 's/-[LRWr][^ ]*/-ccopt &/g' \