[Ur] Ur/Web on Raspbian

[Adam Chlipala]

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.