[Termtools] static/dynamic linking , was: Re: certification errors

[Johannes Waldmann]

Hi Chris,

> Upload a new "TTT2 2015" solver 

please do (and tell me solver/config ids)

> (Please let me know if I shouldn't discuss such matters on the this
> mailing list in the future.)

I think it's fine because it documents problems and solutions
and it may serve a useful reminder/reference.

(e.g., in this case,  about static vs. dynamic linking. -
For matchbox, I include .so-files in the archive,
https://github.com/jwaldmann/matchbox/blob/master/release.sh
and set LD_LIBRARY_PATH on execution
https://github.com/jwaldmann/matchbox/blob/master/release/starexec_run_plain.sh
)

- Johannes.