From: Liliana Marie Prikler <liliana.prikler@gmail.com>
To: 71948@debbugs.gnu.org
Subject: [bug#71948] [PATCH] gnu: rapidcheck: Update to 0.0.0-1.ff6af6f.
Date: Fri, 5 Jul 2024 10:58:57 +0200 [thread overview]
Message-ID: <e8eef52f28afada06f6562ff91557c68d2047377.1720187179.git.liliana.prikler@gmail.com> (raw)
* 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.
---
gnu/packages/check.scm | 44 ++++++++++++++++++++++++++----------------
1 file changed, 27 insertions(+), 17 deletions(-)
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm
index 550a5d0f1d..1ed0ad9c98 100644
--- a/gnu/packages/check.scm
+++ b/gnu/packages/check.scm
@@ -73,6 +73,7 @@ (define-module (gnu packages check)
#:use-module (gnu packages autotools)
#:use-module (gnu packages base)
#:use-module (gnu packages bash)
+ #:use-module (gnu packages boost)
#:use-module (gnu packages cmake)
#:use-module (gnu packages compression)
#:use-module (gnu packages cpp)
@@ -3396,8 +3397,8 @@ (define-public libfaketime
(license license:gpl2)))
(define-public rapidcheck
- (let ((commit "a5724ea5b0b00147109b0605c377f1e54c353ba2")
- (revision "0"))
+ (let ((commit "ff6af6fc683159deb51c543b065eba14dfcf329b")
+ (revision "1"))
(package
(name "rapidcheck")
(version (git-version "0.0.0" revision commit))
@@ -3410,24 +3411,33 @@ (define-public rapidcheck
(commit commit)))
(file-name (git-file-name name version))
(sha256
- (base32 "0f2dmsym8ibnwkaidxmgp73mg0sdniwsyn6ppskh74246h29bbcy"))))
+ (base32 "1s2qva1amhs887jcdj12ppxk9kkfvy25xy7vzhkwb7rljr3gj713"))
+ (modules '((guix build utils)))
+ (snippet
+ #~(begin
+ (make-file-writable "ext/CMakeLists.txt")
+ (call-with-output-file "ext/CMakeLists.txt"
+ (lambda (out)
+ (display "find_package(Catch2 REQUIRED GLOBAL)\n" out)
+ (display "find_package(GTest GLOBAL)\n" out)
+ (display "find_package(Boost GLOBAL)\n" out)))
+ (substitute* "extras/boost/test/CMakeLists.txt"
+ (("^([ ]*)boost" all spaces)
+ (string-append spaces "Boost::boost")))))))
(arguments
(list
- #:tests? #f ;require fetching submodules
- #:configure-flags #~(list "-DCMAKE_POSITION_INDEPENDENT_CODE=ON")
- #:phases
- #~(modify-phases %standard-phases
- (add-after 'install 'install-extra-headers
- (lambda _
- (with-directory-excursion "../source/extras"
- (for-each
- (lambda (dir)
- (let ((dir (string-append dir "/include/rapidcheck/"))
- (dest (string-append #$output
- "/include/rapidcheck")))
- (copy-recursively dir dest)))
- '("boost" "boost_test" "catch" "gmock" "gtest"))))))))
+ #:configure-flags #~(list "-DCMAKE_POSITION_INDEPENDENT_CODE=ON"
+ "-DRC_ENABLE_BOOST=on"
+ "-DRC_ENABLE_CATCH=on"
+ "-DRC_ENABLE_DOCTEST=on"
+ "-DRC_ENABLE_GTEST=on"
+ "-DRC_ENABLE_TESTS=on")))
(build-system cmake-build-system)
+ (inputs (list boost
+ catch2
+ doctest
+ googletest))
+ (native-inputs (list catch2 googletest))
(home-page "https://github.com/emil-e/rapidcheck")
(synopsis "Property based testing framework for C++")
(description "Rapidcheck is a property based testing framework for C++.
base-commit: 5ee2799cabba4b2d462ac064a98789d7bca07923
--
2.45.2
next reply other threads:[~2024-07-05 13:48 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-07-05 8:58 Liliana Marie Prikler [this message]
2024-07-14 13:47 ` bug#71948: [PATCH] gnu: rapidcheck: Update to 0.0.0-1.ff6af6f Liliana Marie Prikler
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=e8eef52f28afada06f6562ff91557c68d2047377.1720187179.git.liliana.prikler@gmail.com \
--to=liliana.prikler@gmail.com \
--cc=71948@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).