[PATCH 0/1] Frama-C needs zlib as an input!

  • Done
  • quality assurance status badge
Details
2 participants
  • Julien Lepiller
  • Vivien Kraus
Owner
unassigned
Submitted by
Vivien Kraus
Severity
normal

Debbugs page

Vivien Kraus wrote 2 years ago
(name . guix-patches)(address . guix-patches@gnu.org)
cover.1689615133.git.vivien@planete-kraus.eu
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
Vivien Kraus wrote 2 years ago
[PATCH 1/1] gnu: frama-c: depend on zlib
(address . 64685@debbugs.gnu.org)
7903792064e6c43657abb00ca6e207694912b06e.1689615133.git.vivien@planete-kraus.eu
* gnu/packages/maths.scm (frama-c) [inputs]: Add zlib.
---
gnu/packages/maths.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

Toggle diff (15 lines)
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
Julien Lepiller wrote 2 years ago
Re: [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input!
(name . Vivien Kraus)(address . vivien@planete-kraus.eu)(address . 64685-done@debbugs.gnu.org)
20230717213530.23d3f894@lepiller.eu
Le Mon, 17 Jul 2023 19:32:13 +0200,
Vivien Kraus via Guix-patches via <guix-patches@gnu.org> a écrit :

Toggle quote (18 lines)
> 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.
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 64685@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 64685
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help