Received: (at 72106) by debbugs.gnu.org; 20 Jul 2024 09:57:06 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jul 20 05:57:06 2024
Received: from localhost ([127.0.0.1]:51805 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sV6pu-0008Rq-9l
for submit <at> debbugs.gnu.org; Sat, 20 Jul 2024 05:57:06 -0400
Received: from hera.aquilenet.fr ([185.233.100.1]:52812)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <ludo@HIDDEN>) id 1sV6ps-0008RK-7I
for 72106 <at> debbugs.gnu.org; Sat, 20 Jul 2024 05:57:04 -0400
Received: from localhost (localhost [127.0.0.1])
by hera.aquilenet.fr (Postfix) with ESMTP id 9D70DAAE;
Sat, 20 Jul 2024 11:56:58 +0200 (CEST)
X-Virus-Scanned: Debian amavisd-new at hera.aquilenet.fr
Received: from hera.aquilenet.fr ([127.0.0.1])
by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id jw6haIuG87OL; Sat, 20 Jul 2024 11:56:58 +0200 (CEST)
Received: from ribbon (91-160-117-201.subs.proxad.net [91.160.117.201])
by hera.aquilenet.fr (Postfix) with ESMTPSA id 27F9B865;
Sat, 20 Jul 2024 11:56:58 +0200 (CEST)
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
To: soeren@HIDDEN
Subject: Re: [bug#72106] [PATCH v2 2/5] gnu: klee: Enable the test suite.
In-Reply-To: <b65bd1448a381db7821c51380d549643a0942601.1720981528.git.soeren@HIDDEN>
(soeren@HIDDEN's message of "Sun, 14 Jul 2024 20:25:25
+0200")
References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN>
<b65bd1448a381db7821c51380d549643a0942601.1720981528.git.soeren@HIDDEN>
Date: Sat, 20 Jul 2024 11:56:57 +0200
Message-ID: <87cyn8qtcm.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 1.0 (+)
X-Debbugs-Envelope-To: 72106
Cc: 72106 <at> debbugs.gnu.org, 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: -0.0 (/)
Hello S=C3=B6ren,
soeren@HIDDEN skribis:
> (,(string-append lib "/klee/runtime/")))=
)))))
> #:configure-flags
> - #~(list (string-append "-DLLVMCC=3D"
> + #~(list "-DENABLE_UNIT_TESTS=3DON"
> + "-DENABLE_SYSTEM_TESTS=3DON"
> + (string-append "-DGTEST_SRC_DIR=3D"
> + (assoc-ref %build-inputs "googletest"))
> + (string-append "-DGTEST_INCLUDE_DIR=3D"
> + (assoc-ref %build-inputs "googletest") "/goo=
gletest/include")
I would replace (assoc-ref =E2=80=A6) by:
#+(package-source googletest)
> - (inputs (list bash-minimal klee-uclibc gperftools sqlite z3 python py=
thon-tabulate))
> + (inputs
> + `(("bash-minimal" ,bash-minimal)
> + ("klee-uclibc" ,klee-uclibc)
> + ("gperftools" ,gperftools)
> + ("sqlite" ,sqlite)
> + ("z3" ,z3)
> + ("python", python)
> + ("python-tabulate" ,python-tabulate)
> + ("googletest" ,(package-source googletest))))
=E2=80=A6 and leave =E2=80=98googletest=E2=80=99 out of =E2=80=98inputs=E2=
=80=99 entirely, keeping the concise
input list without labels. (I think we shouldn=E2=80=99t reintroduce input
labels; the goal has always been to remove them.)
WDYT?
Besides, to answer Liliana, Googletest is often used as a =E2=80=9Csource
library=E2=80=9D like you=E2=80=99re doing here; there are quite a few othe=
r packages
that do that in Guix already, as you explained. That=E2=80=99s OK.
Thanks,
Ludo=E2=80=99.
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 20:04:18 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 16:04:17 2024 Received: from localhost ([127.0.0.1]:58623 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sT5SD-0002h5-HP for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 16:04:17 -0400 Received: from magnesium.8pit.net ([45.76.88.171]:47788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <soeren@HIDDEN>) id 1sT5SC-0002gx-37 for 72106 <at> debbugs.gnu.org; Sun, 14 Jul 2024 16:04:17 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=6IrxjRqR CnssLmGgSH/l0312MOUWfRDPxOtcH3oxecY=; h=in-reply-to:references:from: subject:cc:to:date; d=soeren-tempel.net; b=ZjCM0f803i4owvylZwZiPRFTi1B LweUSaBZQqIPvIIbCrsjpNUhEoga4oW9+ejVOThuU+Jgq/Vo50U8Z6MaB682riXJw4wq2h 4KV54hPAhyCUcQiZ4TXCq13w0tXzDQtwOjUJcXvYCwSkCLNGqvkS/6kGMqKY679ZRNS6mN 4A/Q= Received: from localhost (dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de [2a02:3102:49da:1b:720e:aee8:aafa:f98d]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id d01c4f92 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sun, 14 Jul 2024 22:04:10 +0200 (CEST) Date: Sun, 14 Jul 2024 22:04:09 +0200 To: Liliana Marie Prikler <liliana.prikler@HIDDEN> Subject: Re: [PATCH v2 2/5] gnu: klee: Enable the test suite. From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN> References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN> <b65bd1448a381db7821c51380d549643a0942601.1720981528.git.soeren@HIDDEN> <68c1ee2dec2780cc8d6d5bc0db0f36492236b85c.camel@HIDDEN> In-Reply-To: <68c1ee2dec2780cc8d6d5bc0db0f36492236b85c.camel@HIDDEN> Message-Id: <39BYRNCZVFJV2.39MMBNJU3FT1T@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: 72106 Cc: 72106 <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, Liliana Marie Prikler <liliana.prikler@HIDDEN> wrote: > Why the package source and not the compiled package? Can we make it so > that we can use a prebuilt compiled one? Unfortunately, this does not seem to be possible. You can only point the KLEE build system to a googletest source [1]. This seems to be related to some peculiarity of googletest as other Guix package do the same thing [2] [3] [4] (there are more grep for "package-source googletest"). > If this is a test, then we should use native-inputs below. What exact dependency are you referring to? python-lit is already declared as a dependency through native-inputs. > Should be klee-uclibc. Good catch! I can send a revision fixing the commit message. Is there anything else I should adjust in a v3 revision? Cheers, S=C3=B6ren [1]: https://github.com/klee/klee/blob/master/README-CMake.md?plain=3D1#L60= -L62 [2]: https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/crypto.sc= m?id=3Deb508e32d2d359c94d2cabebfe90dc32ca5dcf4f#n336 [3]: https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/benchmark= .scm?id=3Deb508e32d2d359c94d2cabebfe90dc32ca5dcf4f#n241 [4]: https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/chemistry= .scm?id=3Deb508e32d2d359c94d2cabebfe90dc32ca5dcf4f#n407
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:56:05 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:56:05 2024
Received: from localhost ([127.0.0.1]:58591 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sT4OD-0006fh-2c
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:56:05 -0400
Received: from mail-ej1-f66.google.com ([209.85.218.66]:61548)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <liliana.prikler@HIDDEN>) id 1sT4OB-0006ez-Bz
for 72106 <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:56:03 -0400
Received: by mail-ej1-f66.google.com with SMTP id
a640c23a62f3a-a797c62565aso376161566b.2
for <72106 <at> debbugs.gnu.org>; Sun, 14 Jul 2024 11:56:01 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1720983296; x=1721588096; darn=debbugs.gnu.org;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date
:message-id:reply-to;
bh=3FC29DauysfNyzjT4QiK0UIy2c80B9aP9VYlrNpPzrc=;
b=X7Re9qAy5uqNvjXXyBc2tLjo0yLtYEWCeRTZGiZN+Mo4uX+aptuRyXWtflSDYOGJhj
SUkyllfvqEm77ZHW0FouprcZebNCBLveqWhRuGWXE5ajMOmzt8KJVgJNPB7snqUrU4nN
ctZ4+VkaHxm5vlIA6FaSgS6XfiqKFXpCCIpxJMCVV/e0Y2uqKA7/52raNdWf+bm6L7Cd
3JeTNz/k1aUg372hEi/l3axyOZ/xHZ7qagEPX8trytSJrI4VSzfUBLdL/BFuf/OC141r
7ifHrkpwwcz/lqea+YmUvNoISyyiL9HxerHyLXn+kMoHoRYj4n6CgV7hmnrdxoDxh22J
OkIg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1720983296; x=1721588096;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from
:to:cc:subject:date:message-id:reply-to;
bh=3FC29DauysfNyzjT4QiK0UIy2c80B9aP9VYlrNpPzrc=;
b=MNpPZx3Kub6b5dYoK81Qo+Gy0ahgU8SSP9HZw+NMxtu7KwAgS6gwGQNz9SvSPDAW+4
9gpGWyJot+5KSmtwzZxRg/zeub8h28iUFOYa21mP7pdZE38a36PXIzwAjMU1J6pv7YPI
RwxcXhFzmqjf5u8iKsk93yfwZ7V6K+8CbJNuGq2eqs8fTJ+50iTi1NClav+11zkfv4gf
uyBxy4cW4Qxl/QbGkc4RxwMRp5ympT6qq65SzBGMK65rjMtGlP7uJL9lqRB21QWWHA+k
2q3oD+kc1+2axQnGEdApgbyNL/JyFpnzzGUfpY3uHQpz3r/1FoT4LUNRwOHwnnkmqD5F
bHMA==
X-Forwarded-Encrypted: i=1;
AJvYcCWfJtc2hNHRrsyv5d70uCaQazotPkW3uBy28chwf4Pn0rASYwCgmvvqjue5zfUhsadTwcCYvd0SIyHaqbCuMYETbwHd5ZM=
X-Gm-Message-State: AOJu0YwA15u/fCHOSUEFsfsZNL6nEvBoxzHgCz3Rmuph2IMNeGMMrlw2
SB+nM2xamvFb0hqHDPGCXovKL0M1bWY5zv0rv+lPZSJ+f+3JfNI0
X-Google-Smtp-Source: AGHT+IEPQTzK30nkQ4kAISxllps/kgfSAR3EMk5CYUs1j8iuu9n34gqvHj+Wk4Ucfp1wA+2TgAM8Zg==
X-Received: by 2002:a17:906:5650:b0:a72:8d2f:8594 with SMTP id
a640c23a62f3a-a780b6b2f20mr1085286666b.27.1720983295720;
Sun, 14 Jul 2024 11:54:55 -0700 (PDT)
Received: from lumine.fritz.box (85-127-20-124.dsl.dynamic.surfer.at.
[85.127.20.124]) by smtp.gmail.com with ESMTPSA id
a640c23a62f3a-a79bc5b48dbsm153565866b.57.2024.07.14.11.54.55
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Sun, 14 Jul 2024 11:54:55 -0700 (PDT)
Message-ID: <89de2118659f749a31b0f777d9ac4d1f700a4819.camel@HIDDEN>
Subject: Re: [PATCH v2 5/5] gnu: klee-uclibc: Only build on x86_64 Linux.
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
To: soeren@HIDDEN, 72106 <at> debbugs.gnu.org
Date: Sun, 14 Jul 2024 20:54:53 +0200
In-Reply-To: <96e57f4f5fc4ea592923427484333c7dfea55a3c.1720981528.git.soeren@HIDDEN>
References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN>
<96e57f4f5fc4ea592923427484333c7dfea55a3c.1720981528.git.soeren@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: 72106
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 14.07.2024 um 20:25 +0200 schrieb
soeren@HIDDEN:
> From: S=C3=B6ren Tempel <soeren@HIDDEN>
>=20
> * gnu/packages/check.scm (klee): Add supported-systems.
Should be klee-uclibc.
> ---
> =C2=A0gnu/packages/check.scm | 1 +
> =C2=A01 file changed, 1 insertion(+)
>=20
> diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
> index 3fc88b078f..e48d392251 100644
> --- a/gnu/packages/check.scm
> +++ b/gnu/packages/check.scm
> @@ -1006,6 +1006,7 @@ (define-public klee-uclibc
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (sha256
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (base32
> "12fnr5mq80cxwvv09gi844mi31jgi8067swagxnlxlhxj4mi125j"))))
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (build-system gnu-build-system)
> +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (supported-systems '("x86_64-linux"))
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (arguments
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 `(#:tests? #f ;upstream uClibc=
tests do not work in the fork
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 #:strip-directorie=
s '() ;only ships a static library, so
> don't strip anything.
Cheers
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:55:15 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:55:15 2024
Received: from localhost ([127.0.0.1]:58586 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sT4NO-0006e7-N9
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:55:14 -0400
Received: from mail-ed1-f66.google.com ([209.85.208.66]:58698)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <liliana.prikler@HIDDEN>) id 1sT4NM-0006dt-PS
for 72106 <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:55:13 -0400
Received: by mail-ed1-f66.google.com with SMTP id
4fb4d7f45d1cf-58ba3e38027so3765436a12.1
for <72106 <at> debbugs.gnu.org>; Sun, 14 Jul 2024 11:55:11 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1720983245; x=1721588045; darn=debbugs.gnu.org;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date
:message-id:reply-to;
bh=zdwVqDgf88DLTB8HR6SMhiWsdJq/hmqJd3bq2uExNYE=;
b=ULbHCAMoKGIvbzNyFhtMX0L9x8PzvPp7URXZp6DsfA9wR4ezOyoCrhJSGYKwiIKtB2
2/sXnZER/4+4WuEagIrrQa2h5xnKdQYLHosiV+6QOE9QNBXIT61oa3mocwGffeg0SV7k
n/BTphiM5oz2D43OuJiPfO9XeBz6n15Hju1PPTg+dq+kO13+su0ilxmbOOqT0JBSZAjk
YKzNGEpiZ1cpytaK2YeN9QgpaujPPVJhk2XN3yeCkLFYhr6ellXDJ0n+9lBdRwU7yCw7
j1pjZWdgAj50FTzd+DfvD62t85M+K1YDANqFv2Icbv2Jg3ymA4nCwoP+CNNTQcxAdO/t
z0nA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1720983245; x=1721588045;
h=mime-version:user-agent:content-transfer-encoding:references
:in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from
:to:cc:subject:date:message-id:reply-to;
bh=zdwVqDgf88DLTB8HR6SMhiWsdJq/hmqJd3bq2uExNYE=;
b=WSj5Ir+9rM2T763PuvgL7dDOg0BSPgRQp69PXJJLXrknU7KT4xp7ePVCGCEhrfAi5C
HtpddjfwpHCmIZJwJobY9Xdzmlj2dkRA7LDCRUhF1gRZFgkmA9bKNjAz1hJXWLl57dAa
+8Fj3GoMHXYyH8bVo7LgmSfeSK4KSW1SFDMW98S2i0KVvBuo+K1gAxjKW+KEzhDhQx3O
MfFHsCkJaIYZKKmk6QhDuRPBmKfszk19Bn4JBrrr3ko8LSBUTsGG/QTFfJt3Bc/rb50e
XFmwqDyA6Zy/XybqaaqreiIR/X3pQ9yY3SJjghYsqLDWVmo3YpHJZWgeCXoxJwovpcsX
ZoEg==
X-Forwarded-Encrypted: i=1;
AJvYcCW6tsPvENdwI3jftj7xzneCKEkAkt+9Y6xH+s386azy4SKaayT/SJKN4nyA8MvXPuw3nMtyAur0eOxeXm/puSnqNpjak9s=
X-Gm-Message-State: AOJu0YwH1YRVk/OLshRcFt31Nm+bv20Okh2nh19bkzx+xgZZ7b3xo4qZ
bXH55Qj0t5bFcR7KQTJsZ82gC7+9JnPnGAttjSkm2oNSCzbgXn1y
X-Google-Smtp-Source: AGHT+IEs1rGCVf4LS9gNlC7ZrQYLLBZHm5el/uCNUKq5d+TVHXUJM0v/jLCmpOppzb4EwdTdXh/m5w==
X-Received: by 2002:a05:6402:34c8:b0:57a:27c8:3269 with SMTP id
4fb4d7f45d1cf-594baa8bb35mr14320558a12.4.1720983245282;
Sun, 14 Jul 2024 11:54:05 -0700 (PDT)
Received: from lumine.fritz.box (85-127-20-124.dsl.dynamic.surfer.at.
[85.127.20.124]) by smtp.gmail.com with ESMTPSA id
4fb4d7f45d1cf-59b255261c5sm2457360a12.43.2024.07.14.11.54.04
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Sun, 14 Jul 2024 11:54:04 -0700 (PDT)
Message-ID: <270253dd66bbaf388b3e279174f9bacaac434a07.camel@HIDDEN>
Subject: Re: [PATCH v2 4/5] gnu: klee: Only build on x86_64 Linux.
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
To: soeren@HIDDEN, 72106 <at> debbugs.gnu.org
Date: Sun, 14 Jul 2024 20:54:04 +0200
In-Reply-To: <a6bff0cfd82df47c3664fecca42a8b0e0d259b68.1720981528.git.soeren@HIDDEN>
References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN>
<a6bff0cfd82df47c3664fecca42a8b0e0d259b68.1720981528.git.soeren@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: 72106
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 14.07.2024 um 20:25 +0200 schrieb
soeren@HIDDEN:
> From: S=C3=B6ren Tempel <soeren@HIDDEN>
>=20
> * gnu/packages/check.scm (klee): Add supported-systems.
> ---
> =C2=A0gnu/packages/check.scm | 1 +
> =C2=A01 file changed, 1 insertion(+)
>=20
> diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
> index 3f3cc64e8e..3fc88b078f 100644
> --- a/gnu/packages/check.scm
> +++ b/gnu/packages/check.scm
> @@ -1123,6 +1123,7 @@ (define-public klee
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 ("python-tabulate" ,python-tab=
ulate)
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 ("googletest" ,(package-source=
googletest))))
> =C2=A0=C2=A0=C2=A0 (build-system cmake-build-system)
> +=C2=A0=C2=A0 (supported-systems '("x86_64-linux"))
> =C2=A0=C2=A0=C2=A0 (home-page "https://klee-se.org/")
> =C2=A0=C2=A0=C2=A0 (synopsis "Symbolic execution engine")
> =C2=A0=C2=A0=C2=A0 (description "KLEE is a symbolic virtual machine built=
on top of
> the LLVM
LGTM
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:55:01 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:55:01 2024 Received: from localhost ([127.0.0.1]:58583 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sT4NB-0006dK-6i for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:55:01 -0400 Received: from mail-ed1-f67.google.com ([209.85.208.67]:42314) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <liliana.prikler@HIDDEN>) id 1sT4N9-0006d0-Eu for 72106 <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:55:00 -0400 Received: by mail-ed1-f67.google.com with SMTP id 4fb4d7f45d1cf-595856e2336so5994794a12.1 for <72106 <at> debbugs.gnu.org>; Sun, 14 Jul 2024 11:54:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1720983232; x=1721588032; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=4IwHX8l3KS+4H+1kxSUUSu4kWL/Qk2RtmhQ1IuAzxSI=; b=BNYh1Sf8TVhbC6LL4pzkmBkxtzocnQzrwQP5CCL+DNh1Yrxy9iHotm8q9UwdGqeG9j kc+8ontWaw+KbCRk2qKiglaMVIWrdujRXbUynssUNklJ2aoVFoJi58wSSt9017Yq4oVR fDngKisRqrwnSTeWCm4UksbfewKYwNPISO7n1nZh6yPN4mEGKaF2DIgiY0qtop4yVgyv rXIqZY+mR5DpokSMOanac7Bd61fpz7295f+q+3eLE7i89Ft9fctx3jN8kxIAXguBxPsx GbgQNh13fnSqpnJ5GCPSEPELB6mWJPQ05rHS/VP6hRY7oWl3srm5jRjwtwA0V1peu/rL hifg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1720983232; x=1721588032; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=4IwHX8l3KS+4H+1kxSUUSu4kWL/Qk2RtmhQ1IuAzxSI=; b=nUEKshYx36UQSDm2C77dgdmxM74z3M2TZ2mOE3OJbPAxYbcaofjZBR1jkv/1NEreqi dnkC3UHCx5Qd5Kcw4+1UTKM2w754QSJbGYIM//RFY7KfRpXf8eY62fh2S9/PZVfSmis9 3d/d1CGZSoN4Mh804c2UUHLmQKoIjvOpd2MOW2Bi/1U8gtj3nd8p2tRbNbZoNMwsXI81 CS4GqPEGZ2BqDBy7p2IAm9P0Qu/iNAMq5B8wnC1SOhi804HV6RwheQAr+KBRZp33QLSf BiJ8+5hM3IygeFD3izw4eEiGqFVtM7cCJ0+0497KOnfKFsYoJWGP4VncHiPV6/A4m0+4 n5hA== X-Forwarded-Encrypted: i=1; AJvYcCVRVUMCM9hCFBN3aIOFMiPXApbwiSIB/85VyYLD3V7RnBpC9dzQ8nN61Wymm56FGm0zcy8ccdCXpj9zSPgmut0gvTJvdv8= X-Gm-Message-State: AOJu0YzroIvFMswY2aI4vKZrhqSlm3FPetTor2NnY858kkzLeKUXwqT2 w4gMCPaHkQ/tj3+tWxgS5uYo5c45QHvPNrnIZV9AXHmyrBoxAB2o X-Google-Smtp-Source: AGHT+IGjwwK5hvywPeunyzkG7zcgzEDJQAL9hfS7gFEIivuaLhRZIuByvK3CVqfBxszGwh/H5BUgVQ== X-Received: by 2002:a50:d6dc:0:b0:57d:4a0d:d597 with SMTP id 4fb4d7f45d1cf-599648a33ddmr6031692a12.12.1720983231738; Sun, 14 Jul 2024 11:53:51 -0700 (PDT) Received: from lumine.fritz.box (85-127-20-124.dsl.dynamic.surfer.at. [85.127.20.124]) by smtp.gmail.com with ESMTPSA id 4fb4d7f45d1cf-59b25528e18sm2411371a12.56.2024.07.14.11.53.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 14 Jul 2024 11:53:51 -0700 (PDT) Message-ID: <68c1ee2dec2780cc8d6d5bc0db0f36492236b85c.camel@HIDDEN> Subject: Re: [PATCH v2 2/5] gnu: klee: Enable the test suite. From: Liliana Marie Prikler <liliana.prikler@HIDDEN> To: soeren@HIDDEN, 72106 <at> debbugs.gnu.org Date: Sun, 14 Jul 2024 20:53:49 +0200 In-Reply-To: <b65bd1448a381db7821c51380d549643a0942601.1720981528.git.soeren@HIDDEN> References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN> <b65bd1448a381db7821c51380d549643a0942601.1720981528.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: 72106 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 (-) QW0gU29ubnRhZywgZGVtIDE0LjA3LjIwMjQgdW0gMjA6MjUgKzAyMDAgc2NocmllYgpzb2VyZW5A c29lcmVuLXRlbXBlbC5uZXQ6Cj4gRnJvbTogU8O2cmVuIFRlbXBlbCA8c29lcmVuQHNvZXJlbi10 ZW1wZWwubmV0Pgo+IAo+ICogZ251L3BhY2thZ2VzL2NoZWNrLnNjbSAoa2xlZSk6IEVuYWJsZSBh bGwgdGVzdHMuCj4gW2FyZ3VtZW50c106IEFkZCBwaGFzZSB0byBwYXRjaCBsaXQgY29uZmlndXJh dGlvbiwgc2V0ICM6dGVzdC10YXJnZXQuCj4gPCM6Y29uZmlndXJlLWZsYWdzPz46IEVuYWJsZSBz eXN0ZW0gYW5kIHVuaXQgdGVzdHMsIGNvbmZpZ3VyZSBndGVzdC4KPiBbaW5wdXRzXTogQWRkIGdv b2dsZXRlc3QgYW5kIHB5dGhvbi1saXQuCj4gLS0tCj4gwqBnbnUvcGFja2FnZXMvY2hlY2suc2Nt IHwgMzAgKysrKysrKysrKysrKysrKysrKysrKysrKysrLS0tCj4gwqAxIGZpbGUgY2hhbmdlZCwg MjcgaW5zZXJ0aW9ucygrKSwgMyBkZWxldGlvbnMoLSkKPiAKPiBkaWZmIC0tZ2l0IGEvZ251L3Bh Y2thZ2VzL2NoZWNrLnNjbSBiL2dudS9wYWNrYWdlcy9jaGVjay5zY20KPiBpbmRleCA2YjBlYTBh YWE4Li41NTJjYjM5ZGU1IDEwMDY0NAo+IC0tLSBhL2dudS9wYWNrYWdlcy9jaGVjay5zY20KPiAr KysgYi9nbnUvcGFja2FnZXMvY2hlY2suc2NtCj4gQEAgLTEwNjMsMTMgKzEwNjMsMjMgQEAgKGRl ZmluZS1wdWJsaWMga2xlZQo+IMKgwqDCoMKgwqDCoCAoYmFzZTMyCj4gIjFubWE2ZHFpOGNoamI5 N2xsc2E4bXp5c2tnc2c0ZHg1NmxtOGo1MTRqNXdtcjh2a2FmejYiKSkpKQo+IMKgwqDCoCAoYXJn dW1lbnRzCj4gwqDCoMKgwqAgKGxpc3QKPiArwqDCoMKgwqAgIzp0ZXN0LXRhcmdldCAiY2hlY2si Cj4gwqDCoMKgwqDCoCAjOnBoYXNlcwo+IMKgwqDCoMKgwqAgI34obW9kaWZ5LXBoYXNlcyAlc3Rh bmRhcmQtcGhhc2VzCj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oCAoYWRkLWFmdGVyICd1bnBhY2sgJ3BhdGNoCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoCAoYWRkLWFmdGVyICd1bnBhY2sgJ3BhdGNoLWNtYWtlCj4gwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChsYW1iZGEgXwo+IMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN1YnN0 aXR1dGUqICJDTWFrZUxpc3RzLnR4dCIKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoAo+ICgoIlxcJFxce0tMRUVfVUNMSUJDX1BBVEhcXH0v bGliL2xpYmNcXC5hIikKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgICIke0tMRUVfVUNMSUJDX1BBVEh9IikpKSkKPiArwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChhZGQtYWZ0ZXIgJ3VucGFjayAncGF0 Y2gtbGl0LWNvbmZpZwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgIChsYW1iZGEgXwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoCA7OyBNYWtlIHN1cmUgdGhhdCB3ZSByZXRhaW4gdGhlIHZhbHVlIG9mCj4g dGhlIEdVSVhfUFlUSE9OUEFUSAo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoCA7OyBlbnZpcm9ubWVudCB2YXJpYWJsZSBpbiB0aGUgdGVzdAo+IGVu dmlyb25tZW50ZWQgY3JlYXRlZCBieQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoCA7OyBweXRob24tbGl0LiBPdGhlcndpc2UsIHRoZSB0ZXN0IHNj cmlwdHMKPiB3b24ndCBiZSBhYmxlIHRvCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgIDs7IGZpbmQgdGhlIHB5dGhvbi10YWJ1bGF0ZSBkZXBlbmRl bmN5LAo+IGNhdXNpbmcgdGVzdCBmYWlsdXJlcy4KPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN1YnN0aXR1dGUqICJ0ZXN0L2xpdC5jZmciCj4g K8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAo KCJhZGRFbnZcXCgnUFdEJ1xcKSIgZW52KQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCBlbnYgIlxuIgo+ICJh ZGRFbnYoJ0dVSVhfUFlUSE9OUEFUSCcpIikpKSkpCklmIHRoaXMgaXMgYSB0ZXN0LCB0aGVuIHdl IHNob3VsZCB1c2UgbmF0aXZlLWlucHV0cyBiZWxvdy4KPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoYWRkLWFmdGVyICdpbnN0YWxsICd3cmFwLWtsZWUtc3Rh dHMKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGxh bWJkYSogKCM6a2V5IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQo+IMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGxldCogKChvdXQgKGFzc29j LXJlZiBvdXRwdXRzICJvdXQiKSkKPiBAQCAtMTA4OCw3ICsxMDk4LDEzIEBAIChkZWZpbmUtcHVi bGljIGtsZWUKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqAgYCgiS0xFRV9SVU5USU1FX0xJQlJBUllfUEFUSCIgPQo+IMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg KCwoc3RyaW5nLWFwcGVuZCBsaWIKPiAiL2tsZWUvcnVudGltZS8iKSkpKSkpKSkKPiDCoMKgwqDC oMKgICM6Y29uZmlndXJlLWZsYWdzCj4gLcKgwqDCoMKgICN+KGxpc3QgKHN0cmluZy1hcHBlbmQg Ii1ETExWTUNDPSIKPiArwqDCoMKgwqAgI34obGlzdCAiLURFTkFCTEVfVU5JVF9URVNUUz1PTiIK PiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICItREVOQUJMRV9TWVNURU1fVEVTVFM9T04iCj4g K8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCAiLURHVEVTVF9TUkNfRElS PSIKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgIChhc3NvYy1yZWYgJWJ1aWxkLWlucHV0cyAiZ29vZ2xldGVzdCIpKQo+ICvCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqAgKHN0cmluZy1hcHBlbmQgIi1ER1RFU1RfSU5DTFVERV9ESVI9Igo+ICvC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGFz c29jLXJlZiAlYnVpbGQtaW5wdXRzICJnb29nbGV0ZXN0IikKPiAiL2dvb2dsZXRlc3QvaW5jbHVk ZSIpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCAiLURMTFZNQ0M9 Igo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgIChzZWFyY2gtaW5wdXQtZmlsZSAlYnVpbGQtaW5wdXRzCj4gIi9iaW4vY2xhbmciKSkKPiDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCAiLURMTFZNQ1hYPSIKPiDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAo c2VhcmNoLWlucHV0LWZpbGUgJWJ1aWxkLWlucHV0cwo+ICIvYmluL2NsYW5nKysiKSkKPiBAQCAt MTA5Niw3ICsxMTEyLDE1IEBAIChkZWZpbmUtcHVibGljIGtsZWUKPiDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc2VhcmNoLWlucHV0LWZp bGUgJWJ1aWxkLWlucHV0cwo+ICIvbGliL2tsZWUvbGliYy5hIikpCj4gwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgIi1ERU5BQkxFX1BPU0lYX1JVTlRJTUU9T04iKSkpCj4gwqDCoMKgIChuYXRp dmUtaW5wdXRzIChsaXN0IGNsYW5nLTEzIGxsdm0tMTMgcHl0aG9uLWxpdCkpCj4gLcKgwqAgKGlu cHV0cyAobGlzdCBiYXNoLW1pbmltYWwga2xlZS11Y2xpYmMgZ3BlcmZ0b29scyBzcWxpdGUgejMK PiBweXRob24gcHl0aG9uLXRhYnVsYXRlKSkKPiArwqDCoCAoaW5wdXRzCj4gK8KgwqDCoMKgIGAo KCJiYXNoLW1pbmltYWwiICxiYXNoLW1pbmltYWwpCj4gK8KgwqDCoMKgwqDCoCAoImtsZWUtdWNs aWJjIiAsa2xlZS11Y2xpYmMpCj4gK8KgwqDCoMKgwqDCoCAoImdwZXJmdG9vbHMiICxncGVyZnRv b2xzKQo+ICvCoMKgwqDCoMKgwqAgKCJzcWxpdGUiICxzcWxpdGUpCj4gK8KgwqDCoMKgwqDCoCAo InozIiAsejMpCj4gK8KgwqDCoMKgwqDCoCAoInB5dGhvbiIsIHB5dGhvbikKPiArwqDCoMKgwqDC oMKgICgicHl0aG9uLXRhYnVsYXRlIiAscHl0aG9uLXRhYnVsYXRlKQo+ICvCoMKgwqDCoMKgwqAg KCJnb29nbGV0ZXN0IiAsKHBhY2thZ2Utc291cmNlIGdvb2dsZXRlc3QpKSkpCldoeSB0aGUgcGFj a2FnZSBzb3VyY2UgYW5kIG5vdCB0aGUgY29tcGlsZWQgcGFja2FnZT8gIENhbiB3ZSBtYWtlIGl0 IHNvCnRoYXQgd2UgY2FuIHVzZSBhIHByZWJ1aWx0IGNvbXBpbGVkIG9uZT8KCkNoZWVycwoK
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:29:53 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:29:53 2024 Received: from localhost ([127.0.0.1]:58573 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sT3yr-000618-FQ for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:29:53 -0400 Received: from magnesium.8pit.net ([45.76.88.171]:17610) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <soeren@HIDDEN>) id 1sT3yp-00060v-GE for 72106 <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:29:52 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=nmv291Uo HtVVU4go0DKZI6N6X1jgYy+F7m7XcisWoEI=; h=in-reply-to:references:from: subject:cc:to:date; d=soeren-tempel.net; b=KDUXtjXSVFvOzKdfujtV5q+ykFE sodf/Sblc3gGdWsk1morCUo7C2RRu3YSACyd98xVaXE/u/xUAgx6JXhXSP3ykPiUqSgCzY SfxpQF3CRk0rDZfx6lxOJS52J+uaUB883PP3Y1tMFZzqVB0/wfOwlIim6YIf/3x2pEGCp9 renc= Received: from localhost (dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de [2a02:3102:49da:1b:720e:aee8:aafa:f98d]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 6d28f407 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sun, 14 Jul 2024 20:29:49 +0200 (CEST) Date: Sun, 14 Jul 2024 20:29:48 +0200 To: Liliana Marie Prikler <liliana.prikler@HIDDEN> Subject: Re: [PATCH 0/3] gnu: klee: Enable test suite From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN> References: <cover.1720953093.git.soeren@HIDDEN> <5bc6bc1832077b3153fcb28ed0ef9233411ea69d.camel@HIDDEN> In-Reply-To: <5bc6bc1832077b3153fcb28ed0ef9233411ea69d.camel@HIDDEN> Message-Id: <2RJBKARQLC2CS.2DWJ8IEINRRAC@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: 72106 Cc: 72106 <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 for your feedback, I added a v2 to incorporate your feedback. Liliana Marie Prikler <liliana.prikler@HIDDEN> wrote: > Can we use a wrapper instead? Sure, good idea! I modified the patch to wrap klee-stats instead. Haven't done that so far so please check if I did it correctly :) > > Lastly, I also passed a custom #:strip-directories argument to avoid > > stripping of LLVM bitcode which (prior to this patchset) caused > > strip(1) to emit several warnings in the build log. > > There is only .bca files in there, right? Only .bca files and one shared library (libkleeRuntest.so) are in /lib. Does stripping of shared libraries do anything? If so: Should we just live with the warnings or should we strip that file individually? > > P.S.: I also think it might be worthwhile to only enable the KLEE > > package on x86_64 Linux <https://issues.guix.gnu.org/71925#18>.=C2=A0 L= et > > me know if I should add that as well :-) > > Ah, yes, good catch. I added two additional commits to set supported-systems for KLEE. Best, S=C3=B6ren
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:25:52 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:25:52 2024
Received: from localhost ([127.0.0.1]:58564 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sT3ux-0005uf-QG
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:25:52 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:22399)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sT3uu-0005uA-9e; Sun, 14 Jul 2024 14:25:48 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=AA262M6/
7EVuUpdOgajbSIuFw9Gr6S1xGYKHe1TyHWs=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=Qapu+MvkIvLnJ99GVMwbIiehBf3
Pj4yA0av7okpzsk7lTHMEVHQUcYtNnUDsvak0dHTfGjCKbLohmJCvrvee3/CQX2ncKm5+x
GZejccESdo5/mG557o1tjqZ7BurbVLaTCrwkoxM8/f9KcvqTlF4X/gyH0opTcXOCiGj4QN
K7QY=
Received: from localhost
(dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de
[2a02:3102:49da:1b:720e:aee8:aafa:f98d])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 1f70092b
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 14 Jul 2024 20:25:41 +0200 (CEST)
From: soeren@HIDDEN
To: 72106 <at> debbugs.gnu.org
Subject: [PATCH v2 5/5] gnu: klee-uclibc: Only build on x86_64 Linux.
Date: Sun, 14 Jul 2024 20:25:28 +0200
Message-ID: <96e57f4f5fc4ea592923427484333c7dfea55a3c.1720981528.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN>
References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.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: 72106
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): Add supported-systems.
---
gnu/packages/check.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 3fc88b078f..e48d392251 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1006,6 +1006,7 @@ (define-public klee-uclibc
(sha256
(base32 "12fnr5mq80cxwvv09gi844mi31jgi8067swagxnlxlhxj4mi125j"))))
(build-system gnu-build-system)
+ (supported-systems '("x86_64-linux"))
(arguments
`(#:tests? #f ;upstream uClibc tests do not work in the fork
#:strip-directories '() ;only ships a static library, so don't strip anything.
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:25:51 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:25:51 2024
Received: from localhost ([127.0.0.1]:58562 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sT3ux-0005ud-Ft
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:25:51 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:22399)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sT3ut-0005uA-8F; Sun, 14 Jul 2024 14:25:47 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=Aoz48D9i
mt4tmA1eFota5zyQ8Ad0ikNbP3ijtXrF5ts=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=fI8adjoaPDbv+SfymUq1KBX/yiB
Vp7rUUVaPczsXUi/h3YuhTNtXC1S9HTehOKToncplK4xMP60CIFwRkq0d9+7LAfmN3ZFjo
QJ+Yb86ESe6vnUsT3KZ5rN573psREgbRZ5F/WqrpC1C/1TniX3cQ/pPKtAiHaPHizPu6D8
CnQw=
Received: from localhost
(dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de
[2a02:3102:49da:1b:720e:aee8:aafa:f98d])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 6f035429
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 14 Jul 2024 20:25:40 +0200 (CEST)
From: soeren@HIDDEN
To: 72106 <at> debbugs.gnu.org
Subject: [PATCH v2 4/5] gnu: klee: Only build on x86_64 Linux.
Date: Sun, 14 Jul 2024 20:25:27 +0200
Message-ID: <a6bff0cfd82df47c3664fecca42a8b0e0d259b68.1720981528.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN>
References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.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: 72106
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): Add supported-systems.
---
gnu/packages/check.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 3f3cc64e8e..3fc88b078f 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1123,6 +1123,7 @@ (define-public klee
("python-tabulate" ,python-tabulate)
("googletest" ,(package-source googletest))))
(build-system cmake-build-system)
+ (supported-systems '("x86_64-linux"))
(home-page "https://klee-se.org/")
(synopsis "Symbolic execution engine")
(description "KLEE is a symbolic virtual machine built on top of the LLVM
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:25:48 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:25:48 2024
Received: from localhost ([127.0.0.1]:58559 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sT3uu-0005uN-7X
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:25:48 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:22399)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sT3us-0005uA-FD; Sun, 14 Jul 2024 14:25:46 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=mJuyxIaq
S3DIHSF/YE1z9DiAwEU54vtVdKS5DRoTtmY=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=EwghHc/NirzolN6wUaWCKDrtKhA
KT0qEIsXTyqBHbERghTmuv86dlB1jdjWUfyY0fAaHNsTdxVWkgFowSD6p6fFUq9uc9CYEJ
5RHZyWz2OOYJmxdsgZ/PrnAv8axNCU1vKFp4Wvse+VNdnqKOWR5yB6zG00yHOkjEIP8EdW
QfrY=
Received: from localhost
(dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de
[2a02:3102:49da:1b:720e:aee8:aafa:f98d])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 99cf5786
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 14 Jul 2024 20:25:38 +0200 (CEST)
From: soeren@HIDDEN
To: 72106 <at> debbugs.gnu.org
Subject: [PATCH v2 3/5] gnu: klee: Only strip bin directory.
Date: Sun, 14 Jul 2024 20:25:26 +0200
Message-ID: <e3fe86a32c89fa2a8c50a249d32cbcc4a3c6b75e.1720981528.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN>
References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.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: 72106
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>
This avoid several warnings to be emitted by strip(1) when attempting
to strip .bca (i.e. LLVM bitcode) files shipped in /lib/klee/runtime/.
* gnu/packages/check.scm (klee): Set #:strip-directories.
---
gnu/packages/check.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 552cb39de5..3f3cc64e8e 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1063,6 +1063,7 @@ (define-public klee
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
+ #:strip-directories #~(list "bin") ;don't strip LLVM bitcode in /lib
#:test-target "check"
#:phases
#~(modify-phases %standard-phases
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:25:43 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:25:43 2024
Received: from localhost ([127.0.0.1]:58555 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sT3uo-0005tz-R9
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:25:43 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:38211)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sT3ul-0005ta-5L; Sun, 14 Jul 2024 14:25:39 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=dt7AlBh4
0ARHFDBM7ecjCCLfhwNxcqmY4uiadEWfKsU=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=C4IVaiH7YBudSsWqwLcgI4s5+XO
r1Txcw22EHOF9Kme1wVlRS9A3LID8L5lSkXEJjWqcvkrL5k7Pdo1rfLc2ba3pB/veM9jhv
DzfLrFiyu4oM1tk4s7QARQcps+dnBr5gQisfv45+ka7w7YM0tHh/+2ApE6/809RNzsVzUT
5X+I=
Received: from localhost
(dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de
[2a02:3102:49da:1b:720e:aee8:aafa:f98d])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id bedb9c07
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 14 Jul 2024 20:25:35 +0200 (CEST)
From: soeren@HIDDEN
To: 72106 <at> debbugs.gnu.org
Subject: [PATCH v2 2/5] gnu: klee: Enable the test suite.
Date: Sun, 14 Jul 2024 20:25:25 +0200
Message-ID: <b65bd1448a381db7821c51380d549643a0942601.1720981528.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@HIDDEN>
References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.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: 72106
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): Enable all tests.
[arguments]: Add phase to patch lit configuration, set #:test-target.
<#:configure-flags?>: Enable system and unit tests, configure gtest.
[inputs]: Add googletest and python-lit.
---
gnu/packages/check.scm | 30 +++++++++++++++++++++++++++---
1 file changed, 27 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 6b0ea0aaa8..552cb39de5 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1063,13 +1063,23 @@ (define-public klee
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
+ #:test-target "check"
#:phases
#~(modify-phases %standard-phases
- (add-after 'unpack 'patch
+ (add-after 'unpack 'patch-cmake
(lambda _
(substitute* "CMakeLists.txt"
(("\\$\\{KLEE_UCLIBC_PATH\\}/lib/libc\\.a")
"${KLEE_UCLIBC_PATH}"))))
+ (add-after 'unpack 'patch-lit-config
+ (lambda _
+ ;; Make sure that we retain the value of the GUIX_PYTHONPATH
+ ;; environment variable in the test environmented created by
+ ;; python-lit. Otherwise, the test scripts won't be able to
+ ;; find the python-tabulate dependency, causing test failures.
+ (substitute* "test/lit.cfg"
+ (("addEnv\\('PWD'\\)" env)
+ (string-append env "\n" "addEnv('GUIX_PYTHONPATH')")))))
(add-after 'install 'wrap-klee-stats
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
@@ -1088,7 +1098,13 @@ (define-public klee
`("KLEE_RUNTIME_LIBRARY_PATH" =
(,(string-append lib "/klee/runtime/"))))))))
#:configure-flags
- #~(list (string-append "-DLLVMCC="
+ #~(list "-DENABLE_UNIT_TESTS=ON"
+ "-DENABLE_SYSTEM_TESTS=ON"
+ (string-append "-DGTEST_SRC_DIR="
+ (assoc-ref %build-inputs "googletest"))
+ (string-append "-DGTEST_INCLUDE_DIR="
+ (assoc-ref %build-inputs "googletest") "/googletest/include")
+ (string-append "-DLLVMCC="
(search-input-file %build-inputs "/bin/clang"))
(string-append "-DLLVMCXX="
(search-input-file %build-inputs "/bin/clang++"))
@@ -1096,7 +1112,15 @@ (define-public klee
(search-input-file %build-inputs "/lib/klee/libc.a"))
"-DENABLE_POSIX_RUNTIME=ON")))
(native-inputs (list clang-13 llvm-13 python-lit))
- (inputs (list bash-minimal klee-uclibc gperftools sqlite z3 python python-tabulate))
+ (inputs
+ `(("bash-minimal" ,bash-minimal)
+ ("klee-uclibc" ,klee-uclibc)
+ ("gperftools" ,gperftools)
+ ("sqlite" ,sqlite)
+ ("z3" ,z3)
+ ("python", python)
+ ("python-tabulate" ,python-tabulate)
+ ("googletest" ,(package-source googletest))))
(build-system cmake-build-system)
(home-page "https://klee-se.org/")
(synopsis "Symbolic execution engine")
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:25:40 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 14:25:40 2024
Received: from localhost ([127.0.0.1]:58553 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sT3um-0005tq-Ft
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 14:25:40 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:38211)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sT3uj-0005ta-M4; Sun, 14 Jul 2024 14:25:38 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=nur36Ipu
yaz95UB5/m4gQD1z7emY/chP5Rzf3nZo1Gc=; h=date:subject:cc:to:from;
d=soeren-tempel.net; b=tFrgOPOhhevSCtG4Csa9dPjpcVhEBxwLAjz5KqGwhnapBgM
GvZefe5l4RLinXQ/HKOQ+sDdpTXF5OFsWPd98fnDo631bMyIA3JGAHhOJLx255RBTgaZnN
4owUvHw7LrIfsFHXSJDOp5VMYAdiUU9xT8Js9bf3YhJHE1NcVMhViM=
Received: from localhost
(dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de
[2a02:3102:49da:1b:720e:aee8:aafa:f98d])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id c85d8bfb
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 14 Jul 2024 20:25:32 +0200 (CEST)
From: soeren@HIDDEN
To: 72106 <at> debbugs.gnu.org
Subject: [PATCH v2 1/5] gnu: klee: Wrap klee-stats for Python dependencies.
Date: Sun, 14 Jul 2024 20:25:24 +0200
Message-ID: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.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: 72106
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): Wrap klee-stats.
---
gnu/packages/check.scm | 12 ++++++++++--
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 3bfcf5a37e..6b0ea0aaa8 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1070,7 +1070,15 @@ (define-public klee
(substitute* "CMakeLists.txt"
(("\\$\\{KLEE_UCLIBC_PATH\\}/lib/libc\\.a")
"${KLEE_UCLIBC_PATH}"))))
- (add-after 'install 'wrap-hooks
+ (add-after 'install 'wrap-klee-stats
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let* ((out (assoc-ref outputs "out"))
+ (bin (string-append out "/bin")))
+ (wrap-program (string-append bin "/klee-stats")
+ `("GUIX_PYTHONPATH" ":" prefix
+ ,(search-path-as-string->list
+ (getenv "GUIX_PYTHONPATH")))))))
+ (add-after 'install 'wrap-klee
(lambda* (#:key inputs outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
(bin (string-append out "/bin"))
@@ -1088,7 +1096,7 @@ (define-public klee
(search-input-file %build-inputs "/lib/klee/libc.a"))
"-DENABLE_POSIX_RUNTIME=ON")))
(native-inputs (list clang-13 llvm-13 python-lit))
- (inputs (list bash-minimal klee-uclibc gperftools sqlite z3))
+ (inputs (list bash-minimal klee-uclibc gperftools sqlite z3 python python-tabulate))
(build-system cmake-build-system)
(home-page "https://klee-se.org/")
(synopsis "Symbolic execution engine")
base-commit: c1d367f57e89c3f2efd964e6d638bd89b0b1df97
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 16:18:06 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 12:18:06 2024 Received: from localhost ([127.0.0.1]:58498 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sT1vK-0002kf-0o for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 12:18:06 -0400 Received: from mail-wm1-f65.google.com ([209.85.128.65]:52586) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <liliana.prikler@HIDDEN>) id 1sT1vI-0002kX-RP for 72106 <at> debbugs.gnu.org; Sun, 14 Jul 2024 12:18:05 -0400 Received: by mail-wm1-f65.google.com with SMTP id 5b1f17b1804b1-4266ea6a488so27390795e9.1 for <72106 <at> debbugs.gnu.org>; Sun, 14 Jul 2024 09:18:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1720973822; x=1721578622; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=x2dtecfeUelshO1jtsJAmRcZc3MA0/SgmxhzHx9h2bE=; b=lqyt9/3brvxupla/dkpzMnr5bbKnNFLRv0lXAv6tvbhReKmpOTvJghlvIyykJHdaI/ CFlp/TmSC2lu52cWCUQK5SB4QQMVuhlyF/Aa7LKAl0vekXw9ZGkelWtQzM5ABtOaTV+A bt2uEROwCPdxG5CcDW5NCEt4sjqgTPpBeGTF3VlclFKCmdpfGXmUvfqS7lnKV9DmxUH2 qPLCslGK3E+6aPj4sVORKbR6HZ8Osb60OQxnMHEcBt0CVtFIhvimIUlvhZFxXyhkcUYq q9dFy27avc6OElAHPYClbXukEa8myGao2ugplkQ/T5WGnDd5y7oU2tby9TJkCId3R6Kg yHZw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1720973822; x=1721578622; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=x2dtecfeUelshO1jtsJAmRcZc3MA0/SgmxhzHx9h2bE=; b=JNh37eG5e0Vt2XqMJjngHiOHAU5lpdU/Fz4qQaxpa7Z8daZY/1pX2+tgdvYvhVXW8c d2+vGNti2/+VXKTXpk834kjKoTbeJEXFxG7ju3mWaVOv1angyoQOK2QTnslX7k2m/Qvr u/jmeAV9sYqVO63vPMLJEyC1nmHim3xLgc4uuSQBjDB/C3wbJOXBwaHTyW7F1VWMdUHv 3F5WioHt3lWZjM4wMC/kYEzCzEa1yFFB9yfVVqSm7Cf2yoUIDu0P2e0sTz8MNcYJUT/3 gyT/K6pAqSZ41vGHz7pduVKR4/FfRQQYo14C2Qepjwz3HgMuQPqkuh3QbYr3Gvg9o/+n KwfQ== X-Forwarded-Encrypted: i=1; AJvYcCWwF9cVmCqkYOx1RPJ48CZPWwGwYrh/pUVIa000uDJguPoGo4bbSIG4U0z8HtL2haYDN0raXaeN06QFAj9g5EgXfkBo1W0= X-Gm-Message-State: AOJu0YwZRawytkOc61gviIqxv1/PrA9VRESNY4ht/G6HRgVjwFy12PRH w+hy2SbUYSaXps6BuL9y3mjGxdafAomzfp1JfQWQacDqguIkQeoU X-Google-Smtp-Source: AGHT+IFOxsnfUUY4n2i8TVlAYvaKLRbISKUneXyYgYjtiioKQfBbTnQJaw5U8jd31rU0ar05wb6Rug== X-Received: by 2002:a7b:c052:0:b0:426:5c81:2538 with SMTP id 5b1f17b1804b1-426707cf827mr125374405e9.14.1720973822471; Sun, 14 Jul 2024 09:17:02 -0700 (PDT) Received: from lumine.fritz.box (85-127-20-124.dsl.dynamic.surfer.at. [85.127.20.124]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-4279f25a957sm90266245e9.13.2024.07.14.09.17.01 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 14 Jul 2024 09:17:02 -0700 (PDT) Message-ID: <5bc6bc1832077b3153fcb28ed0ef9233411ea69d.camel@HIDDEN> Subject: Re: [PATCH 0/3] gnu: klee: Enable test suite From: Liliana Marie Prikler <liliana.prikler@HIDDEN> To: soeren@HIDDEN, 72106 <at> debbugs.gnu.org Date: Sun, 14 Jul 2024 18:17:00 +0200 In-Reply-To: <cover.1720953093.git.soeren@HIDDEN> References: <cover.1720953093.git.soeren@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: 72106 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 14.07.2024 um 12:36 +0200 schrieb soeren@HIDDEN: > Lastly, I also passed a custom #:strip-directories argument to avoid > stripping of LLVM bitcode which (prior to this patchset) caused > strip(1) to emit several warnings in the build log. There is only .bca files in there, right? > P.S.: I also think it might be worthwhile to only enable the KLEE > package on x86_64 Linux <https://issues.guix.gnu.org/71925#18>.=C2=A0 Let > me know if I should add that as well :-) Ah, yes, good catch.
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 11:44:25 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 07:44:25 2024 Received: from localhost ([127.0.0.1]:57215 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sSxeT-0003ql-FV for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 07:44:25 -0400 Received: from mail-lf1-f66.google.com ([209.85.167.66]:44295) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <liliana.prikler@HIDDEN>) id 1sSxeR-0003qX-O0 for 72106 <at> debbugs.gnu.org; Sun, 14 Jul 2024 07:44:24 -0400 Received: by mail-lf1-f66.google.com with SMTP id 2adb3069b0e04-52e9f863c46so3780308e87.1 for <72106 <at> debbugs.gnu.org>; Sun, 14 Jul 2024 04:44:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1720957396; x=1721562196; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=RUkuXfJ/+e386gb4AGfMJHh665EbNCeXfVAHoI97TLo=; b=JL5dV5OegvUimg2Eqm3Zs/O4P9pAjQV7+z4vj5xxycFhRzRJGmUZezhJTVUJAX7+Fk 7siw+dJ5nmoMQFX5uN9uswqEulVU4mFt8C9Gw1/0r3CcWjTUxyCWxx6MZmnC6vfjkbIN CWjc0I18iWkkGNAT84tL2pAAdc+qYhmzYZhSSCiWfW9UNIxZbZ49qrHRZbId+n8N8A00 c2koaAVwehrhJM+rf7KIM+6+yiTOZKhyCVbMwFZAkYGynSBczlXecKCMhrjc4puZZfmm XXlsDKBO4evvD4Vr2OpKCQEH2yp5thd0fB5241tohLkTltXJD0Ua21qLFHh7JDIBaBeo OSiw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1720957396; x=1721562196; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=RUkuXfJ/+e386gb4AGfMJHh665EbNCeXfVAHoI97TLo=; b=wx2gyMhTGAsQtUDCh+tk//V/LgBmC8Uj9hqESCV5lhFtOdqcTDWFrjmHgKj7pYQZGF MLZCA/pYGIovbugN7Y7QoR0EKgCD0H3QnfcdYEoECL/3DRMj66E5Vne21b5OnoRjFl34 nlhJFOOKfxKIGqj6+qa5+YeDvjQceei3f+fhNpVfLrOPCPUGhM7Y2/RiGVGQXeB/345v Zbh8EVpfW3lY+JNs0EambCDf/E11c9I/GFAsLjb0GIn8GSyXHulNJJ3Z55xqEDXGzx0D LijcYWmfT13qyez4Jk6V3fJkNu8d62WesP5LN3gbRImVWBvak2BRU1x9QKNkmhUXgfwg k8GQ== X-Forwarded-Encrypted: i=1; AJvYcCWsr5OZiTIw931m82yuGkgRkc44cQnFUt9AiWMVSO0oUfPkk4PuPoTJzPfN+dNX9UXcqh160Bd8F2qRKw4hQeIsCwzwfKk= X-Gm-Message-State: AOJu0Yw3K7ZmaA7oMjvTPk9zj5PHRXhNV1l/7gLfQ9d+0DHheiK28/ZH 0R/x3LoK+5+uhwtF2lM5iL3+SZiQfigRyJ6RXAtCLpPUOn/2tfbC X-Google-Smtp-Source: AGHT+IEEb/RrAnufTJGHy/NY22H/Ddne7r8i1DPjl4MOGYbuWCa9l784nd7IFBAMDB9V+r0FqNe84Q== X-Received: by 2002:a05:6512:401d:b0:52e:9fe0:bee4 with SMTP id 2adb3069b0e04-52eb9990e64mr11348934e87.9.1720957395944; Sun, 14 Jul 2024 04:43:15 -0700 (PDT) Received: from lumine.fritz.box (85-127-20-124.dsl.dynamic.surfer.at. [85.127.20.124]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-427a8799e7esm39673365e9.18.2024.07.14.04.43.15 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 14 Jul 2024 04:43:15 -0700 (PDT) Message-ID: <1de2040ef0eb380b20bd893a67428826ec547698.camel@HIDDEN> Subject: Re: [PATCH 1/3] gnu: klee: Propagate Python dependencies needed by klee-stats. From: Liliana Marie Prikler <liliana.prikler@HIDDEN> To: soeren@HIDDEN, 72106 <at> debbugs.gnu.org Date: Sun, 14 Jul 2024 13:43:13 +0200 In-Reply-To: <2f96e525abd91df6bf774c18e601f497bffa618f.1720953093.git.soeren@HIDDEN> References: <cover.1720953093.git.soeren@HIDDEN> <2f96e525abd91df6bf774c18e601f497bffa618f.1720953093.git.soeren@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: 72106 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 14.07.2024 um 12:42 +0200 schrieb soeren@HIDDEN: > From: S=C3=B6ren Tempel <soeren@HIDDEN> >=20 > Without these dependencies, the klee-stats Python script, > which is shipped by the klee package, does not work correctly. >=20 > * gnu/packages/check.scm (klee): Add propagated Python inputs. Can we use a wrapper instead?
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 10:42:35 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 06:42:34 2024
Received: from localhost ([127.0.0.1]:57202 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sSwgc-00082Y-HG
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 06:42:34 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:33611)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sSwgZ-00081p-35; Sun, 14 Jul 2024 06:42:31 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=bU2150kK
Ecbw9iJJrk8Hb3AFf6PdxTB+h+3WQOiKgvI=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=IKEhxULUYdZPyhSqBypCo5ZSO/L
6bTNjRSKESJzL2IJ+ja0+y0vR6cgE7kijAjlRNlbGURBgKV56UyVg/6D/ca9eE14WgXp9h
/ZiQ4SvNj1xzrJskdSsB2igvedYYD/LobeeRdAvHVSmIRhy8JMudqJ3ypERyA6G7zZ+Zc/
r8s8=
Received: from localhost
(dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de
[2a02:3102:49da:1b:720e:aee8:aafa:f98d])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id ec6ed8b5
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 14 Jul 2024 12:42:29 +0200 (CEST)
From: soeren@HIDDEN
To: 72106 <at> debbugs.gnu.org
Subject: [PATCH 3/3] gnu: klee: Only strip bin directory.
Date: Sun, 14 Jul 2024 12:42:15 +0200
Message-ID: <c692edb365bb126a03b27a9bbb63df29726ff8e5.1720953093.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <cover.1720953093.git.soeren@HIDDEN>
References: <cover.1720953093.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: 72106
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>
This avoid several warnings to be emitted by strip(1) when attempting
to strip .bca (i.e. LLVM bitcode) files shipped in /lib/klee/runtime/.
* gnu/packages/check.scm (klee): Set #:strip-directories.
---
gnu/packages/check.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 14d7124908..47e99a6be5 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1063,6 +1063,7 @@ (define-public klee
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
+ #:strip-directories #~(list "bin") ;don't strip LLVM bitcode in /lib
#:test-target "check"
#:phases
#~(modify-phases %standard-phases
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 10:42:31 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 06:42:31 2024
Received: from localhost ([127.0.0.1]:57199 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sSwgZ-00082I-0c
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 06:42:31 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:33611)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sSwgV-00081p-FS; Sun, 14 Jul 2024 06:42:28 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=jK/OlAnR
Dsq7BtWFQ5XGXZgWYNcElHQv1Hr0fJcomek=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=Tc5wlt0lks2kwf/AnzgYNyNXC6U
J9nDWl4FYiPLhZt9FzNSJUjcl4cGWRvW61Pba3QjdkqIM1rgH5O0itPjRAC39qrxAuQodH
jp5UDhmL/vDfxTMaaIVYYBGhYYundawfssUF7Xe0ke+eXRVqg8DyZkA+VEUYcGuitSFlbH
jwLI=
Received: from localhost
(dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de
[2a02:3102:49da:1b:720e:aee8:aafa:f98d])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 824deea9
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 14 Jul 2024 12:42:25 +0200 (CEST)
From: soeren@HIDDEN
To: 72106 <at> debbugs.gnu.org
Subject: [PATCH 2/3] gnu: klee: Enable the test suite.
Date: Sun, 14 Jul 2024 12:42:14 +0200
Message-ID: <3628ef5ffdfff900c749131956e3109dbd813493.1720953093.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <cover.1720953093.git.soeren@HIDDEN>
References: <cover.1720953093.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: 72106
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): Enable all tests.
[arguments]: Add phase to patch lit configuration, set #:test-target.
<#:configure-flags?>: Enable system and unit tests, configure gtest.
[inputs]: Add googletest and python-lit.
---
gnu/packages/check.scm | 29 ++++++++++++++++++++++++++---
1 file changed, 26 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index f31e1bdb36..14d7124908 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1063,13 +1063,23 @@ (define-public klee
(base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6"))))
(arguments
(list
+ #:test-target "check"
#:phases
#~(modify-phases %standard-phases
- (add-after 'unpack 'patch
+ (add-after 'unpack 'patch-cmake
(lambda _
(substitute* "CMakeLists.txt"
(("\\$\\{KLEE_UCLIBC_PATH\\}/lib/libc\\.a")
"${KLEE_UCLIBC_PATH}"))))
+ (add-after 'unpack 'patch-lit-config
+ (lambda _
+ ;; Make sure that we retain the value of the GUIX_PYTHONPATH
+ ;; environment variable in the test environmented created by
+ ;; python-lit. Otherwise, the test scripts won't be able to
+ ;; find the python-tabulate dependency, causing test failures.
+ (substitute* "test/lit.cfg"
+ (("addEnv\\('PWD'\\)" env)
+ (string-append env "\n" "addEnv('GUIX_PYTHONPATH')")))))
(add-after 'install 'wrap-hooks
(lambda* (#:key inputs outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
@@ -1080,7 +1090,13 @@ (define-public klee
`("KLEE_RUNTIME_LIBRARY_PATH" =
(,(string-append lib "/klee/runtime/"))))))))
#:configure-flags
- #~(list (string-append "-DLLVMCC="
+ #~(list "-DENABLE_UNIT_TESTS=ON"
+ "-DENABLE_SYSTEM_TESTS=ON"
+ (string-append "-DGTEST_SRC_DIR="
+ (assoc-ref %build-inputs "googletest"))
+ (string-append "-DGTEST_INCLUDE_DIR="
+ (assoc-ref %build-inputs "googletest") "/googletest/include")
+ (string-append "-DLLVMCC="
(search-input-file %build-inputs "/bin/clang"))
(string-append "-DLLVMCXX="
(search-input-file %build-inputs "/bin/clang++"))
@@ -1090,7 +1106,14 @@ (define-public klee
;; klee-stats tool (shipped in /bin) requires Python.
(propagated-inputs (list python python-tabulate))
(native-inputs (list clang-13 llvm-13 python-lit))
- (inputs (list bash-minimal klee-uclibc gperftools sqlite z3))
+ (inputs
+ `(("bash-minimal" ,bash-minimal)
+ ("klee-uclibc" ,klee-uclibc)
+ ("gperftools" ,gperftools)
+ ("sqlite" ,sqlite)
+ ("z3" ,z3)
+ ("python-lit" ,python-lit)
+ ("googletest" ,(package-source googletest))))
(build-system cmake-build-system)
(home-page "https://klee-se.org/")
(synopsis "Symbolic execution engine")
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 10:42:29 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 06:42:29 2024
Received: from localhost ([127.0.0.1]:57197 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sSwgW-000824-NU
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 06:42:28 -0400
Received: from magnesium.8pit.net ([45.76.88.171]:33611)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <soeren@HIDDEN>)
id 1sSwgU-00081p-GK; Sun, 14 Jul 2024 06:42:27 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=pAIB28EV
2EOu6+lXunicw4spUDclmd/FmTTmfF7duBU=;
h=references:in-reply-to:date:
subject:cc:to:from; d=soeren-tempel.net; b=wtdO31rL7mGhDLZIPHT839KEst/
2P6uGoEH332yVsytNyOs78Ko/G62cZt0BJTHbgK7QwRnUqWJ1L8lO50VPttzYqONNs3qPE
cK9HwBW6CSSFSDezhmbaM3YhzQL70xFj48+GfkKBS2Ky0Rc63CDVTW+t+Ah7WbV6Kdiie/
L2D4=
Received: from localhost
(dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de
[2a02:3102:49da:1b:720e:aee8:aafa:f98d])
by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id 58842ae0
(TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES);
Sun, 14 Jul 2024 12:42:22 +0200 (CEST)
From: soeren@HIDDEN
To: 72106 <at> debbugs.gnu.org
Subject: [PATCH 1/3] gnu: klee: Propagate Python dependencies needed by
klee-stats.
Date: Sun, 14 Jul 2024 12:42:13 +0200
Message-ID: <2f96e525abd91df6bf774c18e601f497bffa618f.1720953093.git.soeren@HIDDEN>
X-Mailer: git-send-email 2.45.2
In-Reply-To: <cover.1720953093.git.soeren@HIDDEN>
References: <cover.1720953093.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: 72106
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>
Without these dependencies, the klee-stats Python script,
which is shipped by the klee package, does not work correctly.
* gnu/packages/check.scm (klee): Add propagated Python inputs.
---
gnu/packages/check.scm | 2 ++
1 file changed, 2 insertions(+)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 3bfcf5a37e..f31e1bdb36 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -1087,6 +1087,8 @@ (define-public klee
(string-append "-DKLEE_UCLIBC_PATH="
(search-input-file %build-inputs "/lib/klee/libc.a"))
"-DENABLE_POSIX_RUNTIME=ON")))
+ ;; klee-stats tool (shipped in /bin) requires Python.
+ (propagated-inputs (list python python-tabulate))
(native-inputs (list clang-13 llvm-13 python-lit))
(inputs (list bash-minimal klee-uclibc gperftools sqlite z3))
(build-system cmake-build-system)
guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.Received: (at submit) by debbugs.gnu.org; 14 Jul 2024 10:37:02 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 06:37:02 2024 Received: from localhost ([127.0.0.1]:57190 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sSwbF-0007td-OM for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 06:37:02 -0400 Received: from lists.gnu.org ([209.51.188.17]:35166) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <soeren@HIDDEN>) id 1sSwbE-0007tU-Hx for submit <at> debbugs.gnu.org; Sun, 14 Jul 2024 06:37:01 -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 1sSwbC-00041f-NF for guix-patches@HIDDEN; Sun, 14 Jul 2024 06:36:58 -0400 Received: from magnesium.8pit.net ([45.76.88.171]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <soeren@HIDDEN>) id 1sSwbA-0000FW-NS; Sun, 14 Jul 2024 06:36:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=+1C55jRk XiuKjGbt1lslca7/ju3raqWw2ktU4A5YaNo=; h=date:subject:cc:to:from; d=soeren-tempel.net; b=VgtLW0Ck/q1oNwG1cRewDT3+fbmHXMCTxhlc7091akOZ0fD bjtlU+7OLJdoZ0H9XkByilKl1lB0L3aHQDSf3fRmFux5rl2yd0OXgwEL24gY/N72ITNEFd g4i/HlaAp4Hy30Vi8M1sb+j+rLvcASAuriCu6/b6rppsxNyrI/ZbxQ= Received: from localhost (dynamic-2a02-3102-49da-001b-720e-aee8-aafa-f98d.310.pool.telefonica.de [2a02:3102:49da:1b:720e:aee8:aafa:f98d]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id a8071e58 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sun, 14 Jul 2024 12:36:51 +0200 (CEST) From: soeren@HIDDEN To: guix-patches@HIDDEN Subject: [PATCH 0/3] gnu: klee: Enable test suite Date: Sun, 14 Jul 2024 12:36:16 +0200 Message-ID: <cover.1720953093.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=45.76.88.171; envelope-from=soeren@HIDDEN; helo=magnesium.8pit.net X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit 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: -2.4 (--) From: Sören Tempel <soeren@HIDDEN> The KLEE version packaged added in #71634 did not enable the KLEE test suite. This patchset re-adds the changes from #68296 to get the test suite to pass. Additionally, while working on this, I noticed that the current KLEE package does not propagate the Python dependencies needed by klee-stats, which I fixed as well. Lastly, I also passed a custom #:strip-directories argument to avoid stripping of LLVM bitcode which (prior to this patchset) caused strip(1) to emit several warnings in the build log. P.S.: I also think it might be worthwhile to only enable the KLEE package on x86_64 Linux <https://issues.guix.gnu.org/71925#18>. Let me know if I should add that as well :-) Sören Tempel (3): gnu: klee: Propagate Python dependencies needed by klee-stats. gnu: klee: Enable the test suite. gnu: klee: Only strip bin directory. gnu/packages/check.scm | 32 +++++++++++++++++++++++++++++--- 1 file changed, 29 insertions(+), 3 deletions(-) base-commit: c1d367f57e89c3f2efd964e6d638bd89b0b1df97
soeren@HIDDEN:guix-patches@HIDDEN.
Full text available.guix-patches@HIDDEN:bug#72106; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.