]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/README
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtksourceview / README
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..71d6a5d884e4718602546315e5e25a5edd4962cf 100644 (file)
@@ -0,0 +1,42 @@
+
+LablGtkSourceView: OCaml bindings for GtkSourceView
+---------------------------------------------------
+
+LablGtkSourceView are the OCaml bindings for GtkSourceView, a GTK widget
+which extends the standrd GTK text widgets implementing syntax
+highlighting, automatic indentation, and other typical features of
+source editors.
+
+Using LablGtkSourceView you can instantiate and use GtkSourceView
+widgets in OCaml programs which use GTK through the LablGtk interface.
+
+LablGtkSourceView is freely distributed under the term of the GNU LGPL
+(Lesser General Public License), see LICENSE and COPYING files for more
+info.
+
+Requirements
+------------
+
+In order to build LablGtkSourceView from sources you need:
+
+* OCaml        (http://caml.inria.fr/)
+* Findlib (http://www.ocaml-programming.de/packages/)
+* LablGTK (http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)
+* GtkSourceView (http://gtksourceview.sourceforge.net/)
+
+Once you have installed all of them, follow the usual procedure:
+
+  ./configure
+  make world
+  make install
+
+Availability of ocamlopt is detected by ./configure, if you manually
+want to choose what to build:
+
+  make all    # for building the bytecode part of the library
+  make opt    # for the native code part
+
+--
+Stefano Zacchiroli
+Sun, 31 Jul 2005 23:50:34 +0200
+