Static gp?

[Andreas Enge <andreas.enge@inria.fr>]

The documentation states that "make bench" creates a static gp binary.
However:

$ file gp-sta
gp-sta: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0xb9f06eef5d69688139e94b16aadd10825bff4933, not stripped

$ ldd gp-sta
        linux-vdso.so.1 =>  (0x00007fffce1ff000)
        libreadline.so.6 => /lib/x86_64-linux-gnu/libreadline.so.6 (0x00007fb0030d8000)
        libX11.so.6 => /usr/lib/x86_64-linux-gnu/libX11.so.6 (0x00007fb002d9b000)
        libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fb002b97000)
        libgmp.so.10 => /usr/local/gmp-5.0.5/lib/libgmp.so.10 (0x00007fb00292b000)
        libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fb0026a9000)
        libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fb00231e000)
        libtinfo.so.5 => /lib/x86_64-linux-gnu/libtinfo.so.5 (0x00007fb0020f5000)
        libxcb.so.1 => /usr/lib/x86_64-linux-gnu/libxcb.so.1 (0x00007fb001ed5000)
        /lib64/ld-linux-x86-64.so.2 (0x00007fb00333d000)
        libXau.so.6 => /usr/lib/x86_64-linux-gnu/libXau.so.6 (0x00007fb001cd1000)
        libXdmcp.so.6 => /usr/lib/x86_64-linux-gnu/libXdmcp.so.6 (0x00007fb001acc000)

It looks like the only part that is really static is libpari-gmp-2.6.so.0,
which appears in "ldd gp-dyn", but not here. Is this intentional and just
a problem with the documentation?

Having a static binary can be handy when one just wants to copy gp to another
system.

Andreas