unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
From: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
To: 32908@debbugs.gnu.org
Cc: Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>
Subject: [bug#32908] [PATCH 09/24] gnu: Add ghc-bindings-dsl.
Date: Tue, 2 Oct 2018 18:32:44 +0200	[thread overview]
Message-ID: <20181002163255.5304-4-ricardo.wurmus@mdc-berlin.de> (raw)
In-Reply-To: <20181002162912.5037-5-ricardo.wurmus@mdc-berlin.de>

* gnu/packages/haskell.scm (ghc-bindings-dsl): New variable.
---
 gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index d2f6a8b23..41b114604 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -10823,6 +10823,31 @@ monadic incremental interface is provided as well.")
 source and a sink.")
     (license license:bsd-3)))
 
+(define-public ghc-bindings-dsl
+  (package
+    (name "ghc-bindings-dsl")
+    (version "1.0.25")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://hackage.haskell.org/package/bindings-DSL/"
+                           "bindings-DSL-" version ".tar.gz"))
+       (sha256
+        (base32
+         "0kqrd78nspl3lk4a0fqn47d8dirjg3b24dkvkigcrlb81hw35pk3"))))
+    (build-system haskell-build-system)
+    (home-page "https://github.com/jwiegley/bindings-dsl/wiki")
+    (synopsis "FFI domain specific language, on top of hsc2hs")
+    (description
+     "This is a set of macros to be used when writing Haskell FFI.  They were
+designed to be able to fully describe C interfaces, so that @code{hsc2hs} can
+extract from them all Haskell code needed to mimic such interfaces.  All
+Haskell names used are automatically derived from C names, structures are
+mapped to Haskell instances of @code{Storable}, and there are also macros you
+can use with C code to help write bindings to inline functions or macro
+functions.")
+    (license license:bsd-3)))
+
 (define-public ghc-weigh
   (package
     (name "ghc-weigh")
-- 
2.19.0

  parent reply	other threads:[~2018-10-02 16:35 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-10-02 16:23 [bug#32908] [PATCH 00/24] Add ngless Ricardo Wurmus
2018-10-02 16:28 ` [bug#32908] [PATCH 01/24] gnu: ghc-http-conduit: Remove ghc-http-client from native-inputs Ricardo Wurmus
2018-10-02 16:28   ` [bug#32909] [PATCH 02/24] gnu: ghc-regex: Fix build Ricardo Wurmus
2018-10-02 16:28   ` [bug#32910] [PATCH 03/24] gnu: Add ghc-cairo Ricardo Wurmus
2018-10-04 16:38     ` [bug#32908] " Leo Famulari
2018-10-02 16:28   ` [bug#32912] [PATCH 04/24] gnu: Add ghc-chart-cairo Ricardo Wurmus
2018-10-02 16:28   ` [bug#32908] [PATCH 05/24] gnu: Add ghc-atomic-write Ricardo Wurmus
2018-10-02 16:32     ` [bug#32908] [PATCH 06/24] gnu: Add ghc-cereal-conduit Ricardo Wurmus
2018-10-02 16:32     ` [bug#32908] [PATCH 07/24] gnu: Add ghc-lzma Ricardo Wurmus
2018-10-02 16:32     ` [bug#32908] [PATCH 08/24] gnu: Add ghc-stm-conduit Ricardo Wurmus
2018-10-02 16:32     ` Ricardo Wurmus [this message]
2018-10-02 16:32     ` [bug#32908] [PATCH 10/24] gnu: Add ghc-lzma-conduit Ricardo Wurmus
2018-10-02 16:32     ` [bug#32908] [PATCH 11/24] gnu: Add ghc-bzlib-conduit Ricardo Wurmus
2018-10-02 16:32     ` [bug#32908] [PATCH 12/24] gnu: Add ghc-pqueue Ricardo Wurmus
2018-10-02 16:32     ` [bug#32908] [PATCH 13/24] gnu: Add ghc-conduit-algorithms Ricardo Wurmus
2018-10-02 16:32     ` [bug#32908] [PATCH 14/24] gnu: Add ghc-interpolate Ricardo Wurmus
2018-10-02 16:32     ` [bug#32908] [PATCH 15/24] gnu: Add ghc-hpack Ricardo Wurmus
2018-10-02 16:37       ` [bug#32908] [PATCH 16/24] gnu: Add ghc-raw-string-qq Ricardo Wurmus
2018-10-02 16:38         ` [bug#32908] [PATCH 17/24] gnu: Add ghc-inline-c Ricardo Wurmus
2018-10-02 16:38         ` [bug#32908] [PATCH 18/24] gnu: Add ghc-safe-exceptions Ricardo Wurmus
2018-10-02 16:38         ` [bug#32908] [PATCH 19/24] gnu: Add ghc-inline-c-cpp Ricardo Wurmus
2018-10-02 16:38         ` [bug#32908] [PATCH 20/24] gnu: Add ghc-bytestring-lexing Ricardo Wurmus
2018-10-02 16:38         ` [bug#32908] [PATCH 21/24] gnu: Add ghc-configurator Ricardo Wurmus
2018-10-02 16:38         ` [bug#32908] [PATCH 22/24] gnu: Add ghc-file-embed Ricardo Wurmus
2018-10-02 16:38         ` [bug#32908] [PATCH 23/24] gnu: Add ghc-safeio Ricardo Wurmus
2018-10-02 16:38         ` [bug#32908] [PATCH 24/24] gnu: Add ngless Ricardo Wurmus
2018-10-02 16:37   ` bug#32911: submitted by accident Ricardo Wurmus
2018-10-04 16:38 ` [bug#32908] [PATCH 00/24] Add ngless Leo Famulari
2018-10-11 20:03   ` bug#32908: " Ricardo Wurmus

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

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20181002163255.5304-4-ricardo.wurmus@mdc-berlin.de \
    --to=ricardo.wurmus@mdc-berlin.de \
    --cc=32908@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 public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).