From debbugs-submit-bounces@debbugs.gnu.org Mon Jul 17 13:55:42 2023 Received: (at submit) by debbugs.gnu.org; 17 Jul 2023 17:55:42 +0000 Received: from localhost ([127.0.0.1]:50875 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qLSRh-0004DX-Ow for submit@debbugs.gnu.org; Mon, 17 Jul 2023 13:55:41 -0400 Received: from lists.gnu.org ([2001:470:142::17]:53070) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qLSRe-0004DC-UK for submit@debbugs.gnu.org; Mon, 17 Jul 2023 13:55:40 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qLSRW-0003m1-NX for guix-patches@gnu.org; Mon, 17 Jul 2023 13:55:31 -0400 Received: from planete-kraus.eu ([89.234.140.182]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1qLSRT-0005zw-Vc for guix-patches@gnu.org; Mon, 17 Jul 2023 13:55:30 -0400 Received: from planete-kraus.eu (localhost.lan [127.0.0.1]) by planete-kraus.eu (OpenSMTPD) with ESMTP id 16543ac1 for ; Mon, 17 Jul 2023 17:55:21 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=planete-kraus.eu; h= message-id:from:date:subject:to:mime-version; s=dkim; bh=rm0NDHV VYXJ+u/iPnm9jQsjhTb8=; b=sxSq/RsXFv5og/7VA4rA5VgIRMJ6IBvqBX3ft8F rSxfadYHN4zYhSqXIaZnMy2r+R3Rd/IFJ7QCIhAkVkWz6kOAwE8cbccK1uoUVrM9 xJLUp64BQtxA02ah5QhO5lBXoSwm+Cdx3aCWtEP01AdYFiYrjf39YRGjiD3l8xgN 3Z1o= Received: by planete-kraus.eu (OpenSMTPD) with ESMTPSA id c62324bd (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for ; Mon, 17 Jul 2023 17:55:18 +0000 (UTC) Message-Id: From: Vivien Kraus Date: Mon, 17 Jul 2023 19:32:13 +0200 Subject: [PATCH 0/1] Frama-C needs zlib as an input! To: guix-patches MIME-Version: 1.0 User-Agent: Evolution 3.46.4 Received-SPF: pass client-ip=89.234.140.182; envelope-from=vivien@planete-kraus.eu; helo=planete-kraus.eu 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, PP_MIME_FAKE_ASCII_TEXT=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.1 (/) Dear guix, I’d like to play with frama-c, but the build fails. Adding zlib seems to fix it. What do you think? Best regards, Vivien Vivien Kraus (1): gnu: frama-c: depend on zlib gnu/packages/maths.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) base-commit: d08bd19de0b06d5da7f2c06fb733e245b566dd54 -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Mon Jul 17 13:57:07 2023 Received: (at 64685) by debbugs.gnu.org; 17 Jul 2023 17:57:07 +0000 Received: from localhost ([127.0.0.1]:50880 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qLST5-0004GU-4S for submit@debbugs.gnu.org; Mon, 17 Jul 2023 13:57:07 -0400 Received: from planete-kraus.eu ([89.234.140.182]:56148) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qLST2-0004GK-BV for 64685@debbugs.gnu.org; Mon, 17 Jul 2023 13:57:05 -0400 Received: from planete-kraus.eu (localhost.lan [127.0.0.1]) by planete-kraus.eu (OpenSMTPD) with ESMTP id 309cf982 for <64685@debbugs.gnu.org>; Mon, 17 Jul 2023 17:57:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=planete-kraus.eu; h= message-id:in-reply-to:references:from:date:subject:to :mime-version; s=dkim; bh=Ygr1NJgebGh8OH+X/t2X0t+Kj0E=; b=tXcekP PLdiQdthJdvVNwTXWtUhFymbN1xHBgQ0tQvKaTNmw+Zb2N/HFXIimEN7Gy+KkL+m eQXDbe5ZgDiBoT0MVwk+EymxNrU52Y8lsyv5C+zQVjRm8ePAEnjdNdqsk8k8IF98 P5JtvAtuogkZYjBP+IieIO5AcgyUoBO8yn3E4= Received: by planete-kraus.eu (OpenSMTPD) with ESMTPSA id 93f5e920 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <64685@debbugs.gnu.org>; Mon, 17 Jul 2023 17:57:00 +0000 (UTC) Message-Id: <7903792064e6c43657abb00ca6e207694912b06e.1689615133.git.vivien@planete-kraus.eu> In-Reply-To: References: From: Vivien Kraus Date: Sun, 16 Jul 2023 08:07:48 +0200 Subject: [PATCH 1/1] gnu: frama-c: depend on zlib To: 64685@debbugs.gnu.org MIME-Version: 1.0 User-Agent: Evolution 3.46.4 X-Spam-Score: 0.5 (/) X-Debbugs-Envelope-To: 64685 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.5 (/) * gnu/packages/maths.scm (frama-c) [inputs]: Add zlib. --- gnu/packages/maths.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 03f8a56ea0..cd9b0fc325 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -8182,7 +8182,7 @@ (define-public frama-c (setenv "CONFIG_SHELL" (search-input-file inputs "/bin/sh"))))))) (inputs - (list gmp)) + (list gmp zlib)) (propagated-inputs (list ocaml-biniou ocaml-easy-format -- 2.40.1 From debbugs-submit-bounces@debbugs.gnu.org Mon Jul 17 15:35:40 2023 Received: (at 64685-done) by debbugs.gnu.org; 17 Jul 2023 19:35:40 +0000 Received: from localhost ([127.0.0.1]:50952 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qLU0R-0006kB-OK for submit@debbugs.gnu.org; Mon, 17 Jul 2023 15:35:40 -0400 Received: from lepiller.eu ([2a00:5884:8208::1]:47446) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qLU0O-0006jv-AT for 64685-done@debbugs.gnu.org; Mon, 17 Jul 2023 15:35:38 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id e9d2f71b; Mon, 17 Jul 2023 19:35:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=fPBbt22UzzJV N35ujyKSUb+tug8Yt2iahyMhPhlL+9w=; b=QfBxC4y6jyNHeWxP3XV+Y+zjKIew 9rc6hYnAaGk1biycW5Hdoq7zqlaHvPZC5m+nvD1Qk83ozpg8G47Xf2gWVyxZc9eZ iZZe5e0KGtwWZ+kzKftLFchagetLHsEUjX/9OxE0UYHx75nlPmOkcBi6w3Fkp3B3 rRk1L7UvfTWBoQn31jS3q6zkwEwMDqmzpLO4z1sqwnwSjKJ5CXeBfhUAcCOVIhn0 5XSo7rbcAfFBquxdUd103beLNQhTyscHjkYwYdbKCmv6FF6UuwkT+YWg97H07xGI oaFMUMWRsX9qaldKv/Qn/j9a56vwszhCZ3qIWKhgm9yaA+O/FVsehZsMaw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id d4aa85ab (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Mon, 17 Jul 2023 19:35:31 +0000 (UTC) Date: Mon, 17 Jul 2023 21:35:30 +0200 From: Julien Lepiller To: Vivien Kraus Subject: Re: [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input! Message-ID: <20230717213530.23d3f894@lepiller.eu> In-Reply-To: References: X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) 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: 64685-done Cc: 64685-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Le Mon, 17 Jul 2023 19:32:13 +0200, Vivien Kraus via Guix-patches via a =C3=A9crit : > Dear guix, >=20 > I=E2=80=99d like to play with frama-c, but the build fails. Adding zlib s= eems > to fix it. What do you think? >=20 > Best regards, >=20 > Vivien >=20 > Vivien Kraus (1): > gnu: frama-c: depend on zlib >=20 > gnu/packages/maths.scm | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) >=20 >=20 > base-commit: d08bd19de0b06d5da7f2c06fb733e245b566dd54 Hi Vivien, I didn't notice it failing to build, thanks for the patch! Since it fixes a failing build and there are no dependents, I pushed it immediately to master as 1cd3eb66b10ec49e2f9b176a0d06ec9f5ac9896d. From unknown Mon Jun 23 04:13:32 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 15 Aug 2023 11:24:12 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator