Dear experts on building and linking C++ applications,
according to the blog "Creating portable Linux binaries" http://insanecoding.blogspot.de/2012/07/creating-portable-linux-binaries.htm... the following options could make the poly executable more portable accross different Linux versions:
CFLAGS="-static-libgcc -static-libstdc++ -Wl,-Bstatic -lgmp -Wl,-Bdynamic"
On the surface this works fine on x86_64-linux (Ubuntu 16.04 LTS), but there is a remaining dependency on libpolyml.so, which itself depends on dynamic gcc and stdc++ libraries.
Including "-lpolyml" next to "-lgmp" above does not work, probably because these options also apply to the build process of libpolyml itself.
How can I make libpolyml a static part of poly?
Alternatively, how can I make libgcc and libstdc++ a static part of libpolyml?
Makarius