* [bug#64685] [PATCH 1/1] gnu: frama-c: depend on zlib
2023-07-17 17:32 [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input! Vivien Kraus via Guix-patches via
@ 2023-07-16 6:07 ` Vivien Kraus via Guix-patches via
2023-07-17 19:35 ` bug#64685: [PATCH 0/1] Frama-C needs zlib as an input! Julien Lepiller
1 sibling, 0 replies; 3+ messages in thread
From: Vivien Kraus via Guix-patches via @ 2023-07-16 6:07 UTC (permalink / raw)
To: 64685
* 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
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input!
@ 2023-07-17 17:32 Vivien Kraus via Guix-patches via
2023-07-16 6:07 ` [bug#64685] [PATCH 1/1] gnu: frama-c: depend on zlib Vivien Kraus via Guix-patches via
2023-07-17 19:35 ` bug#64685: [PATCH 0/1] Frama-C needs zlib as an input! Julien Lepiller
0 siblings, 2 replies; 3+ messages in thread
From: Vivien Kraus via Guix-patches via @ 2023-07-17 17:32 UTC (permalink / raw)
To: 64685
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 336 bytes --]
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* bug#64685: [PATCH 0/1] Frama-C needs zlib as an input!
2023-07-17 17:32 [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input! Vivien Kraus via Guix-patches via
2023-07-16 6:07 ` [bug#64685] [PATCH 1/1] gnu: frama-c: depend on zlib Vivien Kraus via Guix-patches via
@ 2023-07-17 19:35 ` Julien Lepiller
1 sibling, 0 replies; 3+ messages in thread
From: Julien Lepiller @ 2023-07-17 19:35 UTC (permalink / raw)
To: Vivien Kraus; +Cc: 64685-done
Le Mon, 17 Jul 2023 19:32:13 +0200,
Vivien Kraus via Guix-patches via <guix-patches@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.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-07-17 19:36 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-07-17 17:32 [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input! Vivien Kraus via Guix-patches via
2023-07-16 6:07 ` [bug#64685] [PATCH 1/1] gnu: frama-c: depend on zlib Vivien Kraus via Guix-patches via
2023-07-17 19:35 ` bug#64685: [PATCH 0/1] Frama-C needs zlib as an input! Julien Lepiller
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).