Revision 4cdcdb05c1c0c699beb33f0e18987c8e90918217 authored by Lars Bilke on 15 November 2021, 13:04:02 UTC, committed by Lars Bilke on 15 November 2021, 14:11:21 UTC
This fixes an issue under Ubuntu when using the ogs automatically
configured petsc.

E.g.:

./ogs: error while loading shared libraries: libpetsc.so.3.11: cannot open shared object file: No such file or directory
1 parent c33c20a
History

back to top