[Dune] static/shared library problem

[Markus Blatt]

Hi,

Might be fixed by
https://gitlab.dune-project.org/core/dune-common/merge_requests/160. Please
try and merge if it does. I abstain from self-merging these days.

Markus
-- 
Using PT-Scotch with DUNE https://t.co/hZH8lxf5ZF

Dr. Markus Blatt - HPC-Simulation-Software & Services http://www.dr-blatt.de
Hans-Bunte-Str. 8-10, 69123 Heidelberg, Germany
Tel.: +49 (0) 160 97590858