mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2025-01-26 12:39:36 -05:00
gnu: rapidcheck: Update to 0.0.0-1.ff6af6f.
* 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.
This commit is contained in:
parent
ff82e0f7b4
commit
8b6316f94b
1 changed files with 27 additions and 17 deletions
|
@ -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++.
|
||||
|
|
Loading…
Reference in a new issue