]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtksourceview/README
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtksourceview / README
1
2 LablGtkSourceView: OCaml bindings for GtkSourceView
3 ---------------------------------------------------
4
5 LablGtkSourceView are the OCaml bindings for GtkSourceView, a GTK widget
6 which extends the standrd GTK text widgets implementing syntax
7 highlighting, automatic indentation, and other typical features of
8 source editors.
9
10 Using LablGtkSourceView you can instantiate and use GtkSourceView
11 widgets in OCaml programs which use GTK through the LablGtk interface.
12
13 LablGtkSourceView is freely distributed under the term of the GNU LGPL
14 (Lesser General Public License), see LICENSE and COPYING files for more
15 info.
16
17 Requirements
18 ------------
19
20 In order to build LablGtkSourceView from sources you need:
21
22 * OCaml (http://caml.inria.fr/)
23 * Findlib (http://www.ocaml-programming.de/packages/)
24 * LablGTK (http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)
25 * GtkSourceView (http://gtksourceview.sourceforge.net/)
26
27 Once you have installed all of them, follow the usual procedure:
28
29   ./configure
30   make world
31   make install
32
33 Availability of ocamlopt is detected by ./configure, if you manually
34 want to choose what to build:
35
36   make all    # for building the bytecode part of the library
37   make opt    # for the native code part
38
39 --
40 Stefano Zacchiroli
41 Sun, 31 Jul 2005 23:50:34 +0200
42