GNU bug report logs - #64685
[PATCH 0/1] Frama-C needs zlib as an input!

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 64685 in the body.
You can then email your comments to 64685 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: guix-patches <guix-patches <at> gnu.org>
Subject: [PATCH 0/1] Frama-C needs zlib as an input!
Date: Mon, 17 Jul 2023 19:32:13 +0200

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

Message #8 received at 64685 <at> debbugs.gnu.org (full text, mbox):

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: 64685 <at> debbugs.gnu.org
Subject: [PATCH 1/1] gnu: frama-c: depend on zlib
Date: Sun, 16 Jul 2023 08:07:48 +0200

* 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

Message #13 received at 64685-done <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Cc: 64685-done <at> debbugs.gnu.org
Subject: Re: [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input!
Date: Mon, 17 Jul 2023 21:35:30 +0200

Le Mon, 17 Jul 2023 19:32:13 +0200,
Vivien Kraus via Guix-patches via <guix-patches <at> gnu.org> a écrit :

> 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

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.

Previous Next

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