On Friday, November 23, 2018, at 8:00 AM EST, Adam Chlipala wrote:
> 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
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!
On Fri, Nov 23, 2018 at 11:04 PM 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:
A quick gist going through the steps to build a static
On Wed, Oct 31, 2018 at 8:28 AM Adam Chlipala wrote:
>
> I don't know if this GitHub issue is related, but in general I made a token
> effort (about 10 years ago) to support static linking by adding one flag to
> the GCC/Clang command line, and it has been clear for years that more
>