diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-01 16:03:52 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-01 16:03:58 +0200 |
commit | 196977fb6449ad8c4c657f1f9fade8ef90194f6a (patch) | |
tree | 7d0f9ef2fc3e64910e3176710b6b5de3c5236d38 /gnu | |
parent | cdb3cd4afaa37097208daef1d39d85c0f431e592 (diff) | |
download | guix-196977fb6449ad8c4c657f1f9fade8ef90194f6a.tar guix-196977fb6449ad8c4c657f1f9fade8ef90194f6a.tar.gz |
Revert "gnu: Add rapidcheck."
This reverts commit 4236e24cb9e80201e42d13c9a70bd918299b12fa.
Wrong patch revision.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/check.scm | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index 44291baf52..df57a778fe 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -43,7 +43,6 @@ ;;; Copyright © 2022 jgart <jgart@dismail.de> ;;; Copyright © 2023 Luis Felipe López Acevedo <luis.felipe.la@protonmail.com> ;;; Copyright © 2023 Timo Wilken <guix@twilken.net> -;;; Copyright © 2023 Zhu Zihao <all_but_last@163.com> ;;; ;;; This file is part of GNU Guix. ;;; @@ -3147,46 +3146,6 @@ application \"sees\". It is meant to be loaded using the dynamic linker's provides a simple way to achieve this.") (license license:gpl2))) -(define-public rapidcheck - (let ((commit "a5724ea5b0b00147109b0605c377f1e54c353ba2") - (revision "0")) - (package - (name "rapidcheck") - (version (git-version "0.0.0" revision commit)) - (source - (origin - (method git-fetch) - (uri - (git-reference - (url "https://github.com/emil-e/rapidcheck") - (commit commit))) - (file-name (git-file-name name version)) - (sha256 - (base32 "0f2dmsym8ibnwkaidxmgp73mg0sdniwsyn6ppskh74246h29bbcy")))) - (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")))))))) - (build-system cmake-build-system) - (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++. -It works by generating random data to try and find a case breaks your given -pre-condition.") - (license license:bsd-2)))) - (define-public umockdev (package (name "umockdev") |