[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#32908] [PATCH 09/24] gnu: Add ghc-bindings-dsl.
From: |
Ricardo Wurmus |
Subject: |
[bug#32908] [PATCH 09/24] gnu: Add ghc-bindings-dsl. |
Date: |
Tue, 2 Oct 2018 18:32:44 +0200 |
* 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
- [bug#32908] [PATCH 00/24] Add ngless., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 01/24] gnu: ghc-http-conduit: Remove ghc-http-client from native-inputs., Ricardo Wurmus, 2018/10/02
- [bug#32909] [PATCH 02/24] gnu: ghc-regex: Fix build., Ricardo Wurmus, 2018/10/02
- [bug#32910] [PATCH 03/24] gnu: Add ghc-cairo., Ricardo Wurmus, 2018/10/02
- [bug#32913] [PATCH 05/24] gnu: Add ghc-atomic-write., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 06/24] gnu: Add ghc-cereal-conduit., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 07/24] gnu: Add ghc-lzma., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 08/24] gnu: Add ghc-stm-conduit., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 09/24] gnu: Add ghc-bindings-dsl.,
Ricardo Wurmus <=
- [bug#32908] [PATCH 12/24] gnu: Add ghc-pqueue., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 11/24] gnu: Add ghc-bzlib-conduit., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 10/24] gnu: Add ghc-lzma-conduit., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 14/24] gnu: Add ghc-interpolate., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 13/24] gnu: Add ghc-conduit-algorithms., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 15/24] gnu: Add ghc-hpack., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 16/24] gnu: Add ghc-raw-string-qq., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 17/24] gnu: Add ghc-inline-c., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 18/24] gnu: Add ghc-safe-exceptions., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 19/24] gnu: Add ghc-inline-c-cpp., Ricardo Wurmus, 2018/10/02