Raspberry Pi P-ROC setup guide
Using a Raspberry Pi with P-ROC is not much different than using any other Linux OS. Using the directions on the Linux Build Instructions page should result in a fully-functional environment (keeping in mind that the Raspberry Pi is a pretty under-powered device in general).
You can also download and use the debian toolkit to automatically install everything from the dependencies through libpinproc, pypinproc, and pyprocgame.
The model of Raspberry pi tested was a Model B, Rev 2. The OS used is Raspbian, which is available from http://downloads.raspberrypi.org/raspbian_latest. The specific version of Raspbian used for this test is based on Debian Wheezy. Any other versions (updates or old versions) might change things.
Copying the image to your Raspberry Pi can be accomplished by following the instructions provided on the same download page, or just follow these links:
Once this process is complete, run through initial setup process. Then start building the pinproc components!