[Ur] Ur/Web on Raspbian

[jasonpepas at gmail.com]

> On Feb 23, 2016, at 10:55 AM, Adam Chlipala <adamc at csail.mit.edu> wrote:
> 
>> On 02/23/2016 11:35 AM, Austin Seipp wrote:
>> Truthfully, I think it would be much nicer to just have urweb itself
>> emit a standalone C file, including the entire runtime system with it
>> (literally, copying its source into the output .c file). Then
>> 'building it' is as trivial as either copying and compiling, or
>> running arm-linux-gnueabihf-gcc on your host machine, and copying the
>> result of that.
> 
> I wouldn't mind at all adding such a mode (opt-in) to the compiler, especially if someone else (not me) submits a pull request with the required code.

Subscribed.