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 /tests/guix-gc.sh | |
| 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 'tests/guix-gc.sh')
0 files changed, 0 insertions, 0 deletions