all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
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

  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.