Hi Timo,
thanks for your advice!
I think the server is running Ubuntu 14.04, so then the system
is approximately 4 years old I guess?
By the way I am using DUNE modules
dune-common, dune-istl, dune-grid, dune-uggrid, dune-geometry, and
dune-localfunctions
all version 2.5.1 together with DuMuX
version 2.12.0, and the master branch of dumux-devel; all cloned by
git from
https://github.com/dune-project/ and
https://git.iws.uni-stuttgart.de/dumux-repositories/
except for dune-uggrid, which was cloned from
https://github.com/dune-mirrors/dune-uggrid.git
I create and issue at the dune-uggrid repository:
https://gitlab.dune-project.org/staging/dune-uggrid/issues/39
Best regards,
Håkon
_______________________________________________
Dumux mailing list
Dumux@listserv.uni-stuttgart.de
https://listserv.uni-stuttgart.de/mailman/listinfo/dumux