Message ID | d3096bf3ef762488b23cf9835a94c2e691ba7afc.1708844523.git.zhengjunjie@iscas.ac.cn |
---|---|
State | New |
Headers | show |
Series | [bug#69372] gnu: Add wllvm. | expand |
Zheng Junjie <zhengjunjie@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
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)