[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#71948: [PATCH] gnu: rapidcheck: Update to 0.0.0-1.ff6af6f.
|
From: |
Liliana Marie Prikler |
|
Subject: |
bug#71948: [PATCH] gnu: rapidcheck: Update to 0.0.0-1.ff6af6f. |
|
Date: |
Sun, 14 Jul 2024 15:47:36 +0200 |
|
User-agent: |
Evolution 3.48.4 |
Am Freitag, dem 05.07.2024 um 10:58 +0200 schrieb Liliana Marie
Prikler:
> * gnu/packages/check.scm (rapidcheck): Update to 0.0.0-1.ff6af6f.
> [source]: Add snippet to find inputs.
> [arguments]: Remove #:phases and #:tests?.
> <#:configure-flags?>: Add “-DRC_ENABLE_BOOST=on”, “-
> DRC_ENABLE_CATCH=on”,
> “-DRC_ENABLE_DOCTEST=on”, “-DRC_ENABLE_GTEST=on”, and “-
> DRC_ENABLE_TESTS=on”.
> [inputs]: Add boost, catch2, doctest and googletest.
> [native-inputs]: Add catch2 and googletest.
> ---
Pushed as 8b6316f94bc39fa7d4c39840935f0f74fff1b72f.