GNU bug report logs - #71925
[PATCH 0/2] Add klee-uclibc.

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Package: guix-patches; Reported by: soeren@HIDDEN; Keywords: patch; dated Wed, 3 Jul 2024 19:07:02 UTC; Maintainer for guix-patches is guix-patches@HIDDEN.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 18:28:44 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 07 14:28:44 2024
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>
Subject: Re: [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
To: =?ISO-8859-1?Q?S=F6ren?= Tempel <soeren@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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
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
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 17:28:59 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 07 13:28:59 2024
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
To: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Subject: Re: [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
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
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 17:26:58 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 07 13:26:57 2024
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
To: 71925 <at> debbugs.gnu.org
Subject: [PATCH v2 2/2] gnu: klee: Build with klee-uclibc support.
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-Debbugs-Envelope-To: 71925
Cc: liliana.prikler@HIDDEN
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")
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 17:26:56 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 07 13:26:56 2024
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
To: 71925 <at> debbugs.gnu.org
Subject: [PATCH v2 1/2] gnu: Add klee-uclibc.
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-Debbugs-Envelope-To: 71925
Cc: liliana.prikler@HIDDEN
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
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 16:54:41 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 07 12:54:41 2024
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>
Subject: Re: [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
To: =?ISO-8859-1?Q?S=F6ren?= Tempel <soeren@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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
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
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 16:50:42 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 07 12:50:42 2024
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
To: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Subject: Re: [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
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
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 12:52:11 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 07 08:52:11 2024
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>
Subject: Re: [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
To: =?ISO-8859-1?Q?S=F6ren?= Tempel <soeren@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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
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
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 7 Jul 2024 11:25:07 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 07 07:25:07 2024
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
To: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Subject: Re: [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN, 71925 <at> debbugs.gnu.org
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
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 6 Jul 2024 18:51:28 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jul 06 14:51:28 2024
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>
Subject: Re: [PATCH 1/2] gnu: Add klee-uclibc.
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
To: soeren@HIDDEN, 71925 <at> debbugs.gnu.org
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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN
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=
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 6 Jul 2024 18:50:47 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jul 06 14:50:47 2024
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>
Subject: Re: [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
To: soeren@HIDDEN, 71925 <at> debbugs.gnu.org
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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN
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
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 3 Jul 2024 19:10:07 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Jul 03 15:10:07 2024
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
To: 71925 <at> debbugs.gnu.org
Subject: [PATCH 2/2] gnu: klee: Build with klee-uclibc support.
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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN, liliana.prikler@HIDDEN
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")
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at 71925 <at> debbugs.gnu.org:


Received: (at 71925) by debbugs.gnu.org; 3 Jul 2024 19:10:05 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Jul 03 15:10:04 2024
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
To: 71925 <at> debbugs.gnu.org
Subject: [PATCH 1/2] gnu: Add klee-uclibc.
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-Debbugs-Envelope-To: 71925
Cc: julien@HIDDEN, liliana.prikler@HIDDEN
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")
Information forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 3 Jul 2024 19:06:34 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Jul 03 15:06:34 2024
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
To: guix-patches@HIDDEN
Subject: [PATCH 0/2] Add klee-uclibc.
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-Debbugs-Envelope-To: submit
Cc: julien@HIDDEN, liliana.prikler@HIDDEN
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
Acknowledgement sent to soeren@HIDDEN:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#71925; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Sun, 7 Jul 2024 18:30:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.