[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64181] [PATCH] gnu: mmg: Update to 5.7.1.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#64181] [PATCH] gnu: mmg: Update to 5.7.1. |
|
Date: |
Sun, 25 Jun 2023 22:59:24 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Hi Paul,
"Paul A. Patience" <paul@apatience.com> skribis:
> * 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.
Applied, thanks!
Ludo’.