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
next prev 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).