bug#64685: closed ([PATCH 0/1] Frama-C needs zlib as an input!)

[GNU bug Tracking System]

Your message dated Mon, 17 Jul 2023 21:35:30 +0200
with message-id <20230717213530.23d3f894@lepiller.eu>
and subject line Re: [bug#64685] [PATCH 0/1] Frama-C needs zlib as an input!
has caused the debbugs.gnu.org bug report #64685,
regarding [PATCH 0/1] Frama-C needs zlib as an input!
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
64685: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64685
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/1] Frama-C needs zlib as an input!
>
>
>
>
> Date: 
>
> Mon, 17 Jul 2023 19:32:13 +0200
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> 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
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> 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@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.
>
>
> --- End Message ---