gnu: Add klee.

* gnu/packages/check.scm (klee): New variable.
This commit is contained in:
Liliana Marie Prikler 2024-06-15 23:42:36 +02:00
parent fde607ee75
commit fe7c898750
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87

View file

@ -75,6 +75,7 @@ (define-module (gnu packages check)
#:use-module (gnu packages bash)
#:use-module (gnu packages cmake)
#:use-module (gnu packages compression)
#:use-module (gnu packages cpp)
#:use-module (gnu packages linux)
#:use-module (gnu packages llvm)
#:use-module (gnu packages glib)
@ -85,6 +86,7 @@ (define-module (gnu packages check)
#:use-module (gnu packages gtk)
#:use-module (gnu packages guile)
#:use-module (gnu packages guile-xyz)
#:use-module (gnu packages maths)
#:use-module (gnu packages perl)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages python)
@ -93,6 +95,7 @@ (define-module (gnu packages check)
#:use-module (gnu packages python-web)
#:use-module (gnu packages python-xyz)
#:use-module (gnu packages python-science)
#:use-module (gnu packages sqlite)
#:use-module (gnu packages texinfo)
#:use-module (gnu packages time)
#:use-module (gnu packages xml)
@ -986,6 +989,35 @@ (define-public greatest
runner. It is quite unopinionated with most of its features being optional.")
(license license:isc)))
(define-public klee
(package
(name "klee")
(version "3.1")
(source
(origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/klee/klee")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
#:configure-flags
#~(list (string-append "-DLLVMCC="
(search-input-file %build-inputs "/bin/clang"))
(string-append "-DLLVMCXX="
(search-input-file %build-inputs "/bin/clang++")))))
(native-inputs (list clang-13 llvm-13 python-lit))
(inputs (list gperftools sqlite z3))
(build-system cmake-build-system)
(home-page "https://klee-se.org/")
(synopsis "Symbolic execution engine")
(description "KLEE is a symbolic virtual machine built on top of the LLVM
compiler infrastructure.")
(license license:bsd-3)))
(define-public cpputest
(package
(name "cpputest")