Skip to content

all dim-indep objects should be only in one library

Ansgar Burchardt requested to merge bugfix/dim-indep-objects-should-only-be-in-one-library into master

Variables from dim-indep objects would exist multiple times. Which copy gets used depends on linker details.

When I used dune-corepy on an old Ubuntu 14.04 installation, different copies of variables would be used in different places in the same program, causing the program to misbehave.

This change moves all dim-indep objects into a single library which should avoid such problems.

Merge request reports