diff options
| author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-02-25 15:02:03 +0800 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-04-24 09:43:06 +0800 |
| commit | 06a5ff1a41c26ff5985b861c52385faea4d5da8e (patch) | |
| tree | 2cf0252ba985c6d45e9a518a12e0b03de62d0222 | |
| parent | fb86bf658a9374d41b05c5e586bfc6a3150cc3cb (diff) | |
| download | guix-06a5ff1a41c26ff5985b861c52385faea4d5da8e.tar guix-06a5ff1a41c26ff5985b861c52385faea4d5da8e.tar.gz | |
gnu: Add wllvm.
* gnu/packages/llvm.scm (wllvm): New variable.
Change-Id: Ibfb47b3a129954adf73721d25e95c64f69e985a1
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
| -rw-r--r-- | gnu/packages/llvm.scm | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gnu/packages/llvm.scm b/gnu/packages/llvm.scm index 239bee206b..8855e1ade3 100644 --- a/gnu/packages/llvm.scm +++ b/gnu/packages/llvm.scm @@ -55,6 +55,7 @@ #: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) @@ -2201,6 +2202,23 @@ LLVM.")))) (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) |