From patchwork Sat Jun 15 21:42:36 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Liliana Marie Prikler X-Patchwork-Id: 65471 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 8AE2127BBEA; Tue, 18 Jun 2024 19:31:18 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 3BDA227BBE9 for ; Tue, 18 Jun 2024 19:31:16 +0100 (BST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sJdbl-0006yd-Bv; Tue, 18 Jun 2024 14:31:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sJdbk-0006yC-6c for guix-patches@gnu.org; Tue, 18 Jun 2024 14:31:04 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sJdbf-0007YE-Ph for guix-patches@gnu.org; Tue, 18 Jun 2024 14:31:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sJdbi-00016E-6l for guix-patches@gnu.org; Tue, 18 Jun 2024 14:31:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#71634] [PATCH] gnu: Add klee. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 18 Jun 2024 18:31:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 71634 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 71634@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17187354354154 (code B ref -1); Tue, 18 Jun 2024 18:31:02 +0000 Received: (at submit) by debbugs.gnu.org; 18 Jun 2024 18:30:35 +0000 Received: from localhost ([127.0.0.1]:47954 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sJdbH-00014s-5W for submit@debbugs.gnu.org; Tue, 18 Jun 2024 14:30:35 -0400 Received: from lists.gnu.org ([209.51.188.17]:33564) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sJdbF-00014k-JU for submit@debbugs.gnu.org; Tue, 18 Jun 2024 14:30:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sJdbC-0006n7-4H for guix-patches@gnu.org; Tue, 18 Jun 2024 14:30:30 -0400 Received: from mail-wm1-x341.google.com ([2a00:1450:4864:20::341]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sJdb9-0007Pd-7w for guix-patches@gnu.org; Tue, 18 Jun 2024 14:30:29 -0400 Received: by mail-wm1-x341.google.com with SMTP id 5b1f17b1804b1-42278f3aea4so50906695e9.1 for ; Tue, 18 Jun 2024 11:30:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1718735423; x=1719340223; darn=gnu.org; h=mime-version:to:subject:date:from:message-id:from:to:cc:subject :date:message-id:reply-to; bh=0pMq0QZaBbvs/Bg30j6U+iWUr0KEXBp1M3WO/Qn655Y=; b=aY4LCcGxdlu/idMwRaIiJuyuFq2zarb6FTLg2Wixn6qX+6MTuPUv5oAE6gkSeCm7tu /ucHoVLd55+J1Lo0igwZPNdisyJp5GjR6YTYmrvJzXYcJP6ft6EQm3tdq66lWokECI0a nUKMnQJ1Nd9VTW72DiUONsru4Pz5+FNXY9/l5j5YUSZCY7DJRInyBu3T71ss54jCiAlQ Ju3y91p5ShORTGLmxeS+pf6uebNjZMt4rexXTuM1Yozof6F5juHUVsS7vsSCc1nihT61 odS6gx9Q/FZiOLzN994vPAnHHIRlnD7oSlJTvcUo0GUU5Sr/UKFRCwDvSvWbuMDMJXuX Peuw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718735423; x=1719340223; h=mime-version:to:subject:date:from:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=0pMq0QZaBbvs/Bg30j6U+iWUr0KEXBp1M3WO/Qn655Y=; b=HJdsJZWgf0QF9TmDlY/970Ql7jugXJ/f0NDihYTzNWpe4AQbX56t6qLdl80rggr9iF GaxxL3yvrTLVMEoe/MIFNz/sF3/aIM3E0ngggueNo2ifuck6zoBQiBZS7M9EJIofAFKi 9cpcRbDCHBmjoVrPkvGUUvQrk5xLnJwpmUPtrcZ57rp8GZ/A60CDVZ4InqI2fBBLh6r4 6P/m4jG1yONWhnNOnpJGV9XnuUon1KDwcTk6I4Npi6g5y7C7bggFhSW5y47iVoNjxbJE b9BoQI4Xv/5xG7rTFT0/NBxEyjz3OYLYJ/T7aqn8b8OGANcYAb7+iWwRsZXSOvO8UosA Ok/Q== X-Gm-Message-State: AOJu0Yy6JuB+rM+ESIEZAq4g2V3J16CBUolyFHqLXMLIPx1VtSf+7D5p n0v5GZRpGkkCV7u5UUUESG4PSJKyN3eOafQusBnyyC7TpmgPl74qvCyaovlF X-Google-Smtp-Source: AGHT+IFcUktjhfcM/z8iY0nT1hx8sXqpHTLt8E+Ym0SSGZeMJSvHtvdIE1FU1f2Ezx+XfwWzj314Qw== X-Received: by 2002:a05:600c:4c92:b0:423:2a9:19ce with SMTP id 5b1f17b1804b1-42475296becmr1899115e9.25.1718735422601; Tue, 18 Jun 2024 11:30:22 -0700 (PDT) Received: from lumine.fritz.box (85-127-52-93.dsl.dynamic.surfer.at. [85.127.52.93]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-422870e9676sm231170425e9.24.2024.06.18.11.30.21 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 18 Jun 2024 11:30:22 -0700 (PDT) Message-ID: <7dd4041ade133c212512f9fbbcaa6c952d78320c.1718735370.git.liliana.prikler@gmail.com> From: Liliana Marie Prikler Date: Sat, 15 Jun 2024 23:42:36 +0200 MIME-Version: 1.0 Received-SPF: pass client-ip=2a00:1450:4864:20::341; envelope-from=liliana.prikler@gmail.com; helo=mail-wm1-x341.google.com X-Spam_score_int: 10 X-Spam_score: 1.0 X-Spam_bar: + X-Spam_report: (1.0 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, MALFORMED_FREEMAIL=3.062, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches * gnu/packages/check.scm (klee): New variable. --- gnu/packages/check.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) base-commit: 2195f70936b7aeec123d4e95345f1007d3a7bb06 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")