ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-26 22:38:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add wllvm.

Browse source 
* gnu/packages/llvm.scm (wllvm): New variable.

Change-Id: Ibfb47b3a129954adf73721d25e95c64f69e985a1
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
This commit is contained in:
Zheng Junjie 2024-02-25 15:02:03 +08:00
parent fb86bf658a
commit 06a5ff1a41
No known key found for this signature in database
GPG key ID: 3B5AA993E1A2DFF0
1 changed files with 18 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
gnu/packages/llvm.scm
View file

@ -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)
@ -2201,6 +2202,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)