X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 0/2] Add klee-uclibc.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Wed, 03 Jul 2024 19:07:02 +0000
Resent-Message-ID: <handler.71925.B.17200335947538 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 71925 <at> debbugs.gnu.org
Cc: julien@HIDDEN, liliana.prikler@HIDDEN
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.17200335947538
(code B ref -1); Wed, 03 Jul 2024 19:07:02 +0000
Received: (at submit) by debbugs.gnu.org; 3 Jul 2024 19:06:34 +0000
Received: from localhost ([127.0.0.1]:40458 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sP5JK-0001xW-Di
for submit <at> debbugs.gnu.org; Wed, 03 Jul 2024 15:06:34 -0400
Received: from lists.gnu.org ([209.51.188.17]:38878)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>) id 1sP5JH-0001xM-MT
for submit <at> debbugs.gnu.org; Wed, 03 Jul 2024 15:06:32 -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 <soeren@HIDDEN>)
id 1sP5JF-0004qq-F2
for guix-patches@HIDDEN; Wed, 03 Jul 2024 15:06:29 -0400
Received: from magnesium.8pit.net ([2001:19f0:6c01:4ae:5400:ff:fe66:af9d])
by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.90_1) (envelope-from <soeren@HIDDEN>)
id 1sP5J9-0006f6-8B; Wed, 03 Jul 2024 15:06:28 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=+6tRUSUV
5YGVAOHsyg6BAM1W2KWwG/lGkwuQRnauu+0=; h=date:subject:cc:to:from;
d=soeren-tempel.net; b=r1U3uTJECzsJ067hyVpVResvPEQno7rgCK1iExUSwgLQAx3
p5hWkeEjn8Q0wlx8DJ0CwuU9Owb5XvsEQQ0wVUd2yXb+oJtQtVBJ0TMX1nuzlHJufFCSyz
l3WQLaX4yDyPwbmYrSKKaIQEVw7LP7J+oQv6kAifJ5QaqTphV0SNhI=
Received: from localhost
(dynamic-2a02-3102-49da-001b-62dc-fa7d-6197-0275.310.pool.telefonica.de
[2a02:3102:49da:1b:62dc:fa7d:6197:275])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 6157086a
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Wed, 3 Jul 2024 21:06:13 +0200 (CEST)
From: soeren@HIDDEN
Date: Wed, 3 Jul 2024 21:03:58 +0200
Message-ID: <cover.1720033365.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=2001:19f0:6c01:4ae:5400:ff:fe66:af9d;
envelope-from=soeren@HIDDEN; helo=magnesium.8pit.net
X-Spam_score_int: -16
X-Spam_score: -1.7
X-Spam_bar: -
X-Spam_report: (-1.7 / 5.0 requ) BAYES_00=-1.9, DKIM_INVALID=0.1,
DKIM_SIGNED=0.1, SPF_HELO_NONE=0.001,
SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.4 (-)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.4 (--)
From: Sören Tempel <soeren@HIDDEN>
As requested by Liliana Marie Prikler in #68296, this patchset readds
support for KLEE uclibc based on the new version of the KLEE package
merged via #71634.
Sören Tempel (2):
gnu: Add klee-uclibc.
gnu: klee: Build with klee-uclibc support.
gnu/packages/check.scm | 75 ++++++++++++++++++++++++++++++++++++++++--
1 file changed, 73 insertions(+), 2 deletions(-)
base-commit: bab73e413b3421f4aa051e9438d147040a52e1be
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: soeren@HIDDEN Subject: bug#71925: Acknowledgement ([PATCH 0/2] Add klee-uclibc.) Message-ID: <handler.71925.B.17200335947538.ack <at> debbugs.gnu.org> References: <cover.1720033365.git.soeren@HIDDEN> X-Gnu-PR-Message: ack 71925 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 71925 <at> debbugs.gnu.org Date: Wed, 03 Jul 2024 19:07:02 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): guix-patches@HIDDEN If you wish to submit further information on this problem, please send it to 71925 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 71925: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D71925 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 1/2] gnu: Add klee-uclibc.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Wed, 03 Jul 2024 19:11:01 +0000
Resent-Message-ID: <handler.71925.B71925.17200338057959 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 71925 <at> debbugs.gnu.org
Cc: julien@HIDDEN, liliana.prikler@HIDDEN
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.17200338057959
(code B ref 71925); Wed, 03 Jul 2024 19:11:01 +0000
Received: (at 71925) by debbugs.gnu.org; 3 Jul 2024 19:10:05 +0000
Received: from localhost ([127.0.0.1]:40476 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sP5Mi-00024G-Cx
for submit <at> debbugs.gnu.org; Wed, 03 Jul 2024 15:10:04 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:25154)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sP5Mh-000248-8H; Wed, 03 Jul 2024 15:10:03 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=R2Da8XyD
zx4WrY0GP25GCAgbCeSWG1MAspsg3JHBw1A=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=HTHGDtph71HFwPO9QUD+FAGVg/M
SIhOvKNFpQNEY1O1AyFe/1GRAuEuZEYzLgC0PxmBx9bFxFy325+wxtTn7VzGVxZTfv1yem
OeyufSE5vxlVSePqgMvo4kSN8DtKKar08AnZqAkrNenWkoTqqMY8/NsBoDEMjFOsMGBuiL
Kh80=
Received: from localhost
(dynamic-2a02-3102-49da-001b-62dc-fa7d-6197-0275.310.pool.telefonica.de
[2a02:3102:49da:1b:62dc:fa7d:6197:275])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id c811773e
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Wed, 3 Jul 2024 21:09:58 +0200 (CEST)
From: soeren@HIDDEN
Date: Wed, 3 Jul 2024 21:09:42 +0200
Message-ID: <05cf10c887315b7b2ee2a4ee5d43a6baea969d6c.1720033365.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <cover.1720033365.git.soeren@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
From: Sören Tempel <soeren@HIDDEN>
* gnu/packages/check.scm (klee-uclibc): New variable.
---
gnu/packages/check.scm | 58 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 58 insertions(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 550a5d0f1d..35e26ba6da 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -87,6 +87,7 @@ (define-module (gnu packages check)
#:use-module (gnu packages guile)
#:use-module (gnu packages guile-xyz)
#:use-module (gnu packages maths)
+ #:use-module (gnu packages ncurses)
#:use-module (gnu packages perl)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages python)
@@ -989,6 +990,63 @@ (define-public greatest
runner. It is quite unopinionated with most of its features being optional.")
(license license:isc)))
+(define-public klee-uclibc
+ (let ((commit "955d502cc1f0688e82348304b053ad787056c754"))
+ (package
+ (name "klee-uclibc")
+ (version (git-version "20230612" "0" commit))
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/klee/klee-uclibc")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "12fnr5mq80cxwvv09gi844mi31jgi8067swagxnlxlhxj4mi125j"))))
+ (build-system gnu-build-system)
+ (arguments
+ `(#:tests? #f ;upstream uClibc tests do not work in the fork
+ #:strip-directories '() ;only ships a static library, so don't strip anything.
+ #:phases (modify-phases %standard-phases
+ ;; Disable locales as these would have to be downloaded and
+ ;; shouldn't really be needed for symbolic execution either.
+ (add-after 'unpack 'patch-config
+ (lambda _
+ (substitute* "klee-premade-configs/x86_64/config"
+ (("UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=y")
+ "UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=n")
+ (("UCLIBC_PREGENERATED_LOCALE_DATA=y")
+ "UCLIBC_PREGENERATED_LOCALE_DATA=n")
+ (("UCLIBC_HAS_LOCALE=y")
+ "UCLIBC_HAS_LOCALE=n")
+ (("UCLIBC_HAS_XLOCALE=y")
+ "UCLIBC_HAS_XLOCALE=n"))))
+
+ ;; Upstream uses a custom non-GNU configure script written
+ ;; in Python, replace the default configure phase accordingly.
+ (replace 'configure
+ (lambda _
+ (invoke "./configure" "--make-llvm-lib"
+ "--enable-release")))
+
+ ;; Custom install phase to only install the libc.a file manually.
+ ;; This is the only file which is used/needed by KLEE itself.
+ (replace 'install
+ (lambda* (#:key outputs #:allow-other-keys)
+ (install-file "lib/libc.a"
+ (string-append (assoc-ref outputs "out")
+ "/lib")))))))
+ ;; ncurses is only needed for the `make menuconfig` interface.
+ (native-inputs (list clang-13 llvm-13 python ncurses))
+ (synopsis "Variant of uClibc tailored to symbolic execution")
+ (description
+ "Modified version of uClibc for symbolic execution of
+Unix userland software. This library can only be used in conjunction
+with the @code{klee} package.")
+ (home-page "https://klee-se.org/")
+ (license license:lgpl2.1))))
+
(define-public klee
(package
(name "klee")
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Wed, 03 Jul 2024 19:11:02 +0000
Resent-Message-ID: <handler.71925.B71925.17200338077975 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 71925 <at> debbugs.gnu.org
Cc: julien@HIDDEN, liliana.prikler@HIDDEN
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.17200338077975
(code B ref 71925); Wed, 03 Jul 2024 19:11:02 +0000
Received: (at 71925) by debbugs.gnu.org; 3 Jul 2024 19:10:07 +0000
Received: from localhost ([127.0.0.1]:40479 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sP5Mk-00024Z-WB
for submit <at> debbugs.gnu.org; Wed, 03 Jul 2024 15:10:07 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:25154)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sP5Mi-000248-QG; Wed, 03 Jul 2024 15:10:05 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=vfqaNJpw
Xho82eiI6925UKTltucqaKoFaTfGceXL3Fs=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=NoqN3uha+BbH5Ls8CP9ieCY7FC+
zHqZRBidWJ4PNhNfXdvslFQEJARWCpWsdB5uCVXycoPCKy29VldQr6jR4USM4dSMIQ5MU+
lmDlho0uw4IP7w3X0A2AegTHr28ctZvq4qFv5Yt+TBQX1qRAgkdUfNKi0i9Amch3d40PdZ
joDw=
Received: from localhost
(dynamic-2a02-3102-49da-001b-62dc-fa7d-6197-0275.310.pool.telefonica.de
[2a02:3102:49da:1b:62dc:fa7d:6197:275])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id dc8e40bf
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Wed, 3 Jul 2024 21:10:01 +0200 (CEST)
From: soeren@HIDDEN
Date: Wed, 3 Jul 2024 21:09:43 +0200
Message-ID: <50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <cover.1720033365.git.soeren@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
From: Sören Tempel <soeren@HIDDEN>
* gnu/packages/check.scm (klee): Use klee-uclibc.
---
gnu/packages/check.scm | 17 +++++++++++++++--
1 file changed, 15 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 35e26ba6da..ad589f6e15 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1062,13 +1062,26 @@ (define-public klee
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-after 'install 'wrap-hooks
+ (lambda* (#:key inputs outputs #:allow-other-keys)
+ (let* ((out (assoc-ref outputs "out"))
+ (bin (string-append out "/bin"))
+ (lib (string-append out "/lib")))
+ ;; Ensure that KLEE finds runtime libraries (e.g. uclibc).
+ (wrap-program (string-append bin "/klee")
+ `("KLEE_RUNTIME_LIBRARY_PATH" ":" =
+ (,(string-append lib "/klee/runtime/"))))))))
#:configure-flags
#~(list (string-append "-DLLVMCC="
(search-input-file %build-inputs "/bin/clang"))
(string-append "-DLLVMCXX="
- (search-input-file %build-inputs "/bin/clang++")))))
+ (search-input-file %build-inputs "/bin/clang++"))
+ "-DENABLE_POSIX_RUNTIME=ON"
+ (string-append "-DKLEE_UCLIBC_PATH=" #$klee-uclibc))))
(native-inputs (list clang-13 llvm-13 python-lit))
- (inputs (list gperftools sqlite z3))
+ (inputs (list bash-minimal gperftools sqlite z3))
(build-system cmake-build-system)
(home-page "https://klee-se.org/")
(synopsis "Symbolic execution engine")
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sat, 06 Jul 2024 18:51:02 +0000
Resent-Message-ID: <handler.71925.B71925.17202918473411 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: soeren@HIDDEN, 71925 <at> debbugs.gnu.org
Cc: julien@HIDDEN
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.17202918473411
(code B ref 71925); Sat, 06 Jul 2024 18:51:02 +0000
Received: (at 71925) by debbugs.gnu.org; 6 Jul 2024 18:50:47 +0000
Received: from localhost ([127.0.0.1]:46738 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQAUh-0000sv-0y
for submit <at> debbugs.gnu.org; Sat, 06 Jul 2024 14:50:47 -0400
Received: from mail-wm1-f67.google.com ([209.85.128.67]:53370)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <liliana.prikler@HIDDEN>) id 1sQAUe-0000sn-QK
for 71925 <at> debbugs.gnu.org; Sat, 06 Jul 2024 14:50:46 -0400
Received: by mail-wm1-f67.google.com with SMTP id
5b1f17b1804b1-4257d5fc9b7so22490675e9.2
for <71925 <at> debbugs.gnu.org>; Sat, 06 Jul 2024 11:50:40 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1720291780; x=1720896580; darn=debbugs.gnu.org;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject
:date:message-id:reply-to;
bh=G5OVHiriCCM9nJEGXqgzziZ5MO+mXSDtrtEVg5lpfuQ=;
b=H6qGKRGXmDbvAbVteymou4yNLbs35F6Tkd6sRUdcqUjjsj/Al0DZ0VuQ8aUYaZrJZR
BkQZHCxXNKM7xeOGTHlhhHWRlT1A3faXXNK8F2EAmblW4nVUKjqwFSLusGXIdZkVVvyg
CxhzvUCYK6G0BFAwmZSb+MCJqlW8CVwdzVYEZNOh2G3ehA1XlDiJdcAKrIuPXmUF7er8
lT7q95VI9Uz4Wf8avOO7gUShKhR1tKDmjl0WfGUYHzBIGwYTn1N2Mm8euOPD/SdDgNZ8
FhmAij4drENq4k2OGDsH32IIHSr7nMc2lBdKC8KwLEKBJEp5ml5YsSC5fFUVbdvCUhHb
jaWg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1720291780; x=1720896580;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state
:from:to:cc:subject:date:message-id:reply-to;
bh=G5OVHiriCCM9nJEGXqgzziZ5MO+mXSDtrtEVg5lpfuQ=;
b=LGlV9QZlewVqdAz2FBwrvfraVz8q9iPdVG/lbKb8uUzyj5KuJdwEBwp5LCgtd/qhaz
qqh6Q324OFTuxI3yIUPL55UYTI7mBHmvyTgf1j/FeZ5Pa2xaLLaIi3pxjkC+Osj7XzkZ
/A7JYyiwmMjLCfAOiYrsKFFtdljxjrJ1AR9UAViH1Eg+6aHy1Wpdf0vV2lXq37J8kLT3
OPI4ICzeTM3Xr1dLanopg6EbOS6EdIVshGn/Y+Xet/Q+501h0uX5e12iYBCu8pyH1b+B
2A9l7/2jcW0bnPgnMEc+0GvmWhWwxL4zUlqhW/5PlF3IpsePAPtymtzGnEIXr0V1UFEf
XPjw==
X-Forwarded-Encrypted: i=1;
AJvYcCXCc+8homcXf/l+QvIugNi2IO32+q6tCLTYG/XtgrNQZTc+zkLC/z1+4jiYfICs6JKng1pRtuXgsPUhh5Vgl+lrm4WswqU=
X-Gm-Message-State: AOJu0YycvHjHJLScFEbqTqQvLloHi1vbttC5FLUeJJKOa5j9gU25/tSp
o2uIcK3qo+Zap2HMj2c80N2HB9LomgHDaADWwGGQ6rDmF/ES6X1M
X-Google-Smtp-Source: AGHT+IHHOAcFckp2ChroEg+0dzGmseKfLj8o4nwE/T+wyVM7Z2nicgocKlbtYocVcw1LehQjPHlB5g==
X-Received: by 2002:a05:600c:4b0a:b0:426:55a3:71b5 with SMTP id
5b1f17b1804b1-42655a37209mr35433065e9.9.1720291779570;
Sat, 06 Jul 2024 11:49:39 -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
ffacd0b85a97d-3675a103d00sm23993244f8f.99.2024.07.06.11.49.38
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Sat, 06 Jul 2024 11:49:38 -0700 (PDT)
Message-ID: <beaba06e67a41d85922028cb56dbffb85f4e87e1.camel@HIDDEN>
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Date: Sat, 06 Jul 2024 20:49:37 +0200
In-Reply-To: <50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
<50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: base64
User-Agent: Evolution 3.48.4
MIME-Version: 1.0
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
QW0gTWl0dHdvY2gsIGRlbSAwMy4wNy4yMDI0IHVtIDIxOjA5ICswMjAwIHNjaHJpZWIKc29lcmVu
QHNvZXJlbi10ZW1wZWwubmV0Ogo+IEZyb206IFPDtnJlbiBUZW1wZWwgPHNvZXJlbkBzb2VyZW4t
dGVtcGVsLm5ldD4KPiAKPiAqIGdudS9wYWNrYWdlcy9jaGVjay5zY20gKGtsZWUpOiBVc2Uga2xl
ZS11Y2xpYmMuCj4gLS0tCj4gwqBnbnUvcGFja2FnZXMvY2hlY2suc2NtIHwgMTcgKysrKysrKysr
KysrKysrLS0KPiDCoDEgZmlsZSBjaGFuZ2VkLCAxNSBpbnNlcnRpb25zKCspLCAyIGRlbGV0aW9u
cygtKQo+IAo+IGRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvY2hlY2suc2NtIGIvZ251L3BhY2th
Z2VzL2NoZWNrLnNjbQo+IGluZGV4IDM1ZTI2YmE2ZGEuLmFkNTg5ZjZlMTUgMTAwNjQ0Cj4gLS0t
IGEvZ251L3BhY2thZ2VzL2NoZWNrLnNjbQo+ICsrKyBiL2dudS9wYWNrYWdlcy9jaGVjay5zY20K
PiBAQCAtMTA2MiwxMyArMTA2MiwyNiBAQCAoZGVmaW5lLXB1YmxpYyBrbGVlCj4gwqDCoMKgwqDC
oMKgIChiYXNlMzIKPiAiMW5tYTZkcWk4Y2hqYjk3bGxzYThtenlza2dzZzRkeDU2bG04ajUxNGo1
d21yOHZrYWZ6NiIpKSkpCj4gwqDCoMKgIChhcmd1bWVudHMKPiDCoMKgwqDCoCAobGlzdAo+ICvC
oMKgwqDCoCAjOnBoYXNlcwo+ICvCoMKgwqDCoCAjfihtb2RpZnktcGhhc2VzICVzdGFuZGFyZC1w
aGFzZXMKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChhZGQt
YWZ0ZXIgJ2luc3RhbGwgJ3dyYXAtaG9va3MKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoCAobGFtYmRhKiAoIzprZXkgaW5wdXRzIG91dHB1dHMgIzphbGxv
dy0KPiBvdGhlci1rZXlzKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAobGV0KiAoKG91dCAoYXNzb2MtcmVmIG91dHB1dHMgIm91dCIpKQo+ICvC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgIChiaW4gKHN0cmluZy1hcHBlbmQgb3V0ICIvYmluIikpCj4gK8KgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGxpYiAo
c3RyaW5nLWFwcGVuZCBvdXQgIi9saWIiKSkpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCA7OyBFbnN1cmUgdGhhdCBLTEVFIGZpbmRzIHJ1
bnRpbWUKPiBsaWJyYXJpZXMgKGUuZy4gdWNsaWJjKS4KPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICh3cmFwLXByb2dyYW0gKHN0cmluZy1h
cHBlbmQgYmluCj4gIi9rbGVlIikKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBgKCJLTEVFX1JVTlRJTUVfTElCUkFSWV9QQVRIIiAi
OiIgPQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAoLChzdHJpbmctYXBwZW5kIGxpYgo+ICIva2xlZS9ydW50aW1lLyIpKSkp
KSkpKQpUaGUgbGVhZGluZyBjb2xvbiBpcyBwb2ludGxlc3MgaGVyZSwgc2luY2UgeW91J3JlIGRv
aW5nIGFuICI9IiBhc3NpZ24uCk1vcmUgaW1wb3J0YW50bHksIGNhbiB3ZSBtYWtlIHRoaXMgYSBz
ZWFyY2ggcGF0aD8KPiDCoMKgwqDCoMKgICM6Y29uZmlndXJlLWZsYWdzCj4gwqDCoMKgwqDCoCAj
fihsaXN0IChzdHJpbmctYXBwZW5kICItRExMVk1DQz0iCj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHNlYXJjaC1pbnB1dC1maWxlICVi
dWlsZC1pbnB1dHMKPiAiL2Jpbi9jbGFuZyIpKQo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
IChzdHJpbmctYXBwZW5kICItRExMVk1DWFg9Igo+IC3CoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHNlYXJjaC1pbnB1dC1maWxlICVidWlsZC1p
bnB1dHMKPiAiL2Jpbi9jbGFuZysrIikpKSkpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc2VhcmNoLWlucHV0LWZpbGUgJWJ1aWxkLWlu
cHV0cwo+ICIvYmluL2NsYW5nKysiKSkKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICItREVO
QUJMRV9QT1NJWF9SVU5USU1FPU9OIgo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN0cmlu
Zy1hcHBlbmQgIi1ES0xFRV9VQ0xJQkNfUEFUSD0iICMka2xlZS11Y2xpYmMpKSkpCkNhbiB3ZSB1
c2Ugc2VhcmNoLWlucHV0LWZpbGUgZm9yIHRoaXMgYW5kIGRpcm5hbWUgb3VyIHdheSB1cD8KPiDC
oMKgwqAgKG5hdGl2ZS1pbnB1dHMgKGxpc3QgY2xhbmctMTMgbGx2bS0xMyBweXRob24tbGl0KSkK
PiAtwqDCoCAoaW5wdXRzIChsaXN0IGdwZXJmdG9vbHMgc3FsaXRlIHozKSkKPiArwqDCoCAoaW5w
dXRzIChsaXN0IGJhc2gtbWluaW1hbCBncGVyZnRvb2xzIHNxbGl0ZSB6MykpCj4gwqDCoMKgIChi
dWlsZC1zeXN0ZW0gY21ha2UtYnVpbGQtc3lzdGVtKQo+IMKgwqDCoCAoaG9tZS1wYWdlICJodHRw
czovL2tsZWUtc2Uub3JnLyIpCj4gwqDCoMKgIChzeW5vcHNpcyAiU3ltYm9saWMgZXhlY3V0aW9u
IGVuZ2luZSIpCgpDaGVlcnMK
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 1/2] gnu: Add klee-uclibc.
Resent-From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sat, 06 Jul 2024 18:52:02 +0000
Resent-Message-ID: <handler.71925.B71925.17202918883489 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: soeren@HIDDEN, 71925 <at> debbugs.gnu.org
Cc: julien@HIDDEN
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.17202918883489
(code B ref 71925); Sat, 06 Jul 2024 18:52:02 +0000
Received: (at 71925) by debbugs.gnu.org; 6 Jul 2024 18:51:28 +0000
Received: from localhost ([127.0.0.1]:46742 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQAVL-0000uD-Fp
for submit <at> debbugs.gnu.org; Sat, 06 Jul 2024 14:51:27 -0400
Received: from mail-wr1-f68.google.com ([209.85.221.68]:52339)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <liliana.prikler@HIDDEN>) id 1sQAVJ-0000u3-6p
for 71925 <at> debbugs.gnu.org; Sat, 06 Jul 2024 14:51:25 -0400
Received: by mail-wr1-f68.google.com with SMTP id
ffacd0b85a97d-36799a67d9cso2208980f8f.0
for <71925 <at> debbugs.gnu.org>; Sat, 06 Jul 2024 11:51:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1720291821; x=1720896621; darn=debbugs.gnu.org;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject
:date:message-id:reply-to;
bh=XUV9J//F/kJ3TUdrGblqtnJsev8r4i9uJl8/JHDpPeE=;
b=UKEFHGltr5fHMzNweGX3a5CgUzD/3xKiZy2eKtvbEuqvaTK48eJzBZgHzN4IDShrHy
eNpIfaMA82ftVVMKm/3EoTiKXX47J/cyxiWFTXvUp3WaHneko3g0EuDogTAmhvd/6uox
Ws34UQA/IYb5gwaVTuaCKP5oTBxluGKOMoc48DnF2yE7Dm7clc0SpnQUJDL8tt7+HhFE
RNwz8dqrw2t06EKsWJtdvPBiDvTFg3XW/zQZViDfzShRHZ00aHNNcm6WjTcRmwFXN4W3
SUOw0lhCciHGGpU09aoU0IC3WnTHqQvZwsIK4Z3Bxq+PdbvlCzqEiaI/W+oQ4Hrx68He
3gwg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1720291821; x=1720896621;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state
:from:to:cc:subject:date:message-id:reply-to;
bh=XUV9J//F/kJ3TUdrGblqtnJsev8r4i9uJl8/JHDpPeE=;
b=rix+b+4mzGb3ggv4PLKTykI/lsvfMKwLobw7kKhQBPZBPalRV2auwsqysQPHlEOQk/
HHc5eb3WLKn7Nofu3CYQMpdgY9LDQHqgxbwGVyMZOqFI696lzLgAmJ6C7jSsl7MymbjK
yzaBjpvJi30Q4CiVIo3qmziAk1L74nHtVvOl1XCeO6TfNfBdmzmCXr9LPLXn8IKcyeQe
/MAirFUqYeoTsLk4c+G7DR9dhpeJd5y1JiqYoQ7uqu9hn10CsMc51i4LRmbohlFHeAmv
xk50GkETxc3TOzhPG7Rrll3QfUjyB5kHkQJrvbMOWrAWCJ0zr4DcfwkX2pHrR1ZV1WeO
nZ1g==
X-Forwarded-Encrypted: i=1;
AJvYcCW4lzTFMIeCBvRgnZBZp7CbKqiIhdenCcmqhpiJy96vLKqtHO3IYdORBOhVGab37R3BGQgqiQu/iGqcFOP2GyjHfBhWL18=
X-Gm-Message-State: AOJu0YznN7PRVPpDh7oGOugkXsW+CD85vMU5yB+gGotmqQJpvwnhDOQj
zaxR4oowL5Ssx7lbFBCrHCfR6pVx8KV1LiUT9UfX7ZR3/sFXMPlu
X-Google-Smtp-Source: AGHT+IFOehAO7/4nC40Jab/4MIoLGMuLQVAFgw/n5UF1X9RBvUyWCWAIyhPhUAmYz5/vzH/i2gMuuQ==
X-Received: by 2002:adf:f744:0:b0:367:94b8:1dfd with SMTP id
ffacd0b85a97d-3679dd65886mr6687739f8f.46.1720291820357;
Sat, 06 Jul 2024 11:50:20 -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
ffacd0b85a97d-36794954c97sm9491999f8f.32.2024.07.06.11.50.19
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Sat, 06 Jul 2024 11:50:19 -0700 (PDT)
Message-ID: <ddaeaed1aaf85915778faf0f63060af899f114f9.camel@HIDDEN>
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Date: Sat, 06 Jul 2024 20:50:18 +0200
In-Reply-To: <05cf10c887315b7b2ee2a4ee5d43a6baea969d6c.1720033365.git.soeren@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
<05cf10c887315b7b2ee2a4ee5d43a6baea969d6c.1720033365.git.soeren@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: base64
User-Agent: Evolution 3.48.4
MIME-Version: 1.0
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
QW0gTWl0dHdvY2gsIGRlbSAwMy4wNy4yMDI0IHVtIDIxOjA5ICswMjAwIHNjaHJpZWIKc29lcmVu
QHNvZXJlbi10ZW1wZWwubmV0Ogo+IEZyb206IFPDtnJlbiBUZW1wZWwgPHNvZXJlbkBzb2VyZW4t
dGVtcGVsLm5ldD4KPiAKPiAqIGdudS9wYWNrYWdlcy9jaGVjay5zY20gKGtsZWUtdWNsaWJjKTog
TmV3IHZhcmlhYmxlLgo+IC0tLQo+IMKgZ251L3BhY2thZ2VzL2NoZWNrLnNjbSB8IDU4Cj4gKysr
KysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrCj4gwqAxIGZpbGUgY2hhbmdl
ZCwgNTggaW5zZXJ0aW9ucygrKQo+IAo+IGRpZmYgLS1naXQgYS9nbnUvcGFja2FnZXMvY2hlY2su
c2NtIGIvZ251L3BhY2thZ2VzL2NoZWNrLnNjbQo+IGluZGV4IDU1MGE1ZDBmMWQuLjM1ZTI2YmE2
ZGEgMTAwNjQ0Cj4gLS0tIGEvZ251L3BhY2thZ2VzL2NoZWNrLnNjbQo+ICsrKyBiL2dudS9wYWNr
YWdlcy9jaGVjay5zY20KPiBAQCAtODcsNiArODcsNyBAQCAoZGVmaW5lLW1vZHVsZSAoZ251IHBh
Y2thZ2VzIGNoZWNrKQo+IMKgwqAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2FnZXMgZ3VpbGUpCj4g
wqDCoCAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBndWlsZS14eXopCj4gwqDCoCAjOnVzZS1t
b2R1bGUgKGdudSBwYWNrYWdlcyBtYXRocykKPiArwqAgIzp1c2UtbW9kdWxlIChnbnUgcGFja2Fn
ZXMgbmN1cnNlcykKPiDCoMKgICM6dXNlLW1vZHVsZSAoZ251IHBhY2thZ2VzIHBlcmwpCj4gwqDC
oCAjOnVzZS1tb2R1bGUgKGdudSBwYWNrYWdlcyBwa2ctY29uZmlnKQo+IMKgwqAgIzp1c2UtbW9k
dWxlIChnbnUgcGFja2FnZXMgcHl0aG9uKQo+IEBAIC05ODksNiArOTkwLDYzIEBAIChkZWZpbmUt
cHVibGljIGdyZWF0ZXN0Cj4gwqBydW5uZXIuwqAgSXQgaXMgcXVpdGUgdW5vcGluaW9uYXRlZCB3
aXRoIG1vc3Qgb2YgaXRzIGZlYXR1cmVzIGJlaW5nCj4gb3B0aW9uYWwuIikKPiDCoMKgwqAgKGxp
Y2Vuc2UgbGljZW5zZTppc2MpKSkKPiDCoAo+ICsoZGVmaW5lLXB1YmxpYyBrbGVlLXVjbGliYwo+
ICvCoCAobGV0ICgoY29tbWl0ICI5NTVkNTAyY2MxZjA2ODhlODIzNDgzMDRiMDUzYWQ3ODcwNTZj
NzU0IikpCj4gK8KgwqDCoCAocGFja2FnZQo+ICvCoMKgwqDCoMKgIChuYW1lICJrbGVlLXVjbGli
YyIpCj4gK8KgwqDCoMKgwqAgKHZlcnNpb24gKGdpdC12ZXJzaW9uICIyMDIzMDYxMiIgIjAiIGNv
bW1pdCkpCj4gK8KgwqDCoMKgwqAgKHNvdXJjZQo+ICvCoMKgwqDCoMKgwqAgKG9yaWdpbgo+ICvC
oMKgwqDCoMKgwqDCoMKgIChtZXRob2QgZ2l0LWZldGNoKQo+ICvCoMKgwqDCoMKgwqDCoMKgICh1
cmkgKGdpdC1yZWZlcmVuY2UKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAodXJsICJo
dHRwczovL2dpdGh1Yi5jb20va2xlZS9rbGVlLXVjbGliYyIpCj4gK8KgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqAgKGNvbW1pdCBjb21taXQpKSkKPiArwqDCoMKgwqDCoMKgwqDCoCAoZmlsZS1u
YW1lIChnaXQtZmlsZS1uYW1lIG5hbWUgdmVyc2lvbikpCj4gK8KgwqDCoMKgwqDCoMKgwqAgKHNo
YTI1Ngo+ICvCoMKgwqDCoMKgwqDCoMKgwqAgKGJhc2UzMgo+ICIxMmZucjVtcTgwY3h3dnYwOWdp
ODQ0bWkzMWpnaTgwNjdzd2FneG5seGxoeGo0bWkxMjVqIikpKSkKPiArwqDCoMKgwqDCoCAoYnVp
bGQtc3lzdGVtIGdudS1idWlsZC1zeXN0ZW0pCj4gK8KgwqDCoMKgwqAgKGFyZ3VtZW50cwo+ICvC
oMKgwqDCoMKgwqAgYCgjOnRlc3RzPyAjZiA7dXBzdHJlYW0gdUNsaWJjIHRlc3RzIGRvIG5vdCB3
b3JrIGluIHRoZSBmb3JrCj4gK8KgwqDCoMKgwqDCoMKgwqAgIzpzdHJpcC1kaXJlY3RvcmllcyAn
KCkgO29ubHkgc2hpcHMgYSBzdGF0aWMgbGlicmFyeSwgc28KPiBkb24ndCBzdHJpcCBhbnl0aGlu
Zy4KPiArwqDCoMKgwqDCoMKgwqDCoCAjOnBoYXNlcyAobW9kaWZ5LXBoYXNlcyAlc3RhbmRhcmQt
cGhhc2VzCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDs7IERpc2Fi
bGUgbG9jYWxlcyBhcyB0aGVzZSB3b3VsZCBoYXZlIHRvIGJlCj4gZG93bmxvYWRlZCBhbmQKPiAr
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgOzsgc2hvdWxkbid0IHJlYWxs
eSBiZSBuZWVkZWQgZm9yIHN5bWJvbGljCj4gZXhlY3V0aW9uIGVpdGhlci4KPiArwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGFkZC1hZnRlciAndW5wYWNrICdwYXRjaC1j
b25maWcKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChsYW1i
ZGEgXwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChz
dWJzdGl0dXRlKiAia2xlZS1wcmVtYWRlLQo+IGNvbmZpZ3MveDg2XzY0L2NvbmZpZyIKPiArwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAKPiAoKCJVQ0xJ
QkNfRE9XTkxPQURfUFJFR0VORVJBVEVEX0xPQ0FMRV9EQVRBPXkiKQo+ICvCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgCj4gIlVDTElCQ19ET1dOTE9B
RF9QUkVHRU5FUkFURURfTE9DQUxFX0RBVEE9biIpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICgoIlVDTElCQ19QUkVHRU5FUkFURURfTE9DQUxF
X0RBVEE9eSIpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqAgIlVDTElCQ19QUkVHRU5FUkFURURfTE9DQUxFX0RBVEE9biIpCj4gK8KgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICgoIlVDTElCQ19IQVNf
TE9DQUxFPXkiKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgICJVQ0xJQkNfSEFTX0xPQ0FMRT1uIikKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKCgiVUNMSUJDX0hBU19YTE9DQUxFPXkiKQo+
ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICJV
Q0xJQkNfSEFTX1hMT0NBTEU9biIpKSkpCj4gKwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCA7OyBVcHN0cmVhbSB1c2VzIGEgY3VzdG9tIG5vbi1HTlUgY29uZmlndXJl
Cj4gc2NyaXB0IHdyaXR0ZW4KPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqAgOzsgaW4gUHl0aG9uLCByZXBsYWNlIHRoZSBkZWZhdWx0IGNvbmZpZ3VyZQo+IHBoYXNlIGFj
Y29yZGluZ2x5Lgo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAocmVw
bGFjZSAnY29uZmlndXJlCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoCAobGFtYmRhIF8KPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoCAoaW52b2tlICIuL2NvbmZpZ3VyZSIgIi0tbWFrZS1sbHZtLWxpYiIKPiArwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg
Ii0tZW5hYmxlLXJlbGVhc2UiKSkpCj4gKwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoCA7OyBDdXN0b20gaW5zdGFsbCBwaGFzZSB0byBvbmx5IGluc3RhbGwgdGhlCj4g
bGliYy5hIGZpbGUgbWFudWFsbHkuCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgIDs7IFRoaXMgaXMgdGhlIG9ubHkgZmlsZSB3aGljaCBpcyB1c2VkL25lZWRlZCBieQo+
IEtMRUUgaXRzZWxmLgo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAo
cmVwbGFjZSAnaW5zdGFsbAo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqAgKGxhbWJkYSogKCM6a2V5IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQo+ICvCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChpbnN0YWxsLWZpbGUg
ImxpYi9saWJjLmEiCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChzdHJpbmctYXBwZW5kIChhc3NvYy1y
ZWYKPiBvdXRwdXRzICJvdXQiKQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAiL2xpYiIpKSkpKSkpCj4gK8KgwqDCoMKgwqAgOzsgbmN1cnNlcyBpcyBv
bmx5IG5lZWRlZCBmb3IgdGhlIGBtYWtlIG1lbnVjb25maWdgIGludGVyZmFjZS4KPiArwqDCoMKg
wqDCoCAobmF0aXZlLWlucHV0cyAobGlzdCBjbGFuZy0xMyBsbHZtLTEzIHB5dGhvbiBuY3Vyc2Vz
KSkKPiArwqDCoMKgwqDCoCAoc3lub3BzaXMgIlZhcmlhbnQgb2YgdUNsaWJjIHRhaWxvcmVkIHRv
IHN5bWJvbGljIGV4ZWN1dGlvbiIpCj4gK8KgwqDCoMKgwqAgKGRlc2NyaXB0aW9uCj4gK8KgwqDC
oMKgwqDCoCAiTW9kaWZpZWQgdmVyc2lvbiBvZiB1Q2xpYmMgZm9yIHN5bWJvbGljIGV4ZWN1dGlv
biBvZgo+ICtVbml4IHVzZXJsYW5kIHNvZnR3YXJlLsKgIFRoaXMgbGlicmFyeSBjYW4gb25seSBi
ZSB1c2VkIGluCj4gY29uanVuY3Rpb24KPiArd2l0aCB0aGUgQGNvZGV7a2xlZX0gcGFja2FnZS4i
KQo+ICvCoMKgwqDCoMKgIChob21lLXBhZ2UgImh0dHBzOi8va2xlZS1zZS5vcmcvIikKPiArwqDC
oMKgwqDCoCAobGljZW5zZSBsaWNlbnNlOmxncGwyLjEpKSkpCklzIHRoaXMgb25seSBkaXN0cmli
dXRlZCBhcyBhbiAuYSBmaWxlIG9yIGNvdWxkIHdlIG1ha2UgYSAuc28gb3V0IG9mCml0Pwo=
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 07 Jul 2024 11:26:02 +0000
Resent-Message-ID: <handler.71925.B71925.17203515075173 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.17203515075173
(code B ref 71925); Sun, 07 Jul 2024 11:26:02 +0000
Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 11:25:07 +0000
Received: from localhost ([127.0.0.1]:47502 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQQ0x-0001LM-65
for submit <at> debbugs.gnu.org; Sun, 07 Jul 2024 07:25:07 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:47170)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>) id 1sQQ0u-0001L7-Pm
for 71925 <at> debbugs.gnu.org; Sun, 07 Jul 2024 07:25:05 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=keHw6jyJ
R6kxQyaufT6UxLavswzsW4nsjwse1bCtwUY=;
h=in-reply-to:references:from:
subject:cc:to:date; d=soeren-tempel.net; b=iZJ+cULXW4lGvzbqMkLVRftU/2N
iHrtZ7E3LuptDA7LRtq4zE3pPTY9eW/o64CW50+zyCzV3ocx5OVdTPMiSuA7GpGK0mc285
Dn990Vn0BkwRFJgK0cnwgxVwBZqRXU0fWnk+fu11ube8KjZ7BALp1QWrH+tLG82j2FHHqk
NvL0=
Received: from localhost
(dynamic-2a02-3102-49da-001b-8090-663c-294a-426c.310.pool.telefonica.de
[2a02:3102:49da:1b:8090:663c:294a:426c])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 71de436a
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 7 Jul 2024 13:24:57 +0200 (CEST)
Date: Sun, 07 Jul 2024 13:24:53 +0200
From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
<50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
<beaba06e67a41d85922028cb56dbffb85f4e87e1.camel@HIDDEN>
In-Reply-To: <beaba06e67a41d85922028cb56dbffb85f4e87e1.camel@HIDDEN>
Message-Id: <2XB2CJ5QYV5K9.2OYVJ6R77DM9T@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Hi Liliana,
Thanks a lot for the quick feedback, responses below.
Liliana Marie Prikler <liliana.prikler@HIDDEN> wrote:
> The leading colon is pointless here, since you're doing an "=3D" assign.
Good catch! I can fix this in a patch revision.
> More importantly, can we make this a search path?
I don't think so as it's not a colon separated search path, it can only
point to a single directory; hence, I assumed that wrap-program is more
appropriate here.
> Can we use search-input-file for this and dirname our way up?
The input file that we are looking for here is called libc.a, I am not
sure what the benefit of using search-input-file is, but I personally
think something along the lines of `(dirname (search-input-file
%build-inputs "/lib/libc.a"))` is less readable then `#$klee-uclibc` but
I can definitely change this if you want me to :)
> Is this only distributed as an .a file or could we make a .so out of
> it?
This is only distributed as a .a, not as a shared object. In fact, KLEE
also doesn't not link against this library at all and instead converts
it to an LLVM .bca file (shipped in /lib/klee/runtime/klee-uclibc.bca)
during build. This file is then used directly by KLEE's symbolic LLVM
interpreter to execute code utilizing libc functions. Hence, klee-uclibc
is also not a propagated input for the klee package.
Let me know if I should send a revision, would love to get this merged.
Greetings
S=C3=B6ren
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 07 Jul 2024 12:53:01 +0000
Resent-Message-ID: <handler.71925.B71925.172035673124448 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.172035673124448
(code B ref 71925); Sun, 07 Jul 2024 12:53:01 +0000
Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 12:52:11 +0000
Received: from localhost ([127.0.0.1]:47557 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQRNC-0006MF-RG
for submit <at> debbugs.gnu.org; Sun, 07 Jul 2024 08:52:11 -0400
Received: from mail-lf1-f68.google.com ([209.85.167.68]:47439)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <liliana.prikler@HIDDEN>) id 1sQRNB-0006M7-6X
for 71925 <at> debbugs.gnu.org; Sun, 07 Jul 2024 08:52:09 -0400
Received: by mail-lf1-f68.google.com with SMTP id
2adb3069b0e04-52ea3e499b1so2685234e87.3
for <71925 <at> debbugs.gnu.org>; Sun, 07 Jul 2024 05:52:04 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1720356664; x=1720961464; darn=debbugs.gnu.org;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject
:date:message-id:reply-to;
bh=6HMlmyl7PyVw7Kfx1XFUsepGESNQ/DM00VnLk7mP3Kk=;
b=npoaQ1DQ4nZi/4Jujg7O0j+6CHedAxYhVEUzJFxZbY8EOODVFgYj8lSjOjT6XPi1nA
Qi0XCA+IIrrWAg4rLOp5XM76UDgPYpvDVH15dIkZVLe3QCHBCGn/U3j88Fb/V57ErnDa
ho6B6ffpGwgIbfdoPNg+2muX5WNbU4+ugW+x5q/49kjFpxjC1CYMj6LvWzRraRLSyBy8
GeS19nSNOYXYIFNYx+EcPol9fNZqFi76ezqvAW2LjqR3ap6nS1PU6DpgHBcnjjQAcuuG
lLqFMRNRoHrjaT9j8tZewtJ3YxDN4Oc/a8mDJQjJNGLfgmZfCp6rvhA4KShu+zHdkag9
k24Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1720356664; x=1720961464;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state
:from:to:cc:subject:date:message-id:reply-to;
bh=6HMlmyl7PyVw7Kfx1XFUsepGESNQ/DM00VnLk7mP3Kk=;
b=hnmhQdfPojhOjJ+9HfdcE7YArTklSzVj5294rAOWoovJUlP9sG5WGwMbSejik2X9v4
1KsF1FgDl3hr1ghyMD575kYnEfri+Q96P9c4r19lDkwTq3ad+IGdm2GS6xBa6mp4rNOv
hf1c/kBoFK1oQJ2Ng6ykrZw1r6mun5QD9Zni6IO10wHsxIIGgk08xADAkslVeuGK99ot
yc08OjeOmZpLs3ZrPGoG/UjFdXs3wjghb9K+pQGiJTtzK91oh4TTaLeHYOs3JAP0jGz8
moJqHi8RyQxPE52bEyWSuyDNjpJgoDl8osRYqzucdXlhSkeB5t6c/TC+NyaM+qgNQwDo
NLRg==
X-Gm-Message-State: AOJu0YyugGCencuTqo+sddmF3mimwT7icNoeCdP9Z6U/tWE6RbBLw47b
RMDkEKpvSRsKDZUm7lvr3ZSS5jpuiTOt0cZvrYVze2/spYP1CLbCHjaqyAiH
X-Google-Smtp-Source: AGHT+IEr0OM6CpZ9g4WQpxhjJSB11gIyUZ8EZl0JgCnoP0XBv+jeZPttrkNw+ZOg95wBD/yWo3d98A==
X-Received: by 2002:a19:6a14:0:b0:52c:d9f8:b033 with SMTP id
2adb3069b0e04-52ea061f85fmr5655875e87.3.1720356663539;
Sun, 07 Jul 2024 05:51:03 -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
a640c23a62f3a-a77df7949fasm154081866b.32.2024.07.07.05.51.02
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Sun, 07 Jul 2024 05:51:02 -0700 (PDT)
Message-ID: <03ef8e192f61f68529f3ce252f8564e4d16adf22.camel@HIDDEN>
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Date: Sun, 07 Jul 2024 14:51:02 +0200
In-Reply-To: <2XB2CJ5QYV5K9.2OYVJ6R77DM9T@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
<50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
<beaba06e67a41d85922028cb56dbffb85f4e87e1.camel@HIDDEN>
<2XB2CJ5QYV5K9.2OYVJ6R77DM9T@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
User-Agent: Evolution 3.48.4
MIME-Version: 1.0
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Am Sonntag, dem 07.07.2024 um 13:24 +0200 schrieb S=C3=B6ren Tempel:
> Hi Liliana,
>=20
> Thanks a lot for the quick feedback, responses below.
>=20
> Liliana Marie Prikler <liliana.prikler@HIDDEN> wrote:
> > The leading colon is pointless here, since you're doing an "=3D"
> > assign.
>=20
> Good catch! I can fix this in a patch revision.
>=20
> > More importantly, can we make this a search path?
>=20
> I don't think so as it's not a colon separated search path, it can
> only point to a single directory; hence, I assumed that wrap-program
> is more appropriate here.
Fair enough.
> > Can we use search-input-file for this and dirname our way up?
>=20
> The input file that we are looking for here is called libc.a, I am
> not
> sure what the benefit of using search-input-file is, but I personally
> think something along the lines of `(dirname (search-input-file
> %build-inputs "/lib/libc.a"))` is less readable then `#$klee-uclibc`
> but I can definitely change this if you want me to :)
>=20
> > Is this only distributed as an .a file or could we make a .so out
> > of it?
>=20
> This is only distributed as a .a, not as a shared object. In fact,
> KLEE also doesn't not link against this library at all and instead
> converts it to an LLVM .bca file (shipped in
> /lib/klee/runtime/klee-uclibc.bca)
> during build. This file is then used directly by KLEE's symbolic LLVM
> interpreter to execute code utilizing libc functions. Hence, klee-
> uclibc is also not a propagated input for the klee package.
>=20
> Let me know if I should send a revision, would love to get this
> merged.
Can we make it so that it uses the file directly instead of inferring
the name? Then we could install klee-uclibc to, say
"/lib/klee/uclibc.a" and reference it in this build by said file name.
Cheers
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 07 Jul 2024 16:51:02 +0000
Resent-Message-ID: <handler.71925.B71925.172037104217972 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.172037104217972
(code B ref 71925); Sun, 07 Jul 2024 16:51:02 +0000
Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 16:50:42 +0000
Received: from localhost ([127.0.0.1]:49042 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQV62-0004fo-Dm
for submit <at> debbugs.gnu.org; Sun, 07 Jul 2024 12:50:42 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:19471)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>) id 1sQV60-0004ff-D7
for 71925 <at> debbugs.gnu.org; Sun, 07 Jul 2024 12:50:41 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=PI7H+JUJ
raEymYKrseTc5etyktdaeys8MiDNqUUmpdM=;
h=in-reply-to:references:from:
subject:cc:to:date; d=soeren-tempel.net; b=SsSMI4Cn/IzFNNzHK5Ki5zsReSL
Us3DJoBnacDt+sZONEryMDGWs2zL8Qrp0+putYdl7A54rkswokmPk8C9KyVSRl2So3Zc1+
REjtpKSDgPATicwlNYVBcDLAQ4UWI1QOyDQjcwrLQeFa5bmI9usiah1l0Xo5rRotQcWCPU
QvNA=
Received: from localhost
(dynamic-2a02-3102-49da-001b-8090-663c-294a-426c.310.pool.telefonica.de
[2a02:3102:49da:1b:8090:663c:294a:426c])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id da1dd61d
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 7 Jul 2024 18:50:32 +0200 (CEST)
Date: Sun, 07 Jul 2024 18:50:30 +0200
From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
<50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
<beaba06e67a41d85922028cb56dbffb85f4e87e1.camel@HIDDEN>
<2XB2CJ5QYV5K9.2OYVJ6R77DM9T@HIDDEN>
<03ef8e192f61f68529f3ce252f8564e4d16adf22.camel@HIDDEN>
In-Reply-To: <03ef8e192f61f68529f3ce252f8564e4d16adf22.camel@HIDDEN>
Message-Id: <2I2XVCBZLFNGD.2I6J74TIZU0U6@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Hello!
Liliana Marie Prikler <liliana.prikler@HIDDEN> wrote:
> Can we make it so that it uses the file directly instead of inferring
> the name? Then we could install klee-uclibc to, say
> "/lib/klee/uclibc.a" and reference it in this build by said file name.
That would require us to patch KLEE's CMakeLists.txt and I am not sure
if that's worth it [1]. I think I would personally prefer using
search-input-file and dirname then. However, I am also still somewhat
new to Guix, could you elaborate what the problem with using
`(string-append "-DKLEE_UCLIBC_PATH=3D" #$klee-uclibc)` is (for the sake
of expanding my understanding of Guix in this regard)?
Greetings,
S=C3=B6ren
[1]: https://github.com/klee/klee/blob/v3.1/CMakeLists.txt#L480-L501
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 07 Jul 2024 16:55:02 +0000
Resent-Message-ID: <handler.71925.B71925.172037128118377 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.172037128118377
(code B ref 71925); Sun, 07 Jul 2024 16:55:02 +0000
Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 16:54:41 +0000
Received: from localhost ([127.0.0.1]:49051 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQV9t-0004mK-Am
for submit <at> debbugs.gnu.org; Sun, 07 Jul 2024 12:54:41 -0400
Received: from mail-ej1-f68.google.com ([209.85.218.68]:45402)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <liliana.prikler@HIDDEN>) id 1sQV9s-0004m8-FX
for 71925 <at> debbugs.gnu.org; Sun, 07 Jul 2024 12:54:40 -0400
Received: by mail-ej1-f68.google.com with SMTP id
a640c23a62f3a-a77cbb5e987so232335766b.3
for <71925 <at> debbugs.gnu.org>; Sun, 07 Jul 2024 09:54:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1720371210; x=1720976010; darn=debbugs.gnu.org;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject
:date:message-id:reply-to;
bh=8ZbvtnC8Z89+5W84Yl+gA4X11P+qSbHwYe2QAFCZUbk=;
b=fKlI1uh/1SXBWlZb6vq7pT2l7fl7olfQHn2/c1dFplwJ1/zC8orn0anh1JlznQ37fi
THKeM/PqxwdaIXFhsn+xKK7Wsa7jgNCDeeQJusVStSc+5vk3m/4G65p9NIxEVei/pk1i
EzUS3/zNMQVRhLxhnWqePUUcVp0LLMPNqqAtdVYIgADjcbJoiLPK7CD9MzS1kcdNgJDN
bqOc6me3QbNSIxhpXM9smOWEn8e8DtyD8UOmFF1LP8HKlA0udJ2TeIfWRsXHbpxcX5tf
OBVbOLlyCUXaULcFuft++eqNE9e2+pOWaeydYzCqeXcvT0asayuj2A8L4TCSd9QZfaxr
aqdg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1720371210; x=1720976010;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state
:from:to:cc:subject:date:message-id:reply-to;
bh=8ZbvtnC8Z89+5W84Yl+gA4X11P+qSbHwYe2QAFCZUbk=;
b=Fo4zRKMCehPd6FaZcJ+sfvbUQjnW4y4sNW2a1BL9a7Sv/3rvgopbmI7darPh0iodvs
kP0UaLOKtoxDHaGx0HUkiF/hwQeA/rrUs52OYk3BXsnw6W+769rHGuWcAD2RM+th7F04
1iYGLZJvteOZuIpXkBW6ylNl/tWqtxZZ1V0S8A0WQAYKPfb+d/mFEBHTuIGPlu21HDFK
7cEEkCIzySujBvLVgYm85I0VBDqqEXG1OYYFTcYYqKKRW0i5sVPCaNPWjuRuHqGL8OcA
Pm+C6y+CyWXNzvkthdoh6R7iEpN89X5N8AaiXQzp3/+jtP/kD61GZtaMQC5ulz4bfmQQ
YgNQ==
X-Gm-Message-State: AOJu0YylHdvgOUw8XadaihjgW2TBUpFYerike/hvJWJKdkH0lYU7TuuA
QwqKT8ODS95nz5Msg7hlQJK14O+b6/XtVRH99BLglnDm8h1BSEl2
X-Google-Smtp-Source: AGHT+IF0/G1ZwRoO7XP23R+52tIO7D36iR15PATUj8lfVeKJZGo5Qj0spH+6224ILIXOq3OPCVgZVA==
X-Received: by 2002:a17:906:2758:b0:a77:d0a0:ea6d with SMTP id
a640c23a62f3a-a77d0a0eb28mr445998066b.24.1720371209708;
Sun, 07 Jul 2024 09:53:29 -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
a640c23a62f3a-a77e50717b9sm141401366b.90.2024.07.07.09.53.29
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Sun, 07 Jul 2024 09:53:29 -0700 (PDT)
Message-ID: <9104732dc4c3cd3ee69efbebdf91f695227ba409.camel@HIDDEN>
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Date: Sun, 07 Jul 2024 18:53:28 +0200
In-Reply-To: <2I2XVCBZLFNGD.2I6J74TIZU0U6@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
<50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
<beaba06e67a41d85922028cb56dbffb85f4e87e1.camel@HIDDEN>
<2XB2CJ5QYV5K9.2OYVJ6R77DM9T@HIDDEN>
<03ef8e192f61f68529f3ce252f8564e4d16adf22.camel@HIDDEN>
<2I2XVCBZLFNGD.2I6J74TIZU0U6@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
User-Agent: Evolution 3.48.4
MIME-Version: 1.0
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Am Sonntag, dem 07.07.2024 um 18:50 +0200 schrieb S=C3=B6ren Tempel:
> Hello!
>=20
> Liliana Marie Prikler <liliana.prikler@HIDDEN> wrote:
> > Can we make it so that it uses the file directly instead of
> > inferring the name?=C2=A0 Then we could install klee-uclibc to, say
> > "/lib/klee/uclibc.a" and reference it in this build by said file
> > name.
>=20
> That would require us to patch KLEE's CMakeLists.txt and I am not
> sure if that's worth it [1]. I think I would personally prefer using
> search-input-file and dirname then. However, I am also still somewhat
> new to Guix, could you elaborate what the problem with using
> `(string-append "-DKLEE_UCLIBC_PATH=3D" #$klee-uclibc)` is (for the
> sake of expanding my understanding of Guix in this regard)?
Well, the question is mainly what people ought to do to swap out klee-
uclibc from their builds =E2=80=93 e.g. if they want to replace it with a n=
ewer
one etc. Inputs are our means of making sure that people have a handle
for this kind of thing.
Cheers
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH v2 1/2] gnu: Add klee-uclibc.
References: <cover.1720033365.git.soeren@HIDDEN>
In-Reply-To: <cover.1720033365.git.soeren@HIDDEN>
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 07 Jul 2024 17:27:02 +0000
Resent-Message-ID: <handler.71925.B71925.172037321621526 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 71925 <at> debbugs.gnu.org
Cc: liliana.prikler@HIDDEN
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.172037321621526
(code B ref 71925); Sun, 07 Jul 2024 17:27:02 +0000
Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 17:26:56 +0000
Received: from localhost ([127.0.0.1]:49085 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQVf6-0005b8-2L
for submit <at> debbugs.gnu.org; Sun, 07 Jul 2024 13:26:56 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:30794)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sQVf0-0005aq-DW; Sun, 07 Jul 2024 13:26:54 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=1WcnA6fF
eRb+Nsb49cv1WapiuB+dPgf2NdJG2XURaKA=; h=date:subject:cc:to:from;
d=soeren-tempel.net; b=Zgb253GfQdxRqedkwzzDKxoJntmxK9tSxeX/Fs62Nwf2iZM
Ho3ZT3cKnrRQ+Czz2gDSTH6JpPlAd1q/eMQYyB1po9mf8Jgsjfp35s+sUBIEA1Wjpeg1Fo
RjClHNT3/ay/3gXk3wGiO6t0HOhJH+nLnJOqRgPCshWH8dJVwDKKK8=
Received: from localhost
(dynamic-2a02-3102-49da-001b-8090-663c-294a-426c.310.pool.telefonica.de
[2a02:3102:49da:1b:8090:663c:294a:426c])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 4d4aa9da
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 7 Jul 2024 19:26:43 +0200 (CEST)
From: soeren@HIDDEN
Date: Sun, 7 Jul 2024 19:26:30 +0200
Message-ID: <05cf10c887315b7b2ee2a4ee5d43a6baea969d6c.1720373191.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
From: Sören Tempel <soeren@HIDDEN>
* gnu/packages/check.scm (klee-uclibc): New variable.
---
gnu/packages/check.scm | 58 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 58 insertions(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 550a5d0f1d..35e26ba6da 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -87,6 +87,7 @@ (define-module (gnu packages check)
#:use-module (gnu packages guile)
#:use-module (gnu packages guile-xyz)
#:use-module (gnu packages maths)
+ #:use-module (gnu packages ncurses)
#:use-module (gnu packages perl)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages python)
@@ -989,6 +990,63 @@ (define-public greatest
runner. It is quite unopinionated with most of its features being optional.")
(license license:isc)))
+(define-public klee-uclibc
+ (let ((commit "955d502cc1f0688e82348304b053ad787056c754"))
+ (package
+ (name "klee-uclibc")
+ (version (git-version "20230612" "0" commit))
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/klee/klee-uclibc")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "12fnr5mq80cxwvv09gi844mi31jgi8067swagxnlxlhxj4mi125j"))))
+ (build-system gnu-build-system)
+ (arguments
+ `(#:tests? #f ;upstream uClibc tests do not work in the fork
+ #:strip-directories '() ;only ships a static library, so don't strip anything.
+ #:phases (modify-phases %standard-phases
+ ;; Disable locales as these would have to be downloaded and
+ ;; shouldn't really be needed for symbolic execution either.
+ (add-after 'unpack 'patch-config
+ (lambda _
+ (substitute* "klee-premade-configs/x86_64/config"
+ (("UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=y")
+ "UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=n")
+ (("UCLIBC_PREGENERATED_LOCALE_DATA=y")
+ "UCLIBC_PREGENERATED_LOCALE_DATA=n")
+ (("UCLIBC_HAS_LOCALE=y")
+ "UCLIBC_HAS_LOCALE=n")
+ (("UCLIBC_HAS_XLOCALE=y")
+ "UCLIBC_HAS_XLOCALE=n"))))
+
+ ;; Upstream uses a custom non-GNU configure script written
+ ;; in Python, replace the default configure phase accordingly.
+ (replace 'configure
+ (lambda _
+ (invoke "./configure" "--make-llvm-lib"
+ "--enable-release")))
+
+ ;; Custom install phase to only install the libc.a file manually.
+ ;; This is the only file which is used/needed by KLEE itself.
+ (replace 'install
+ (lambda* (#:key outputs #:allow-other-keys)
+ (install-file "lib/libc.a"
+ (string-append (assoc-ref outputs "out")
+ "/lib")))))))
+ ;; ncurses is only needed for the `make menuconfig` interface.
+ (native-inputs (list clang-13 llvm-13 python ncurses))
+ (synopsis "Variant of uClibc tailored to symbolic execution")
+ (description
+ "Modified version of uClibc for symbolic execution of
+Unix userland software. This library can only be used in conjunction
+with the @code{klee} package.")
+ (home-page "https://klee-se.org/")
+ (license license:lgpl2.1))))
+
(define-public klee
(package
(name "klee")
base-commit: bab73e413b3421f4aa051e9438d147040a52e1be
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH v2 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: soeren@HIDDEN
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 07 Jul 2024 17:27:02 +0000
Resent-Message-ID: <handler.71925.B71925.172037321821534 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 71925 <at> debbugs.gnu.org
Cc: liliana.prikler@HIDDEN
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.172037321821534
(code B ref 71925); Sun, 07 Jul 2024 17:27:02 +0000
Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 17:26:58 +0000
Received: from localhost ([127.0.0.1]:49087 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQVf7-0005bG-Eq
for submit <at> debbugs.gnu.org; Sun, 07 Jul 2024 13:26:57 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:30794)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sQVf4-0005aq-Ub; Sun, 07 Jul 2024 13:26:55 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=wI+ZMg1o
wem/QW5brXlnzj6vm08RALgCe9c1lBdznLc=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=k5cI4SN8y06VhP8jkufG00vmYYU
R9+XQrC51Hn+zJcJeRqMgvW1gdCioALZSRd8piWNCI3LC99yAk5LHp7qKSqPK9uILcMcbA
B/1zG0LVph7W6YtytMZ47/SjvS2ybWNOGZnu4ZJF/SI2qacXbEKWpryR8SbDe1Ex+Ani1S
/J6g=
Received: from localhost
(dynamic-2a02-3102-49da-001b-8090-663c-294a-426c.310.pool.telefonica.de
[2a02:3102:49da:1b:8090:663c:294a:426c])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 328ed048
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 7 Jul 2024 19:26:46 +0200 (CEST)
From: soeren@HIDDEN
Date: Sun, 7 Jul 2024 19:26:31 +0200
Message-ID: <635839070779883196fec8119d70c273f46fc841.1720373191.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <05cf10c887315b7b2ee2a4ee5d43a6baea969d6c.1720373191.git.soeren@HIDDEN>
References: <05cf10c887315b7b2ee2a4ee5d43a6baea969d6c.1720373191.git.soeren@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
From: Sören Tempel <soeren@HIDDEN>
* gnu/packages/check.scm (klee): Use klee-uclibc.
---
gnu/packages/check.scm | 21 ++++++++++++++++++---
1 file changed, 18 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 35e26ba6da..52941681a9 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1036,7 +1036,7 @@ (define-public klee-uclibc
(lambda* (#:key outputs #:allow-other-keys)
(install-file "lib/libc.a"
(string-append (assoc-ref outputs "out")
- "/lib")))))))
+ "/klee/lib")))))))
;; ncurses is only needed for the `make menuconfig` interface.
(native-inputs (list clang-13 llvm-13 python ncurses))
(synopsis "Variant of uClibc tailored to symbolic execution")
@@ -1062,13 +1062,28 @@ (define-public klee
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
+ #:phases
+ #~(modify-phases %standard-phases
+ (add-after 'install 'wrap-hooks
+ (lambda* (#:key inputs outputs #:allow-other-keys)
+ (let* ((out (assoc-ref outputs "out"))
+ (bin (string-append out "/bin"))
+ (lib (string-append out "/lib")))
+ ;; Ensure that KLEE finds runtime libraries (e.g. uclibc).
+ (wrap-program (string-append bin "/klee")
+ `("KLEE_RUNTIME_LIBRARY_PATH" =
+ (,(string-append lib "/klee/runtime/"))))))))
#:configure-flags
#~(list (string-append "-DLLVMCC="
(search-input-file %build-inputs "/bin/clang"))
(string-append "-DLLVMCXX="
- (search-input-file %build-inputs "/bin/clang++")))))
+ (search-input-file %build-inputs "/bin/clang++"))
+ (string-append "-DKLEE_UCLIBC_PATH="
+ (let ((uclibc (search-input-file %build-inputs "/klee/lib/libc.a")))
+ (dirname (dirname uclibc))))
+ "-DENABLE_POSIX_RUNTIME=ON")))
(native-inputs (list clang-13 llvm-13 python-lit))
- (inputs (list gperftools sqlite z3))
+ (inputs (list bash-minimal klee-uclibc gperftools sqlite z3))
(build-system cmake-build-system)
(home-page "https://klee-se.org/")
(synopsis "Symbolic execution engine")
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 07 Jul 2024 17:29:03 +0000
Resent-Message-ID: <handler.71925.B71925.172037333921742 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.172037333921742
(code B ref 71925); Sun, 07 Jul 2024 17:29:03 +0000
Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 17:28:59 +0000
Received: from localhost ([127.0.0.1]:49097 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQVh5-0005ec-DM
for submit <at> debbugs.gnu.org; Sun, 07 Jul 2024 13:28:59 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:2569)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>) id 1sQVh3-0005eT-KC
for 71925 <at> debbugs.gnu.org; Sun, 07 Jul 2024 13:28:58 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=a87RI96+
kjz5ODLJX24MX2MFiiGuIpEJbH+IZRSDlpc=;
h=in-reply-to:references:from:
subject:cc:to:date; d=soeren-tempel.net; b=SCO63DCLZpfT6JGc926avdmohTb
Skif4ZNX3iSNW9Wm8kVOK4W2vBDucPG69FwNAJNKApodred3f+4bWxQrQSs4QGN6IpL6Ta
PN+X439cQRaqagIZUR1Pq1shjajeON2EHpKet/blJUL3KdQXvKRyS/iK5EFBGOcvlS3r4X
wv9s=
Received: from localhost
(dynamic-2a02-3102-49da-001b-8090-663c-294a-426c.310.pool.telefonica.de
[2a02:3102:49da:1b:8090:663c:294a:426c])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id a6c6857d
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 7 Jul 2024 19:28:52 +0200 (CEST)
Date: Sun, 07 Jul 2024 19:28:52 +0200
From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
<50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
<beaba06e67a41d85922028cb56dbffb85f4e87e1.camel@HIDDEN>
<2XB2CJ5QYV5K9.2OYVJ6R77DM9T@HIDDEN>
<03ef8e192f61f68529f3ce252f8564e4d16adf22.camel@HIDDEN>
<2I2XVCBZLFNGD.2I6J74TIZU0U6@HIDDEN>
<9104732dc4c3cd3ee69efbebdf91f695227ba409.camel@HIDDEN>
In-Reply-To: <9104732dc4c3cd3ee69efbebdf91f695227ba409.camel@HIDDEN>
Message-Id: <3OHFY87A45M1V.3QUHDHLCMIAUN@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Hello again!
Thanks for the explanation, I send a v2 revision which (hopefully)
addresses your feedback. I have opted to install the libc.a file
to /klee/lib/libc.a this way, it's compatible with search-inputs
without requiring us to patch KLEE's build system.
Let me know what you think :)
Best,
S=C3=B6ren
Liliana Marie Prikler <liliana.prikler@HIDDEN> wrote:
> Am Sonntag, dem 07.07.2024 um 18:50 +0200 schrieb S=C3=B6ren Tempel:
> > Hello!
> >=20
> > Liliana Marie Prikler <liliana.prikler@HIDDEN> wrote:
> > > Can we make it so that it uses the file directly instead of
> > > inferring the name?=C2=A0 Then we could install klee-uclibc to, say
> > > "/lib/klee/uclibc.a" and reference it in this build by said file
> > > name.
> >=20
> > That would require us to patch KLEE's CMakeLists.txt and I am not
> > sure if that's worth it [1]. I think I would personally prefer using
> > search-input-file and dirname then. However, I am also still somewhat
> > new to Guix, could you elaborate what the problem with using
> > `(string-append "-DKLEE_UCLIBC_PATH=3D" #$klee-uclibc)` is (for the
> > sake of expanding my understanding of Guix in this regard)?
> Well, the question is mainly what people ought to do to swap out klee-
> uclibc from their builds =E2=80=93 e.g. if they want to replace it with a=
newer
> one etc. Inputs are our means of making sure that people have a handle
> for this kind of thing.
>=20
> Cheers
X-Loop: help-debbugs@HIDDEN
Subject: [bug#71925] [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
Resent-From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Sun, 07 Jul 2024 18:29:01 +0000
Resent-Message-ID: <handler.71925.B71925.172037692427848 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 71925
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
Received: via spool by 71925-submit <at> debbugs.gnu.org id=B71925.172037692427848
(code B ref 71925); Sun, 07 Jul 2024 18:29:01 +0000
Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 18:28:44 +0000
Received: from localhost ([127.0.0.1]:49170 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sQWcu-0007F6-7i
for submit <at> debbugs.gnu.org; Sun, 07 Jul 2024 14:28:44 -0400
Received: from mail-ed1-f65.google.com ([209.85.208.65]:46573)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <liliana.prikler@HIDDEN>) id 1sQWcs-0007Es-45
for 71925 <at> debbugs.gnu.org; Sun, 07 Jul 2024 14:28:42 -0400
Received: by mail-ed1-f65.google.com with SMTP id
4fb4d7f45d1cf-58b966b4166so3676810a12.1
for <71925 <at> debbugs.gnu.org>; Sun, 07 Jul 2024 11:28:37 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1720376852; x=1720981652; darn=debbugs.gnu.org;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject
:date:message-id:reply-to;
bh=fqfoQOutfAd9aK2XIDby1AiMkbN3R5JAnuHPGSdjYPo=;
b=KjsovX5v/GiXjLpEMSyuYPSei3p9qm4zueJWonRAMOVGPQVhuGb1LqtMrw29QpKbX9
vIRJrYdY4fVNhGOjD+MdkhBRry3z6MX9STq+EU6FwgYkFDuHdqjbBsyDy0YMuLpiEsg3
3kemN8/8hxKF79nNNlTUsfQEGyTAA36enDfGzLM/qxDt12EqH5vC0Peoddo/6ykLLG08
Q/OeXzV/s4xYb67uHqsBIZpz/v1NbpIABY5nnCLONsrRbojSHiOU1zYxGJK0JJv4fvAx
CEyHXYY8R8df2/34qM0IabDKPvs4FsiBVTeI4R+Waa5+hkgLqsbCGcWnv5KQXU/Vr7mE
nO1w==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1720376852; x=1720981652;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state
:from:to:cc:subject:date:message-id:reply-to;
bh=fqfoQOutfAd9aK2XIDby1AiMkbN3R5JAnuHPGSdjYPo=;
b=Bp4XXZa5JpOU7jjFqu/cV4Nc5X5cumLfqF4q3AJNII9G19WhIQ/hOKMLHkopG/YKh9
3ioayy76leWehA9TAIzhfM+0IMAAH/GT3l3IBcfzeg22JZIHYf3SNjZloAn8cAzGFnLx
75Ff6f139b5UkeNcOTHPPgyGKlkOn6BqfAwWE34yaupSUOGlwe6etxMIK2o3E2y9tO72
Fvgi3ivwy6y2HobgKDt79WYkKPg2J+NqVi4v/g2N6ObQE1oa86xygvDtcu7ZNkgE26Xy
XiK+wF8S1b2sdwyr3KUNoz4cToT+kzXiW/+ZEicE5aHw0GXvvCUwGVTH+cEeAkmI3/Sh
VVow==
X-Gm-Message-State: AOJu0YzxsdKiAx780DGY8rhlDVaota8MHkwpoWDCNnxUY/Ka/3Fq2nZF
736PfVtQOH+MUaL0XU5Pu6Cq75PA2Okty+AbGu8lSlWe1ynQ8clx
X-Google-Smtp-Source: AGHT+IHKtlOcYuh1tmu+As7DafFgSKBoXf3PMVodEfhTQV2PzEcWgXbtlvrv7OHPBB8I9DlG9YoWaA==
X-Received: by 2002:a05:6402:35d6:b0:58b:e192:361e with SMTP id
4fb4d7f45d1cf-58e59557b99mr6804798a12.12.1720376851753;
Sun, 07 Jul 2024 11:27:31 -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
4fb4d7f45d1cf-58b5225d687sm7215335a12.23.2024.07.07.11.27.30
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Sun, 07 Jul 2024 11:27:31 -0700 (PDT)
Message-ID: <ab01d0562524d094ea3fb368d46be7a684cae7cd.camel@HIDDEN>
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Date: Sun, 07 Jul 2024 20:27:30 +0200
In-Reply-To: <3OHFY87A45M1V.3QUHDHLCMIAUN@HIDDEN>
References: <cover.1720033365.git.soeren@HIDDEN>
<50e13182dab9f13a90c63a670a286eb447133e44.1720033365.git.soeren@HIDDEN>
<beaba06e67a41d85922028cb56dbffb85f4e87e1.camel@HIDDEN>
<2XB2CJ5QYV5K9.2OYVJ6R77DM9T@HIDDEN>
<03ef8e192f61f68529f3ce252f8564e4d16adf22.camel@HIDDEN>
<2I2XVCBZLFNGD.2I6J74TIZU0U6@HIDDEN>
<9104732dc4c3cd3ee69efbebdf91f695227ba409.camel@HIDDEN>
<3OHFY87A45M1V.3QUHDHLCMIAUN@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
User-Agent: Evolution 3.48.4
MIME-Version: 1.0
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Am Sonntag, dem 07.07.2024 um 19:28 +0200 schrieb S=C3=B6ren Tempel:
> Hello again!
>=20
> Thanks for the explanation, I send a v2 revision which (hopefully)
> addresses your feedback. I have opted to install the libc.a file
> to /klee/lib/libc.a this way, it's compatible with search-inputs
> without requiring us to patch KLEE's build system.
v2's klee-uclibc appears to still install libc.a in /lib rather than
/klee/lib =E2=80=93 do you want it do be this way around or would /lib/klee=
/
(honouring FHS) be smarter?
Cheers
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.