Norman,
That fixed the issue.
Thanks kc
On 7/27/11 11:35 AM, Norman Feske wrote:
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