[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64181: [PATCH] gnu: mmg: Update to 5.7.1.
|
From: |
Christopher Baines |
|
Subject: |
bug#64181: [PATCH] gnu: mmg: Update to 5.7.1. |
|
Date: |
Mon, 26 Jun 2023 09:53:52 +0100 |
|
User-agent: |
mu4e 1.10.2; emacs 28.2 |
Ludovic Courtès <ludovic.courtes@inria.fr> writes:
> 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!
Marking as done.
signature.asc
Description: PGP signature