From 06a5ff1a41c26ff5985b861c52385faea4d5da8e Mon Sep 17 00:00:00 2001 From: Zheng Junjie Date: Sun, 25 Feb 2024 15:02:03 +0800 Subject: gnu: Add wllvm. * gnu/packages/llvm.scm (wllvm): New variable. Change-Id: Ibfb47b3a129954adf73721d25e95c64f69e985a1 Signed-off-by: Zheng Junjie --- gnu/packages/llvm.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) 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) -- cgit v1.2.3