aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-01 16:03:52 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-01 16:03:58 +0200
commit196977fb6449ad8c4c657f1f9fade8ef90194f6a (patch)
tree7d0f9ef2fc3e64910e3176710b6b5de3c5236d38 /gnu
parentcdb3cd4afaa37097208daef1d39d85c0f431e592 (diff)
downloadguix-196977fb6449ad8c4c657f1f9fade8ef90194f6a.tar.gz
guix-196977fb6449ad8c4c657f1f9fade8ef90194f6a.zip
Revert "gnu: Add rapidcheck."
This reverts commit 4236e24cb9e80201e42d13c9a70bd918299b12fa. Wrong patch revision.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/check.scm41
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")