GNU bug report logs - #69372
[PATCH] gnu: Add wllvm.

Previous Next

To reply to this bug, email your comments to 69372 AT debbugs.gnu.org.
There is no need to reopen the bug first.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Zheng Junjie <zhengjunjie <at> iscas.ac.cn>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Add wllvm.
Date: Sun, 25 Feb 2024 15:02:03 +0800

* 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

Message #10 received at 69372-done <at> debbugs.gnu.org (full text, mbox):

From: Z572 <zhengjunjie <at> iscas.ac.cn>
To: 69372-done <at> debbugs.gnu.org
Subject: Re: [bug#69372] [PATCH] gnu: Add wllvm.
Date: Wed, 24 Apr 2024 10:38:39 +0800

[Message part 1 (text/plain, inline)]

Zheng Junjie <zhengjunjie <at> iscas.ac.cn> 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))
>  
> +(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

push, see https://git.savannah.gnu.org/cgit/guix.git/commit/?id=06a5ff1a41c26ff5985b861c52385faea4d5da8e

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.