diff options
author | Paul A. Patience <paul@apatience.com> | 2023-06-20 01:40:51 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-06-25 23:46:03 +0200 |
commit | bdf3d621bfb3f49d1ef799713bc8dcb7336d7802 (patch) | |
tree | 5a41ad9b144ab1b99649f06a1c1ce9889f77fb8a /ROADMAP | |
parent | 41e8726c8924e9f5b79a9f44fad94ab5586bfc50 (diff) | |
download | guix-bdf3d621bfb3f49d1ef799713bc8dcb7336d7802.tar.gz guix-bdf3d621bfb3f49d1ef799713bc8dcb7336d7802.zip |
gnu: mmg: Update to 5.7.1.
* gnu/packages/graphics.scm (mmg): Update to 5.7.1.
[arguments]<#:configure-flags>: Set -DCMAKE_INSTALL_MANDIR. Add
-DBUILD_DOC=ON and -DUSE_SCOTCH=ON, the defaults of which changed since
the last version. Scotch is still autodetected, but explicitly enabling
it causes the configuration to fail if it is not found.
<#:phases>: Do not copy the manual pages, because the build now does it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions