]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/README
reorganization continues ...
[helm.git] / helm / DEVEL / lablgtksourceview / README
diff --git a/helm/DEVEL/lablgtksourceview/README b/helm/DEVEL/lablgtksourceview/README
deleted file mode 100644 (file)
index 71d6a5d..0000000
+++ /dev/null
@@ -1,42 +0,0 @@
-
-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
-