doc/zimpl.man | 12 6 + 6 - 0 !
1 file changed, 6 insertions(+), 6 deletions(-)

 fix encoding errors in manpage.

example/tsp.dat | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 encode umlauts as utf8.

CMakeLists.txt | 2 0 + 2 - 0 !
src/CMakeLists.txt | 17 6 + 11 - 0 !
src/zimpl/zimpllib.c | 63 63 + 0 - 0 !
zimpl-config.cmake.in | 2 1 + 1 - 0 !
4 files changed, 70 insertions(+), 14 deletions(-)

 build shared library.
 Build a shared library instead of a static library.  ZIMPL leaves some symbols
 undefined, namely those listed in src/zimpl/xlpglue.h.  They take advantage of
 the fact that linking with a static library only pulls in the referenced
 symbols to avoid referring to the xlp symbols in certain cases, for example,
 in the scip test suite.  Since Fedora wants shared libraries, we have to give
 those symbols weak dummy definitions to avoid unresolved symbols at link time

check/check.sh | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 only check for "aborted" in error tests.
 Sometimes "(core dumped)" doesn't appear (e.g., on Salsa CI runners).