bug#57234: closed (Fix build of package icestorm)

[GNU bug Tracking System]

Your message dated Wed, 17 Aug 2022 13:56:32 +0800
with message-id <878rnnct0v.fsf@envs.net>
and subject line Re: bug#57234: Fix build of package icestorm
has caused the debbugs.gnu.org bug report #57234,
regarding Fix build of package icestorm
to be marked as done.

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


-- 
57234: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=57234
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Fix build of package icestorm
>
>
>
>
> Date: 
>
> Tue, 16 Aug 2022 01:58:11 +0200
>
>
>
>
> Hello!
>
> I noticed icestorm doesn't build currently.  I've attached a fix.
>
> TIA for merging soon ;)
>
> g
>
>
> >From de5b7f58c5c18621f69d15e11d78349c0d2d18be Mon Sep 17 00:00:00 2001
> From: Gabriel Wicki <gabriel@erlikon.ch>
> Date: Tue, 16 Aug 2022 01:46:07 +0200
> Subject: [PATCH] gnu: fpga: Fix build of icestorm
>
> * gnu/packages/fpga.scm (icestorm): Fix build.
> [phases]{fix-build}: New phase.
> ---
>  gnu/packages/fpga.scm | 5 +++++
>  1 file changed, 5 insertions(+)
>
> diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm
> index b8f98ca63e..cac4db318d 100644
> --- a/gnu/packages/fpga.scm
> +++ b/gnu/packages/fpga.scm
> @@ -258,6 +258,11 @@ (define-public icestorm
>                (substitute* "icebox/icebox_vlog.py"
>                  (("/usr/local/share") (string-append (assoc-ref outputs "out") 
> "/share")))
>                #t))
> +          (add-after 'fix-usr-local 'fix-build
> +            (lambda _
> +              (substitute* "icetime/icetime.cc"
> +                (("#include <vector>")
> +                 "#include <vector>\n#include <stdexcept>"))))
>            (delete 'configure))))
>      (inputs
>       (list libftdi))
> -- 
> 2.36.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#57234: Fix build of package icestorm
>
>
>
>
> Date: 
>
> Wed, 17 Aug 2022 13:56:32 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
>
>
>
>
> Gabriel Wicki <gabriel@erlikon.ch> writes:
>
> > Hello!
> >
> > I noticed icestorm doesn't build currently.  I've attached a fix.
> >
> > TIA for merging soon ;)
>
> Hello, the latest version of icestorm have that fix, so I updated the
> commit instead of merge this patch, thank you!
>
>
> --- End Message ---