[Ur] NEW USER NEED HELP WITH INSTALLATION

[Adam Chlipala]

Marc Weber wrote:
> What to do? Find the .ml code in urweb running gcc. Add some debugging/
> trace statements so that you know exactly how gcc and the linker are
> invoked - then try to reproduce the errors show above in command line
> then try to fix them.
>    

There's no need for that: the '-debug' flag prints the GCC command 
lines.  (Also, .ml is OCaml; the Ur/Web compiler is implemented in SML, 
whose corresponding extension is .sml.)