> On Feb 23, 2016, at 10:55 AM, Adam Chlipala <[email protected]> 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. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
