[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#56107] [PATCH]: Update z3 to 4.8.17 and use cmake to build the pack
From: |
Maxime Devos |
Subject: |
[bug#56107] [PATCH]: Update z3 to 4.8.17 and use cmake to build the package. |
Date: |
Mon, 20 Jun 2022 14:54:30 +0200 |
User-agent: |
Evolution 3.38.3-1 |
Zhu Zihao schreef op ma 20-06-2022 om 20:32 [+0800]:
> + (replace 'check
> + (lambda* (#:key parallel-build? #:allow-other-keys)
> + (unless #$(%current-target-system)
That doesn't support --without-tests. I recommend doing the standard
(when tests? [...]) construct instead, which supports the
--without-tests package transformation and which will be accepted by
"guix lint".
Greetings,
Maxime.
signature.asc
Description: This is a digitally signed message part