2 Commits

Author	SHA1	Message	Date
Stefan Kalkowski	337bb6d5f8	Build gmp and mpfr libary on x86_32 only (fix #135) ... By now the gmp-library works builds on x86/32bit only. The mpfr library depends on gmp, so make both library dependent on the corresponding platform variables. Look at the discussion of issue #135.	2012-05-29 13:55:00 +02:00
Genode Labs	da4e1feaa5	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00