gmp on Genode + Fiasco.OC

[Norman Feske]

Hello,

from the error log, I gather that the GMP header file expects the C++
standard library to be present, which is apparently not the case on
Genode. As an interim solution, you may follow the advice given in the
following thread:

  https://sourceforge.net/mailarchive/message.php?msg_id=27171714

Please report if that works for you. If so, we might wrap the solution
into a simple-to-use Genode library and include it in the next release.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth