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.)
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
