Pkl, a Programming Language for Configuration

Re:Pkl, a Programming Language for Configuration by iso8859-1 on Sunday February 04, 2024 @11:33AM (#39251655)

Guix/Nix can use dynamic linking without risk since they know the exact dependency closure. It's not fair to compare a statically linked executable to a dynamic one.

[ Parent | on HN ]

Re:Pkl, a Programming Language for Configuration by panzi on Sunday February 04, 2024 @09:27PM (#39256617)

Right, so its still just about 9 MB:

    guile=$(readlink -f $(which guile))
    sizes=$({ echo $guile; ldd $guile|grep /|sed 's+^[^/]*\(/[^ ]*\).*+\1+'; }|xargs -n 1 readlink -f|xargs du -ab|cut -f 1)
    sumsize=0
    for size in $sizes; do
        sumsize=$((sumsize+size));
    done
    echo $sumsize

Gives 9041632 here.

[ Parent | on HN ]

Re:Pkl, a Programming Language for Configuration by Bost on Friday February 16, 2024 @09:01AM (#39397102)

Thanks for the snippet. Now I have a recipe how to calculate the size of a binary file, plus the shared objects, i.e. the so-file(s), it requires directly.

Now I just need to extend your snippet so that it works recursively. A shared object can require other shared objects.

[ Parent | on HN ]