From patchwork Sun Jan 12 19:10:14 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: JoJo X-Patchwork-Id: 19765 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id EBA3417A86; Sun, 12 Jan 2020 23:25:24 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 9114617A84 for ; Sun, 12 Jan 2020 23:25:24 +0000 (GMT) Received: from localhost ([::1]:42842 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iqmbk-0001WM-3w for patchwork@mira.cbaines.net; Sun, 12 Jan 2020 18:25:24 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:59307) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iqj6d-0004Xn-5n for guix-patches@gnu.org; Sun, 12 Jan 2020 14:41:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iqj6b-0004P4-Sj for guix-patches@gnu.org; Sun, 12 Jan 2020 14:41:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:52048) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iqj6b-0004Oh-Os for guix-patches@gnu.org; Sun, 12 Jan 2020 14:41:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iqj6b-0005uc-ME for guix-patches@gnu.org; Sun, 12 Jan 2020 14:41:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#39105] [PATCH] gnu: Add ghc-llvm-hs and dependency Resent-From: JoJo Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 12 Jan 2020 19:41:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 39105 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 39105@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.157885801422652 (code B ref -1); Sun, 12 Jan 2020 19:41:01 +0000 Received: (at submit) by debbugs.gnu.org; 12 Jan 2020 19:40:14 +0000 Received: from localhost ([127.0.0.1]:58021 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iqj5q-0005tI-4Y for submit@debbugs.gnu.org; Sun, 12 Jan 2020 14:40:14 -0500 Received: from lists.gnu.org ([209.51.188.17]:38497) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iqj0Z-0005kn-9E for submit@debbugs.gnu.org; Sun, 12 Jan 2020 14:34:47 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:42135) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iqj0X-00030Q-Oj for guix-patches@gnu.org; Sun, 12 Jan 2020 14:34:47 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iqj0W-0003gV-71 for guix-patches@gnu.org; Sun, 12 Jan 2020 14:34:45 -0500 Received: from mta-06-3.privateemail.com ([198.54.127.59]:19196) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iqj0V-0003aj-U1 for guix-patches@gnu.org; Sun, 12 Jan 2020 14:34:44 -0500 Received: from MTA-06.privateemail.com (localhost [127.0.0.1]) by MTA-06.privateemail.com (Postfix) with ESMTP id 2E1C760043 for ; Sun, 12 Jan 2020 14:34:41 -0500 (EST) Received: from odin (unknown [10.20.151.217]) by MTA-06.privateemail.com (Postfix) with ESMTPA id 91C466003D for ; Sun, 12 Jan 2020 19:34:40 +0000 (UTC) From: JoJo Date: Sun, 12 Jan 2020 20:10:14 +0100 Message-ID: <87h8108o4x.fsf@jo.zone> MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Mailman-Approved-At: Sun, 12 Jan 2020 14:40:12 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-Mailman-Approved-At: Sun, 12 Jan 2020 18:25:19 -0500 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-llvm-hs, ghc-llvm-hs-pure): New variables. --- gnu/packages/haskell-xyz.scm | 66 ++++++++++++++++++++++++++++++++++++ 1 file changed, 66 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 3a9880f58c..af507d9d43 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -54,6 +54,7 @@ #:use-module (gnu packages haskell-web) #:use-module (gnu packages libffi) #:use-module (gnu packages linux) + #:use-module (gnu packages llvm) #:use-module (gnu packages lua) #:use-module (gnu packages maths) #:use-module (gnu packages ncurses) @@ -6704,6 +6705,71 @@ ByteString, for types that support input and output, and for types that can handle infinite lists.") (license license:bsd-3))) +(define-public ghc-llvm-hs-pure + (package + (name "ghc-llvm-hs-pure") + (version "9.0.0") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/llvm-hs-pure/llvm-hs-pure-" + version + ".tar.gz")) + (sha256 + (base32 + "0pxb5ah8r5pzpz2ibqw3g9g1isigb4z7pbzfrwr8kmcjn74ab3kf")))) + (build-system haskell-build-system) + (inputs `(("ghc-attoparsec" ,ghc-attoparsec) + ("ghc-fail" ,ghc-fail) + ("ghc-unordered-containers" ,ghc-unordered-containers))) + (native-inputs `(("ghc-tasty" ,ghc-tasty) + ("ghc-tasty-hunit" ,ghc-tasty-hunit) + ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck))) + (home-page "http://github.com/llvm-hs/llvm-hs/") + (synopsis "Pure Haskell LLVM functionality (no FFI).") + (description "llvm-hs-pure is a set of pure Haskell types and functions +for interacting with LLVM. It includes an ADT to represent LLVM IR. The +llvm-hs package builds on this one with FFI bindings to LLVM, but llvm-hs-pure +does not require LLVM to be available.") + (license license:bsd-3))) + +(define-public ghc-llvm-hs + (package + (name "ghc-llvm-hs") + (version "9.0.1") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/llvm-hs/llvm-hs-" + version + ".tar.gz")) + (sha256 + (base32 + "0723xgh45h9cyxmmjsvxnsp8bpn1ljy4qgh7a7vqq3sj9d6wzq00")))) + (build-system haskell-build-system) + (inputs `(("ghc-attoparsec" ,ghc-attoparsec) + ("ghc-exceptions" ,ghc-exceptions) + ("ghc-utf8-string" ,ghc-utf8-string) + ("ghc-llvm-hs-pure" ,ghc-llvm-hs-pure) + ("llvm" ,llvm-9))) + (native-inputs `(("ghc-tasty" ,ghc-tasty) + ("ghc-tasty-hunit" ,ghc-tasty-hunit) + ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck) + ("ghc-quickcheck" ,ghc-quickcheck) + ("ghc-temporary" ,ghc-temporary) + ("ghc-pretty-show" ,ghc-pretty-show) + ("ghc-temporary" ,ghc-temporary))) + (home-page "http://github.com/llvm-hs/llvm-hs/") + (synopsis "General purpose LLVM bindings") + (description "llvm-hs is a set of Haskell bindings for LLVM. Unlike other +current Haskell bindings, it uses an ADT to represent LLVM IR, and so offers +two advantages: it handles almost all of the stateful complexities of using +the LLVM API to build IR; and it supports moving IR not only from Haskell into +LLVM C++ objects, but the other direction - from LLVM C++ into Haskell.") + (license license:bsd-3))) + (define-public ghc-logging-facade (package (name "ghc-logging-facade") From patchwork Wed Jan 15 14:43:44 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: JoJo X-Patchwork-Id: 19826 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 696CD17AC5; Wed, 15 Jan 2020 14:45:16 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id EACC917ABA for ; Wed, 15 Jan 2020 14:45:15 +0000 (GMT) Received: from localhost ([::1]:55026 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1irjv1-0002YZ-Gf for patchwork@mira.cbaines.net; Wed, 15 Jan 2020 09:45:15 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:44904) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1irjus-0002Xe-Uq for guix-patches@gnu.org; Wed, 15 Jan 2020 09:45:10 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1irjuo-00027k-KF for guix-patches@gnu.org; Wed, 15 Jan 2020 09:45:06 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:56731) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1irjuo-00027d-HI for guix-patches@gnu.org; Wed, 15 Jan 2020 09:45:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1irjuo-0004FJ-GA for guix-patches@gnu.org; Wed, 15 Jan 2020 09:45:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#39105] [PATCH 2/2] gnu: Add ghc-llvm-hs-pure References: <87h8108o4x.fsf@jo.zone> In-Reply-To: <87h8108o4x.fsf@jo.zone> Resent-From: JoJo Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 15 Jan 2020 14:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 39105 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 39105@debbugs.gnu.org Received: via spool by 39105-submit@debbugs.gnu.org id=B39105.157909944216182 (code B ref 39105); Wed, 15 Jan 2020 14:45:02 +0000 Received: (at 39105) by debbugs.gnu.org; 15 Jan 2020 14:44:02 +0000 Received: from localhost ([127.0.0.1]:34468 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1irjtm-0004CW-JM for submit@debbugs.gnu.org; Wed, 15 Jan 2020 09:44:02 -0500 Received: from mta-09-4.privateemail.com ([68.65.122.29]:27650) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1irjtg-0004CC-8w for 39105@debbugs.gnu.org; Wed, 15 Jan 2020 09:43:57 -0500 Received: from MTA-09.privateemail.com (localhost [127.0.0.1]) by MTA-09.privateemail.com (Postfix) with ESMTP id BD08C6004A for <39105@debbugs.gnu.org>; Wed, 15 Jan 2020 09:43:46 -0500 (EST) Received: from odin (unknown [10.20.151.215]) by MTA-09.privateemail.com (Postfix) with ESMTPA id 2D08860043 for <39105@debbugs.gnu.org>; Wed, 15 Jan 2020 14:43:45 +0000 (UTC) From: JoJo Date: Wed, 15 Jan 2020 15:43:44 +0100 Message-ID: <87h80w4w67.fsf@jo.zone> MIME-Version: 1.0 X-Virus-Scanned: ClamAV using ClamSMTP X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/haskell-xyz.scm (ghc-llvm-hs): New variable. --- gnu/packages/haskell-xyz.scm | 37 ++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index a04e8f652e..af507d9d43 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -54,6 +54,7 @@ #:use-module (gnu packages haskell-web) #:use-module (gnu packages libffi) #:use-module (gnu packages linux) + #:use-module (gnu packages llvm) #:use-module (gnu packages lua) #:use-module (gnu packages maths) #:use-module (gnu packages ncurses) @@ -6733,6 +6734,42 @@ llvm-hs package builds on this one with FFI bindings to LLVM, but llvm-hs-pure does not require LLVM to be available.") (license license:bsd-3))) +(define-public ghc-llvm-hs + (package + (name "ghc-llvm-hs") + (version "9.0.1") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/llvm-hs/llvm-hs-" + version + ".tar.gz")) + (sha256 + (base32 + "0723xgh45h9cyxmmjsvxnsp8bpn1ljy4qgh7a7vqq3sj9d6wzq00")))) + (build-system haskell-build-system) + (inputs `(("ghc-attoparsec" ,ghc-attoparsec) + ("ghc-exceptions" ,ghc-exceptions) + ("ghc-utf8-string" ,ghc-utf8-string) + ("ghc-llvm-hs-pure" ,ghc-llvm-hs-pure) + ("llvm" ,llvm-9))) + (native-inputs `(("ghc-tasty" ,ghc-tasty) + ("ghc-tasty-hunit" ,ghc-tasty-hunit) + ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck) + ("ghc-quickcheck" ,ghc-quickcheck) + ("ghc-temporary" ,ghc-temporary) + ("ghc-pretty-show" ,ghc-pretty-show) + ("ghc-temporary" ,ghc-temporary))) + (home-page "http://github.com/llvm-hs/llvm-hs/") + (synopsis "General purpose LLVM bindings") + (description "llvm-hs is a set of Haskell bindings for LLVM. Unlike other +current Haskell bindings, it uses an ADT to represent LLVM IR, and so offers +two advantages: it handles almost all of the stateful complexities of using +the LLVM API to build IR; and it supports moving IR not only from Haskell into +LLVM C++ objects, but the other direction - from LLVM C++ into Haskell.") + (license license:bsd-3))) + (define-public ghc-logging-facade (package (name "ghc-logging-facade")