From unknown Sun Jun 22 08:00:17 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#69372] [PATCH] gnu: Add wllvm. Resent-From: Zheng Junjie Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 25 Feb 2024 07:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69372 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 69372@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.170884470718815 (code B ref -1); Sun, 25 Feb 2024 07:06:02 +0000 Received: (at submit) by debbugs.gnu.org; 25 Feb 2024 07:05:07 +0000 Received: from localhost ([127.0.0.1]:47981 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1re8ZL-0004tD-0Z for submit@debbugs.gnu.org; Sun, 25 Feb 2024 02:05:07 -0500 Received: from lists.gnu.org ([209.51.188.17]:37208) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1re8ZI-0004sh-U9 for submit@debbugs.gnu.org; Sun, 25 Feb 2024 02:05:01 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1re8Wl-0006sm-St for guix-patches@gnu.org; Sun, 25 Feb 2024 02:02:25 -0500 Received: from smtp21.cstnet.cn ([159.226.251.21] helo=cstnet.cn) by eggs.gnu.org with esmtps (TLS1.2:DHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1re8Wi-00069q-Jm for guix-patches@gnu.org; Sun, 25 Feb 2024 02:02:23 -0500 Received: from m.taildaf0f.ts.net (unknown [183.247.5.172]) by APP-01 (Coremail) with SMTP id qwCowABHTqrs5dplsB0mAw--.12120S2; Sun, 25 Feb 2024 15:02:05 +0800 (CST) From: Zheng Junjie Date: Sun, 25 Feb 2024 15:02:03 +0800 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-CM-TRANSID: qwCowABHTqrs5dplsB0mAw--.12120S2 X-Coremail-Antispam: 1UD129KBjvJXoW7WFyUJF1DZFyUJF1UGFW8Crg_yoW8Wr1DpF WfCFySgr1rKrZxJws3WFZrGr1fXrWktrWUu3y3CrWfKa1Yvw4DCFW2ya1rGFnxJwn2yw47 C34vq3W7WryUJ3DanT9S1TB71UUUUUUqnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDU0xBIdaVrnRJUUUyab7Iv0xC_tr1lb4IE77IF4wAFF20E14v26r1j6r4UM7CY07I2 0VC2zVCF04k26cxKx2IYs7xG6rWj6s0DM7CIcVAFz4kK6r1j6r18M28lY4IEw2IIxxk0rw A2F7IY1VAKz4vEj48ve4kI8wA2z4x0Y4vE2Ix0cI8IcVAFwI0_Jr0_JF4l84ACjcxK6xII jxv20xvEc7CjxVAFwI0_Jr0_Gr1l84ACjcxK6I8E87Iv67AKxVWxJVW8Jr1l84ACjcxK6I 8E87Iv6xkF7I0E14v26r4UJVWxJr1le2I262IYc4CY6c8Ij28IcVAaY2xG8wAqx4xG64xv F2IEw4CE5I8CrVC2j2WlYx0E2Ix0cI8IcVAFwI0_Jr0_Jr4lYx0Ex4A2jsIE14v26r1j6r 4UMcvjeVCFs4IE7xkEbVWUJVW8JwACjcxG0xvY0x0EwIxGrwCF04k20xvY0x0EwIxGrwCF x2IqxVCFs4IE7xkEbVWUJVW8JwC20s026c02F40E14v26r1j6r18MI8I3I0E7480Y4vE14 v26r106r1rMI8E67AF67kF1VAFwI0_Jr0_JrylIxkGc2Ij64vIr41lIxAIcVC0I7IYx2IY 67AKxVWUJVWUCwCI42IY6xIIjxv20xvEc7CjxVAFwI0_Jr0_Gr1lIxAIcVCF04k26cxKx2 IYs7xG6r1j6r1xMIIF0xvEx4A2jsIE14v26r1j6r4UMIIF0xvEx4A2jsIEc7CjxVAFwI0_ Jr0_GrUvcSsGvfC2KfnxnUUI43ZEXa7IU8v_M3UUUUU== X-Originating-IP: [183.247.5.172] X-CM-SenderInfo: x2kh0wxmxqyx3h6l2u1dvotugofq/ Received-SPF: pass client-ip=159.226.251.21; envelope-from=zhengjunjie@iscas.ac.cn; helo=cstnet.cn X-Spam_score_int: -41 X-Spam_score: -4.2 X-Spam_bar: ---- X-Spam_report: (-4.2 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) * gnu/packages/llvm.scm (wllvm): New variable. Change-Id: Ibfb47b3a129954adf73721d25e95c64f69e985a1 --- gnu/packages/llvm.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/llvm.scm b/gnu/packages/llvm.scm index 2778d0ec38..5f79984c94 100644 --- a/gnu/packages/llvm.scm +++ b/gnu/packages/llvm.scm @@ -55,6 +55,7 @@ (define-module (gnu packages llvm) #:use-module (guix build-system cmake) #:use-module (guix build-system emacs) #:use-module (guix build-system python) + #:use-module (guix build-system pyproject) #:use-module (guix build-system trivial) #:use-module (gnu packages) #:use-module (gnu packages autotools) @@ -2212,6 +2213,23 @@ (define-public ocaml-llvm-9 (make-ocaml-llvm llvm-9)) (define-public ocaml-llvm-10 (make-ocaml-llvm llvm-10)) (define-public ocaml-llvm-11 (make-ocaml-llvm llvm-11)) +(define-public wllvm + (package + (name "wllvm") + (version "1.3.1") + (source + (origin + (method url-fetch) + (uri (pypi-uri "wllvm" version)) + (sha256 + (base32 "0cf31hixzq5bzkxv91rvadlhrpxzy934134scv4frj85bxbpl19y")))) + (build-system pyproject-build-system) + (home-page "https://github.com/SRI-CSL/whole-program-llvm") + (synopsis "Whole Program LLVM") + (description "This package provides a toolkit for building whole-program +LLVM bitcode files.") + (license license:expat))) + (define-public llvm-julia (package (inherit llvm-13) base-commit: 05bbe9993f687da1fd684a31474c621f2a1c37b2 -- 2.41.0 From unknown Sun Jun 22 08:00:17 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Zheng Junjie Subject: bug#69372: closed (Re: [bug#69372] [PATCH] gnu: Add wllvm.) Message-ID: References: <877cgniixc.fsf@iscas.ac.cn> X-Gnu-PR-Message: they-closed 69372 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 69372@debbugs.gnu.org Date: Wed, 24 Apr 2024 02:41:08 +0000 Content-Type: multipart/mixed; boundary="----------=_1713926468-19333-1" This is a multi-part message in MIME format... ------------=_1713926468-19333-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #69372: [PATCH] gnu: Add wllvm. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 69372@debbugs.gnu.org. --=20 69372: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69372 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1713926468-19333-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 69372-done) by debbugs.gnu.org; 24 Apr 2024 02:40:15 +0000 Received: from localhost ([127.0.0.1]:55779 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rzSYH-0004rK-Hq for submit@debbugs.gnu.org; Tue, 23 Apr 2024 22:40:13 -0400 Received: from smtp21.cstnet.cn ([159.226.251.21]:58470 helo=cstnet.cn) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rzSXJ-0004eq-7D for 69372-done@debbugs.gnu.org; Tue, 23 Apr 2024 22:39:08 -0400 Received: from m (unknown [183.247.5.102]) by APP-01 (Coremail) with SMTP id qwCowAA3F1CwcChmrterBQ--.44316S2; Wed, 24 Apr 2024 10:38:40 +0800 (CST) From: Z572 To: 69372-done@debbugs.gnu.org Subject: Re: [bug#69372] [PATCH] gnu: Add wllvm. In-Reply-To: (Zheng Junjie's message of "Sun, 25 Feb 2024 15:02:03 +0800") References: User-Agent: mu4e 1.12.2; emacs 30.0.50 Date: Wed, 24 Apr 2024 10:38:39 +0800 Message-ID: <877cgniixc.fsf@iscas.ac.cn> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-CM-TRANSID: qwCowAA3F1CwcChmrterBQ--.44316S2 X-Coremail-Antispam: 1UD129KBjvJXoW7tFy7JrWkJrWfJFW3Wr1DAwb_yoW8Aw4UpF W3AFySqr10g39xJws3WFsxGr1fXrZ5KFyUu343CrWxKan0vws7CrW2ka1rGF13Zwn2ywsr Cw1vq3W5WryDA3DanT9S1TB71UUUUUUqnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDU0xBIdaVrnRJUUUkFb7Iv0xC_tr1lb4IE77IF4wAFF20E14v26r1j6r4UM7CY07I2 0VC2zVCF04k26cxKx2IYs7xG6rWj6s0DM7CIcVAFz4kK6r1j6r18M28lY4IEw2IIxxk0rw A2F7IY1VAKz4vEj48ve4kI8wA2z4x0Y4vE2Ix0cI8IcVAFwI0_Gr0_Xr1l84ACjcxK6xII jxv20xvEc7CjxVAFwI0_Gr0_Cr1l84ACjcxK6I8E87Iv67AKxVW8Jr0_Cr1UM28EF7xvwV C2z280aVCY1x0267AKxVW8Jr0_Cr1UM2AIxVAIcxkEcVAq07x20xvEncxIr21le4C267I2 x7xF54xIwI1l5I8CrVACY4xI64kE6c02F40Ex7xfMcIj6xIIjxv20xvE14v26r1Y6r17Mc Ij6I8E87Iv67AKxVWUJVW8JwAm72CE4IkC6x0Yz7v_Jr0_Gr1lF7xvr2IY64vIr41l42xK 82IYc2Ij64vIr41l4I8I3I0E4IkC6x0Yz7v_Jr0_Gr1lx2IqxVAqx4xG67AKxVWUJVWUGw C20s026x8GjcxK67AKxVWUGVWUWwC2zVAF1VAY17CE14v26r1j6r15MIIYrxkI7VAKI48J MIIF0xvE2Ix0cI8IcVAFwI0_Jr0_JF4lIxAIcVC0I7IYx2IY6xkF7I0E14v26r1j6r4UMI IF0xvE42xK8VAvwI8IcIk0rVWUJVWUCwCI42IY6I8E87Iv67AKxVWUJVW8JwCI42IY6I8E 87Iv6xkF7I0E14v26r1j6r4UYxBIdaVFxhVjvjDU0xZFpf9x07j50edUUUUU= X-Originating-IP: [183.247.5.102] X-CM-SenderInfo: x2kh0wxmxqyx3h6l2u1dvotugofq/ X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 69372-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Zheng Junjie writes: > * gnu/packages/llvm.scm (wllvm): New variable. > > Change-Id: Ibfb47b3a129954adf73721d25e95c64f69e985a1 > --- > gnu/packages/llvm.scm | 18 ++++++++++++++++++ > 1 file changed, 18 insertions(+) > > diff --git a/gnu/packages/llvm.scm b/gnu/packages/llvm.scm > index 2778d0ec38..5f79984c94 100644 > --- a/gnu/packages/llvm.scm > +++ b/gnu/packages/llvm.scm > @@ -55,6 +55,7 @@ (define-module (gnu packages llvm) > #:use-module (guix build-system cmake) > #:use-module (guix build-system emacs) > #:use-module (guix build-system python) > + #:use-module (guix build-system pyproject) > #:use-module (guix build-system trivial) > #:use-module (gnu packages) > #:use-module (gnu packages autotools) > @@ -2212,6 +2213,23 @@ (define-public ocaml-llvm-9 (make-ocaml-llvm llvm-= 9)) > (define-public ocaml-llvm-10 (make-ocaml-llvm llvm-10)) > (define-public ocaml-llvm-11 (make-ocaml-llvm llvm-11)) >=20=20 > +(define-public wllvm > + (package > + (name "wllvm") > + (version "1.3.1") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "wllvm" version)) > + (sha256 > + (base32 "0cf31hixzq5bzkxv91rvadlhrpxzy934134scv4frj85bxbpl19y"))= )) > + (build-system pyproject-build-system) > + (home-page "https://github.com/SRI-CSL/whole-program-llvm") > + (synopsis "Whole Program LLVM") > + (description "This package provides a toolkit for building whole-pro= gram > +LLVM bitcode files.") > + (license license:expat))) > + > (define-public llvm-julia > (package > (inherit llvm-13) > > base-commit: 05bbe9993f687da1fd684a31474c621f2a1c37b2 push, see https://git.savannah.gnu.org/cgit/guix.git/commit/?id=3D06a5ff1a4= 1c26ff5985b861c52385faea4d5da8e --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEfr6klGDOXiwIdX/bO1qpk+Gi3/AFAmYocK8ACgkQO1qpk+Gi 3/DUshAAlj/AIyBfKuiUcTl4/ykeg9Q4fYw6DKinolz2TDHlcxvPD+SdRT5iUtKq yuohhhQt7CJQKqaL/26NRxzQc625rWmVEpB1KxHYtKzypzf5Eahd+yQsc8aoSNON 67YAt/5IfTjAV2ehehc5Kr3llg61JFB0ZOrFnaVpnvi7MMWclFwmH8hd+r3c1H4O 0Rni7vuIXJOTiKzFjZBE6rxcy0bBCu5eWvv+vRMtPWcLla4ovBN3DmZVaW8RxjPs iUr2gPs5GXoD3+sH6s1mIMVKigt2yV8EhZ/Hr4rXwi7JFP9EIpSH6W2N2TWYvFHN wNPUHVWQIhNnlWlDmEHvUI1GlveaxvvxJDmMIFRNA4Wr6ircuTacjEyp9RePDWsF WeXwsFH836draMDeengmy4PfDrZHlj8ExNvYHUNThrWaN3GbJw7a4kWymhN0xUAg gMhu3IPp5RwbsLwY9AUrO7QXqQZm+17ltDk5nz0W/Vy9ZKFJJbv2AtZNzJTMhak7 ZQ38elv6cQroF/PDYbNd6mRs5DA4dYb5wO24rsT9iORPdGtdVjf3cecvGnckH/Sg tLYydJV5pXz2cTD7Hz3sAqVws4+oWc+J4BSYV4qcoDe0UzWu5/6PY0VCNnNLQ8i6 7O/NlVAQy9GjtfowZIJr77OKEi3OP58Dj4QyKwb3lvoZnK5PeiI= =H7YX -----END PGP SIGNATURE----- --=-=-=-- ------------=_1713926468-19333-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 25 Feb 2024 07:05:07 +0000 Received: from localhost ([127.0.0.1]:47981 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1re8ZL-0004tD-0Z for submit@debbugs.gnu.org; Sun, 25 Feb 2024 02:05:07 -0500 Received: from lists.gnu.org ([209.51.188.17]:37208) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1re8ZI-0004sh-U9 for submit@debbugs.gnu.org; Sun, 25 Feb 2024 02:05:01 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1re8Wl-0006sm-St for guix-patches@gnu.org; Sun, 25 Feb 2024 02:02:25 -0500 Received: from smtp21.cstnet.cn ([159.226.251.21] helo=cstnet.cn) by eggs.gnu.org with esmtps (TLS1.2:DHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1re8Wi-00069q-Jm for guix-patches@gnu.org; Sun, 25 Feb 2024 02:02:23 -0500 Received: from m.taildaf0f.ts.net (unknown [183.247.5.172]) by APP-01 (Coremail) with SMTP id qwCowABHTqrs5dplsB0mAw--.12120S2; Sun, 25 Feb 2024 15:02:05 +0800 (CST) From: Zheng Junjie To: guix-patches@gnu.org Subject: [PATCH] gnu: Add wllvm. Date: Sun, 25 Feb 2024 15:02:03 +0800 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-CM-TRANSID: qwCowABHTqrs5dplsB0mAw--.12120S2 X-Coremail-Antispam: 1UD129KBjvJXoW7WFyUJF1DZFyUJF1UGFW8Crg_yoW8Wr1DpF WfCFySgr1rKrZxJws3WFZrGr1fXrWktrWUu3y3CrWfKa1Yvw4DCFW2ya1rGFnxJwn2yw47 C34vq3W7WryUJ3DanT9S1TB71UUUUUUqnTZGkaVYY2UrUUUUjbIjqfuFe4nvWSU5nxnvy2 9KBjDU0xBIdaVrnRJUUUyab7Iv0xC_tr1lb4IE77IF4wAFF20E14v26r1j6r4UM7CY07I2 0VC2zVCF04k26cxKx2IYs7xG6rWj6s0DM7CIcVAFz4kK6r1j6r18M28lY4IEw2IIxxk0rw A2F7IY1VAKz4vEj48ve4kI8wA2z4x0Y4vE2Ix0cI8IcVAFwI0_Jr0_JF4l84ACjcxK6xII jxv20xvEc7CjxVAFwI0_Jr0_Gr1l84ACjcxK6I8E87Iv67AKxVWxJVW8Jr1l84ACjcxK6I 8E87Iv6xkF7I0E14v26r4UJVWxJr1le2I262IYc4CY6c8Ij28IcVAaY2xG8wAqx4xG64xv F2IEw4CE5I8CrVC2j2WlYx0E2Ix0cI8IcVAFwI0_Jr0_Jr4lYx0Ex4A2jsIE14v26r1j6r 4UMcvjeVCFs4IE7xkEbVWUJVW8JwACjcxG0xvY0x0EwIxGrwCF04k20xvY0x0EwIxGrwCF x2IqxVCFs4IE7xkEbVWUJVW8JwC20s026c02F40E14v26r1j6r18MI8I3I0E7480Y4vE14 v26r106r1rMI8E67AF67kF1VAFwI0_Jr0_JrylIxkGc2Ij64vIr41lIxAIcVC0I7IYx2IY 67AKxVWUJVWUCwCI42IY6xIIjxv20xvEc7CjxVAFwI0_Jr0_Gr1lIxAIcVCF04k26cxKx2 IYs7xG6r1j6r1xMIIF0xvEx4A2jsIE14v26r1j6r4UMIIF0xvEx4A2jsIEc7CjxVAFwI0_ Jr0_GrUvcSsGvfC2KfnxnUUI43ZEXa7IU8v_M3UUUUU== X-Originating-IP: [183.247.5.172] X-CM-SenderInfo: x2kh0wxmxqyx3h6l2u1dvotugofq/ Received-SPF: pass client-ip=159.226.251.21; envelope-from=zhengjunjie@iscas.ac.cn; helo=cstnet.cn X-Spam_score_int: -41 X-Spam_score: -4.2 X-Spam_bar: ---- X-Spam_report: (-4.2 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) * gnu/packages/llvm.scm (wllvm): New variable. Change-Id: Ibfb47b3a129954adf73721d25e95c64f69e985a1 --- gnu/packages/llvm.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/llvm.scm b/gnu/packages/llvm.scm index 2778d0ec38..5f79984c94 100644 --- a/gnu/packages/llvm.scm +++ b/gnu/packages/llvm.scm @@ -55,6 +55,7 @@ (define-module (gnu packages llvm) #:use-module (guix build-system cmake) #:use-module (guix build-system emacs) #:use-module (guix build-system python) + #:use-module (guix build-system pyproject) #:use-module (guix build-system trivial) #:use-module (gnu packages) #:use-module (gnu packages autotools) @@ -2212,6 +2213,23 @@ (define-public ocaml-llvm-9 (make-ocaml-llvm llvm-9)) (define-public ocaml-llvm-10 (make-ocaml-llvm llvm-10)) (define-public ocaml-llvm-11 (make-ocaml-llvm llvm-11)) +(define-public wllvm + (package + (name "wllvm") + (version "1.3.1") + (source + (origin + (method url-fetch) + (uri (pypi-uri "wllvm" version)) + (sha256 + (base32 "0cf31hixzq5bzkxv91rvadlhrpxzy934134scv4frj85bxbpl19y")))) + (build-system pyproject-build-system) + (home-page "https://github.com/SRI-CSL/whole-program-llvm") + (synopsis "Whole Program LLVM") + (description "This package provides a toolkit for building whole-program +LLVM bitcode files.") + (license license:expat))) + (define-public llvm-julia (package (inherit llvm-13) base-commit: 05bbe9993f687da1fd684a31474c621f2a1c37b2 -- 2.41.0 ------------=_1713926468-19333-1--