]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/config.make
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / config.make
1 CAMLC=ocamlc
2 CAMLOPT=ocamlopt
3 USE_GL=
4 USE_GNOME=
5 USE_CC=
6 DEBUG=
7 CC=cc
8 RANLIB=ranlib
9 LIBDIR=/usr/lib/ocaml
10 BINDIR=/usr/bin
11 INSTALLDIR=/usr/lib/ocaml/lablgtk/mathview
12 GTKCFLAGS=-I/usr/lib/glib/include -I/usr/X11R6/include -I/usr/lib/ocaml/lablgtk
13 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
14 GTKMATHVIEWLIBS=-ccopt -L/usr/local/lib/gtkmathview -cclib -lgtkmathview 
15 GNOMELIBS=