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.
