bug#71634: closed ([PATCH] gnu: Add klee.)

[GNU bug Tracking System]

Your message dated Sun, 23 Jun 2024 15:46:11 +0200
with message-id <c36b47b1fc8c2344fac9cab0440f178e0a58a014.camel@gmail.com>
and subject line Re: [PATCH v4 2/2] gnu: Add klee.
has caused the debbugs.gnu.org bug report #71634,
regarding [PATCH] gnu: Add klee.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
71634: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71634
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Add klee.
>
>
>
>
> Date: 
>
> Sat, 15 Jun 2024 23:42:36 +0200
>
>
>
>
> * gnu/packages/check.scm (klee): New variable.
> ---
>  gnu/packages/check.scm | 32 ++++++++++++++++++++++++++++++++
>  1 file changed, 32 insertions(+)
>
> diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
> index fafa5d3f33..bbd9cf3181 100644
> --- a/gnu/packages/check.scm
> +++ b/gnu/packages/check.scm
> @@ -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")
>
> base-commit: 2195f70936b7aeec123d4e95345f1007d3a7bb06
> -- 
> 2.45.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH v4 2/2] gnu: Add klee.
>
>
>
>
> Date: 
>
> Sun, 23 Jun 2024 15:46:11 +0200
>
>
>
>
> User-agent: 
>
> Evolution 3.48.4 
>
>
>
>
> Hi Sören, hi Julien
>
> Am Donnerstag, dem 28.03.2024 um 20:20 +0100 schrieb
> soeren@soeren-tempel.net:
> > From: Sören Tempel <soeren@soeren-tempel.net>
> > 
> > * gnu/packages/check.scm (klee): New variable.
> I pushed 71634 earlier today, which adds klee, but not klee-uclibc –
> would you mind taking a look at it and adding any missing bits?
>
> Cheers
>
>
> --- End Message ---