diff options
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2db4cfd931..fc45805958 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -26,6 +26,8 @@ #:use-module (guix build-system gnu) #:use-module (gnu packages) #:use-module (gnu packages gcc) + #:use-module (gnu packages gnome) + #:use-module (gnu packages gtk) #:use-module (gnu packages base) #:use-module (gnu packages emacs) #:use-module (gnu packages texinfo) @@ -430,6 +432,58 @@ assistant to write formal mathematical proofs using a variety of theorem provers.") (license gpl2+))) +(define-public lablgtk + (package + (name "lablgtk") + (version "2.18.3") + (source + (origin + (method url-fetch) + (uri (string-append "https://forge.ocamlcore.org/frs/download.php/" + "1479/lablgtk-2.18.3.tar.gz")) + (sha256 + (base32 + "1bybn3jafxf4cx25zvn8h2xj9agn1xjbn7j3ywxxqx6az7rfnnwp")))) + (build-system gnu-build-system) + (native-inputs + `(("camlp4" ,camlp4) + ("ocaml" ,ocaml) + ("pkg-config" ,pkg-config))) + ;; FIXME: Add inputs gtkgl-2.0, libpanelapplet-2.0, gtkspell-2.0, + ;; and gtk+-quartz-2.0 once available. + (inputs + `(("gtk+" ,gtk+-2) + ("gtksourceview" ,gtksourceview) + ("libgnomecanvas" ,libgnomecanvas) + ("libgnomeui" ,libgnomeui) + ("libglade" ,libglade) + ("librsvg" ,librsvg))) + (arguments + `(#:tests? #f ; no check target + #:phases + (modify-phases %standard-phases + (replace 'install + (lambda* (#:key inputs outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out")) + (ocaml (assoc-ref inputs "ocaml"))) + ;; Install into the output and not the ocaml directory. + (substitute* "config.make" + ((ocaml) out)) + (system* "make" "old-install") + #t)))))) + (home-page "http://lablgtk.forge.ocamlcore.org/") + (synopsis "GTK+ bindings for OCaml") + (description + "LablGtk is an OCaml interface to GTK+ 1.2 and 2.x. It provides +a strongly-typed object-oriented interface that is compatible with the +dynamic typing of GTK+. Most widgets and methods are available. LablGtk +also provides bindings to +gdk-pixbuf, the GLArea widget (in combination with LablGL), gnomecanvas, +gnomeui, gtksourceview, gtkspell, +libglade (and it an generate OCaml code from .glade files), +libpanel, librsvg and quartz.") + (license lgpl2.1))) + (define-public unison (package (name "unison") |