bug#43221: closed (webkitgtk fails to build on aarch64)

[GNU bug Tracking System]

Your message dated Sat, 5 Sep 2020 22:16:38 +0200
with message-id <20200905201638.GA23129@jurong>
and subject line Re: bug#43221: webkitgtk fails to build on aarch64
has caused the debbugs.gnu.org bug report #43221,
regarding webkitgtk fails to build on aarch64
to be marked as done.

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


-- 
43221: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43221
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> webkitgtk fails to build on aarch64
>
>
>
>
> Date: 
>
> Sat, 05 Sep 2020 21:57:56 +0700
>
>
>
>
> Hello Guixes.
>
> OK, picture:  webkitgtk has propagated-input  libsoup
>               libsoup has   native-input      php
>
> The libsoup builds fine, but one of its tests (performed by php) fails.
> So webkitgtk is unavailable on aarch64.
>
> Bye.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#43221: webkitgtk fails to build on aarch64
>
>
>
>
> Date: 
>
> Sat, 5 Sep 2020 22:16:38 +0200
>
>
>
>
> On Sat, Sep 05, 2020 at 01:14:06PM -0700, Mike Rosset wrote:
> >   It's working now on aarch64-linux. I'm using guix describe @
> > 81ea278e05986f9ccee078bd00d4d7fc309dd19c at least it's serving
> > substitutes.
> > 
> > Think we can close this now.
>
> Thanks for the confirmation, closing it.
>
> Andreas
>
>
>
> --- End Message ---