diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2024-11-28 15:20:20 +0900 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2024-12-18 16:27:09 +0900 |
2017-05-14 | maint: Do not update PO files upon "make dist"....This works around a non-determinstic build failure when doing "make distcheck -j4". * po/guix/Makevars (DIST_DEPENDS_ON_UPDATE_PO): New variable. * po/packages/Makevars (DIST_DEPENDS_ON_UPDATE_PO): New variable. | Ludovic Courtès |
parent | 65c043edef33bc400f8c5d329c6fe33378c19548 (diff) | |
download | guix-08e0144d2338c8fb51e52e74274554583d0faa69.tar.gz guix-08e0144d2338c8fb51e52e74274554583d0faa69.zip |
gnu: openmpi-5: Streamline source and do not install HTML doc.
This reduces the installed package size by 63 MiB.
* gnu/packages/mpi.scm (openmpi-5) [source]: Add modules, snippet fields.
Change-Id: Ie3dc365a2e4e48dc4c385dd447d3c64b7db065ca
Diffstat (limited to 'gnu/services/dict.scm')
0 files changed, 0 insertions, 0 deletions