diff options
author | Andreas Enge <andreas@enge.fr> | 2015-08-23 19:56:22 +0200 |
---|---|---|
committer | Andreas Enge <andreas@enge.fr> | 2015-08-23 19:56:22 +0200 |
commit | 3573b634ba4620033f01e9d6c9eff4e5bf1bb58d (patch) | |
tree | b9dd1ce4d04609313502a91b71daf6512f0a757f /gnu/packages | |
parent | 0a38a49702df9dbaaac4a59631c2ce2767e5a3fb (diff) | |
download | guix-3573b634ba4620033f01e9d6c9eff4e5bf1bb58d.tar guix-3573b634ba4620033f01e9d6c9eff4e5bf1bb58d.tar.gz |
gnu: Add LablGtk.
* gnu/packages/ocaml.scm (lablgtk): New variable.
Diffstat (limited to 'gnu/packages')
-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") |