[Ur] about the -static compiler flag

Adam Chlipala adamc at csail.mit.edu
Fri Nov 23 08:00:08 EST 2018


On 11/23/18 5:04 AM, Chris Double wrote:
> It's possible to get a complete static executable from urweb by using
> musl-libc [1] and a workaround. I tried with a simple "hello world"
> type project, with musl installed:
>
> $ urweb -protocol http -output test -ccompiler musl-gcc -static hello1

Neat!  So just running the 'configure' script with the right arguments 
can enable the right command line.

> Would you be interested in a PR for replacing timelocal usage?
I'm always interested in PRs that substitute behavior-equivalent code 
that relies less on functions from outside appropriate standards like 
POSIX (assuming said PRs don't bring in tons of hard-to-maintain code).  
Is timelocal such a case?



More information about the Ur mailing list