X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2FREADME;h=71d6a5d884e4718602546315e5e25a5edd4962cf;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=4f576c9474396e214db9fcf8bb974c603c16a825;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/README b/helm/DEVEL/lablgtksourceview/README
index e69de29bb..71d6a5d88 100644
--- a/helm/DEVEL/lablgtksourceview/README
+++ b/helm/DEVEL/lablgtksourceview/README
@@ -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
+