Wiki updates

[Stefan Frijters]

On Tuesday, 21 August 2012 at 19:01:17 UTC, Johannes Pfau wrote:
> I restructured the http://gdcproject.org/wiki/Installation I 
> also added a Raspberry Pi overview page
> http://gdcproject.org/wiki/Raspberry Pi and a new installation 
> guide
> for raspbian
> http://gdcproject.org/wiki/Raspberry%20Pi/build/raspbian_hardfloat
> would be great if someone could test the raspbian guide and 
> report any
> success or failures. It works for me, but I'm not sure if I 
> forgot to
> document some details.

I did this overnight on a fresh/stripped down copy of Raspbian 
(updated to 3.2.27 #54 PREEMPT) and it seems to have worked. To 
prevent the sort of problem that Sönke Ludwig has had I also 
added

apt-get install gcc-4.7-source autogen

Just looking at the dependencies of gcc-4.7-source and installing 
those should work as well (as now you get the source twice), but 
I was lazy.

My configure was also slightly different (left out some c++ 
related stuff and used -disable-nls ), but nothing that should 
have affected anything important I think.

Thanks again for the clean instructions / wiki update!