From: Brett Gilio <brettg@gnu.org>
To: 38965@debbugs.gnu.org
Subject: [bug#38965] [PATCH 02/12] gnu: Add ocaml-lablgtk3.
Date: Mon, 06 Jan 2020 02:26:41 -0600 [thread overview]
Message-ID: <87y2ulvvlq.fsf@gnu.org> (raw)
In-Reply-To: <874kx9xa9u.fsf@gnu.org>
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: [PATCH 02/12] gnu: Add ocaml-lablgtk3. --]
[-- Type: text/x-patch, Size: 2482 bytes --]
From 33425dcb8f66b7d7669c08a3f37f276087459717 Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@gnu.org>
Date: Mon, 6 Jan 2020 01:26:49 -0600
Subject: [PATCH 02/12] gnu: Add ocaml-lablgtk3.
To: guix-patches@gnu.org
* gnu/packages/ocaml.scm (ocaml-lablgtk3): New variable.
---
gnu/packages/ocaml.scm | 42 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 42 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 198ff55078..a01ee475c9 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -5273,3 +5273,45 @@ with support for multiple output devices. Currently supported output targets
include the X Window System, Quartz, Win32, image buffers, PostScript, PDF,
and SVG file output.")
(license license:lgpl3+)))
+
+(define-public ocaml-lablgtk3
+ (package
+ (name "ocaml-lablgtk3")
+ (version "3.0.beta8")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/garrigue/lablgtk")
+ (commit version)))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "08pgwnia240i2rw1rbgiahg673kwa7b6bvhsg3z4b47xr5sh9pvz"))))
+ (build-system dune-build-system)
+ (arguments
+ `(#:tests? #f
+ #:phases
+ (modify-phases %standard-phases
+ (add-before 'build 'make-writable
+ (lambda _
+ (for-each (lambda (file) (chmod file #o644)) (find-files "." "."))
+ #t)))))
+ (propagated-inputs
+ `(("ocaml-cairo2" ,ocaml-cairo2)))
+ (inputs
+ `(("camlp5" ,camlp5)
+ ("gtk+" ,gtk+)
+ ("gtksourceview-3" ,gtksourceview-3)
+ ("gtkspell3" ,gtkspell3)))
+ (native-inputs
+ `(("pkg-config" ,pkg-config)))
+ (home-page "https://github.com/garrigue/lablgtk")
+ (synopsis "OCaml interface to GTK+3")
+ (description "LablGtk is an OCaml interface to GTK+ 1.2, 2.x and 3.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 can
+generate OCaml code from .glade files), libpanel, librsvg and quartz.")
+ ;; Version 2 only, with linking exception
+ (license license:lgpl2.0)))
--
2.24.1
next prev parent reply other threads:[~2020-01-06 8:27 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-01-06 8:24 [bug#38965] [PATCH 00/12] gnu: coq: Update to 8.10.2 Brett Gilio
2020-01-06 8:25 ` [bug#38965] [PATCH 01/12] gnu: Add ocaml-cairo2 Brett Gilio
2020-01-06 8:26 ` Brett Gilio [this message]
2020-01-06 8:26 ` [bug#38965] [PATCH 03/12] gnu: coq: Update to 8.10.2 Brett Gilio
2020-01-06 8:27 ` [bug#38965] [PATCH 04/12] gnu: coq: Reword several comments Brett Gilio
2020-01-06 8:27 ` [bug#38965] [PATCH 05/12] gnu: coq-flocq: Update to 3.2.0 Brett Gilio
2020-01-06 8:27 ` [bug#38965] [PATCH 06/12] gnu: coq-flocq: Use HTTPS home page URI Brett Gilio
2020-01-06 8:27 ` [bug#38965] [PATCH 07/12] gnu: coq-gappa: Update to 1.4.2 Brett Gilio
2020-01-06 8:27 ` [bug#38965] [PATCH 08/12] gnu: coq-gappa: Use HTTPS home page URI Brett Gilio
2020-01-06 8:28 ` [bug#38965] [PATCH 09/12] gnu: coq-coquelicot: Update to 3.0.3 Brett Gilio
2020-01-06 8:28 ` [bug#38965] [PATCH 10/12] gnu: coq-coquelicot: Truncate home-page Brett Gilio
2020-01-06 8:28 ` [bug#38965] [PATCH 11/12] gnu: coq-interval: Update to 3.4.1 Brett Gilio
2020-01-06 8:28 ` [bug#38965] [PATCH 12/12] gnu: coq-equations: Update to 1.2.1 Brett Gilio
2020-01-06 14:00 ` [bug#38965] [PATCH 00/12] gnu: coq: Update to 8.10.2 Julien Lepiller
2020-01-07 2:04 ` Brett Gilio
2020-01-07 2:34 ` Julien Lepiller
2020-01-07 2:38 ` Brett Gilio
2020-01-07 3:15 ` bug#38965: " Brett Gilio
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87y2ulvvlq.fsf@gnu.org \
--to=brettg@gnu.org \
--cc=38965@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.