Efraim Flashner <efraim@flashner.co.il> writes:

> On Sat, Jan 19, 2019 at 07:09:04PM +0200, Efraim Flashner wrote:
>> 
>> I'm going to see if I can build hello --target=arm-linux-gnueabihf next
>> and see how that works.
>
> When I get to gcc-cross-arm-linux-gnueabihf it fails during configure,
> cannot find gmp.h. Looking at (gnu packages cross-base), I don't think
> there are any package-inputs for xgcc. I still thought gcc bundled its
> own gmp et. al.

I'm happy to report that the cross-compilation issues are resolved with
this trivial patch: