Compliation error when verifying programs that use dynamically linked libraries

[alastairreid]

While trying to verify some code in uutils/coreutils, I got the following error

Compiling uucore_procs v0.0.5 (/home/rust-verification-tools/expt/coreutils/src/uucore_procs)
error: cannot prefer dynamic linking when performing LTO
note: only 'staticlib', 'bin', and 'cdylib' outputs are supported with LTO
error: aborting due to previous error
error: could not compile uucore_procs
To learn more, run the command again with --verbose.

It's not obvious how we can use the current LTO trick with dynamically linked libraries so this may be tricky to overcome?

[alastairreid]

The problem seems to be using RUSTFLAGS="... -Clto ..."
which attempts to use lto with everything built in the process of building the binary.

We might be able to fix this by using

cargo build -Zunstable-options --config 'lto="yes"'

which only applies lto to the final result.

[alastairreid]

Closing this because it has not recurred since report