diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2018-12-05 20:06:00 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-10 00:28:11 +0100 |
commit | 72f95783f118a90e593e8c37922389ab199fdaeb (patch) | |
tree | 6b608ab7333a4abeee1fb3ec7a88c46d92c1da05 /TODO | |
parent | 7e4bc215098f334bc2a11737f2665dd4992fc2da (diff) |
gnu: petsc-openmpi: Ensure compatibility of SCOTCH dependency.
* gnu/packages/maths.scm (petsc-openmpi)[inputs]: Replace pt-scotch
with pt-scotch32 in order to prevent 'incompatible pointer' warnings
being generated in the 'build' phase.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions