Re: [dev] Ada not Rust

From: Greg Reagle <greagle_AT_fastmail.fm>
Date: Tue, 20 Apr 2021 05:40:19 -0400

On Mon, Apr 19, 2021, at 20:37, Samuel Holland wrote:
> On my machine (using musl), using `-largs -static` is sufficient to get a fully
> static PIE executable:

Thank you. (My machine has glibc). I can do it now.

$ gnatmake hello -largs -static -bargs -static
$ ldd hello
        not a dynamic executable

Of course it is big now: 1.2M. I assume if I had musl it would be smaller.
Received on Tue Apr 20 2021 - 11:40:19 CEST