Hi, On Mon, Jun 30, 2014 at 04:47:33PM +0200, Emilio Pozuelo Monfort wrote: > On 30/06/14 14:49, Alberto Garcia wrote: > > On Thu, Jun 26, 2014 at 01:34:38AM +0100, peter green wrote: > > > >> webkitgtk failed to build on arm64, the following was the final error in > >> the build log (there were a load of others before it too) > > > > Do we have access to a machine where we can try to fix the build? > > > >> debian/patches/aarch64.patch, debian/patches/fix-aarch64.patch: > >> from their title and description these are obviously arm64 related. > > > > I guess this is the build fix.
Yes, this is necessary. I didn't really look into why these work for arm64 for (Apple) upstream but not on Ubuntu. Are these (iOS devices) known to be different to our arm64 thingies? I guess an upstreamable interim workaround would be to (&& PLAFORM(IOS)) these. I'm sorry but I can't find the place that I got disable-jit-harder.diff from (should have added patch headers...). From memory I applied it to resolve build failures with arm64 too. I see that apple and chromium's trees have this patch, but webkitgtk (webkit.org) SVN doesn't. Was probably attached to a bug on bugs.webkit.org. I suggest you try without it and see what happens. If it fails then the error will probably lead you to the same patch. > > > >> debian/rules: changes to list of no-jit architectures > >> ubuntu added arm64 and ppc64el > > > > I guess this one too. Yep. > > Adding Iain to Cc, looks like he did those changes so he may know what we want > to merge back. Thanks. The X-Debbugs-CC was right but I've had some woes on my mailserver so some messages got dropped on the floor. I guess this was a victim of that. -- Iain Lane [ [email protected] ] Debian Developer [ [email protected] ] Ubuntu Developer [ [email protected] ] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
