PropGCC and Raspberry Pi

1. Install makeinfo.

$ cd ~/tmp/
$ wget http://ftp.gnu.org/gnu/texinfo/texinfo-4.13a.tar.gz
$ tar zxvf texinfo-4.13a.tar.gz
$ cd texinfo-4.13
$ ./configure
$ make
$ export PATH=$PATH:~/tmp/texinfo-4.13/makeinfo/

2. Install Raspberry Pi cross compiler.

$ mkdir ~/rpi
$ cd ~/rpi
$ git clone git://github.com/raspberrypi/tools.git
$ export PATH=$PATH:~/rpi/tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin/

3. Build and install PropGCC.

$ cd ~/tmp/
$ hg clone https://code.google.com/p/propgcc/
$ cd propgcc
$ make CROSS=rpi

The output is in /opt/parallax-rpi.

References:

• Cross compilation instructions
• PropGCC build fails on Ubuntu 13.10

Update: Simple IDE and Raspberry Pi