import rapidcheck

To: pkgsrc-wip-changes%NetBSD.org@localhost
Subject: import rapidcheck
From: nikita <nikita%NetBSD.org@localhost>
Date: Wed, 03 May 2023 16:44:39 +0000
Module Name:	pkgsrc-wip
Committed By:	nikita <nikita%NetBSD.org@localhost>
Pushed By:	nikita
Date:		Wed May 3 18:44:39 2023 +0200
Changeset:	1a22beb0fc07c51b95f877a0e261cc8183eeca05

Added Files:
	rapidcheck/DESCR
	rapidcheck/Makefile
	rapidcheck/PLIST
	rapidcheck/buildlink3.mk
	rapidcheck/distinfo
	rapidcheck/patches/patch-ext_CMakeLists.txt
	rapidcheck/patches/patch-extras_CMakeLists.txt
	rapidcheck/patches/patch-test_CMakeLists.txt

Log Message:
import rapidcheck

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=1a22beb0fc07c51b95f877a0e261cc8183eeca05

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 rapidcheck/DESCR                               |  11 ++
 rapidcheck/Makefile                            |  37 +++++++
 rapidcheck/PLIST                               | 133 +++++++++++++++++++++++++
 rapidcheck/buildlink3.mk                       |  12 +++
 rapidcheck/distinfo                            |   8 ++
 rapidcheck/patches/patch-ext_CMakeLists.txt    |  13 +++
 rapidcheck/patches/patch-extras_CMakeLists.txt |  15 +++
 rapidcheck/patches/patch-test_CMakeLists.txt   |  15 +++
 8 files changed, 244 insertions(+)

diffs:
diff --git a/rapidcheck/DESCR b/rapidcheck/DESCR
new file mode 100644
index 0000000000..6088810c86
--- /dev/null
+++ b/rapidcheck/DESCR
@@ -0,0 +1,11 @@
+QuickCheck clone for C++ with the goal of being simple to use with as little
+boilerplate as possible.
+
+RapidCheck is a C++ framework for property based testing inspired by QuickCheck
+and other similar frameworks. In property based testing, you state facts about
+your code that given certain precondition should always be true. RapidCheck then
+generates random test data to try and find a case for which the property doesn't
+hold. If such a case is found, RapidCheck tries to find the smallest case (for
+some definition of smallest) for which the property is still false and then
+displays this as a counterexample. For example, if the input is an integer,
+RapidCheck tries to find the smallest integer for which the property is false.
diff --git a/rapidcheck/Makefile b/rapidcheck/Makefile
new file mode 100644
index 0000000000..b2fb6e9fca
--- /dev/null
+++ b/rapidcheck/Makefile
@@ -0,0 +1,37 @@
+# $NetBSD$
+
+#DISTNAME=	rapidcheck-0.0.0.20201219
+DISTNAME=	rapidcheck-0.0.0.20220314
+CATEGORIES=	devel
+MASTER_SITES=	${MASTER_SITE_GITHUB:=emil-e/}
+GITHUB_PROJECT=	rapidcheck
+GITHUB_TAG=	8fafda42e732164db58003e542196e94a28481f9
+#GITHUB_TAG=	b78f89288c7e086d06e2a1e10b605d8375517a8a
+
+MAINTAINER=	pkgsrc-users%NetBSD.org@localhost
+COMMENT=	QuickCheck clone for C++
+HOMEPAGE=	https://github.com/emil-e/rapidcheck
+LICENSE=	2-clause-bsd
+
+TEST_DEPENDS=	catch2-[0-9]*:../../devel/catch2
+
+USE_LANGUAGES+=	c c++11
+USE_TOOLS+=	cmake
+
+#CXXFLAGS+=	-Wno-error
+#CXXFLAGS+=	-I${WRKSRC}/extras/catch/include # only to fix tests (rapidcheck/catch.h)
+CMAKE_ARGS+=	-DBUILD_SHARED_LIBS=ON
+CMAKE_ARGS+=	-DCMAKE_BUILD_TYPE=Release
+CMAKE_ARGS+=	-DCMAKE_POSITION_INDEPENDENT_CODE=True
+CMAKE_ARGS+=	-DRC_ENABLE_EXAMPLES=Off
+CMAKE_ARGS+=	-DRC_ENABLE_TESTS=Off
+CMAKE_ARGS+=	-DRC_INSTALL_ALL_EXTRAS=On
+
+#do-test: # broken: https://github.com/emil-e/rapidcheck/issues/242
+#	@cd ${BUILD_WRKSRC} && \
+#		${SETENV} ${CONFIGURE_ENV} cmake ${CMAKE_ARGS} -DRC_ENABLE_TESTS:BOOL=ON ${CMAKE_SOURCE_PATH:Q} && \
+#		${SETENV} ${MAKE_ENV} ${MAKE} ${MAKE_ARGS} ${BUILD_TARGET} && \
+#		${SETENV} ${MAKE_ENV} ${MAKE} ${MAKE_ARGS} test
+
+.include "../../devel/cmake/build.mk"
+.include "../../mk/bsd.pkg.mk"
diff --git a/rapidcheck/PLIST b/rapidcheck/PLIST
new file mode 100644
index 0000000000..f8981fa754
--- /dev/null
+++ b/rapidcheck/PLIST
@@ -0,0 +1,133 @@
+@comment $NetBSD$
+include/rapidcheck.h
+include/rapidcheck/Assertions.h
+include/rapidcheck/Assertions.hpp
+include/rapidcheck/BeforeMinimalTestCase.h
+include/rapidcheck/Check.h
+include/rapidcheck/Check.hpp
+include/rapidcheck/Classify.h
+include/rapidcheck/Classify.hpp
+include/rapidcheck/Compat.h
+include/rapidcheck/Compat.hpp
+include/rapidcheck/Gen.h
+include/rapidcheck/Gen.hpp
+include/rapidcheck/GenerationFailure.h
+include/rapidcheck/Log.h
+include/rapidcheck/Log.hpp
+include/rapidcheck/Maybe.h
+include/rapidcheck/Maybe.hpp
+include/rapidcheck/Nothing.h
+include/rapidcheck/Random.h
+include/rapidcheck/Random.hpp
+include/rapidcheck/Seq.h
+include/rapidcheck/Seq.hpp
+include/rapidcheck/Show.h
+include/rapidcheck/Show.hpp
+include/rapidcheck/Shrinkable.h
+include/rapidcheck/Shrinkable.hpp
+include/rapidcheck/Traits.h
+include/rapidcheck/boost.h
+include/rapidcheck/boost_test.h
+include/rapidcheck/detail/AlignedUnion.h
+include/rapidcheck/detail/Any.h
+include/rapidcheck/detail/Any.hpp
+include/rapidcheck/detail/ApplyTuple.h
+include/rapidcheck/detail/BitStream.h
+include/rapidcheck/detail/BitStream.hpp
+include/rapidcheck/detail/Capture.h
+include/rapidcheck/detail/Configuration.h
+include/rapidcheck/detail/ExecFixture.h
+include/rapidcheck/detail/FrequencyMap.h
+include/rapidcheck/detail/FunctionTraits.h
+include/rapidcheck/detail/ImplicitParam.h
+include/rapidcheck/detail/ImplicitParam.hpp
+include/rapidcheck/detail/IntSequence.h
+include/rapidcheck/detail/Platform.h
+include/rapidcheck/detail/Property.h
+include/rapidcheck/detail/Property.hpp
+include/rapidcheck/detail/PropertyContext.h
+include/rapidcheck/detail/Results.h
+include/rapidcheck/detail/Results.hpp
+include/rapidcheck/detail/Serialization.h
+include/rapidcheck/detail/Serialization.hpp
+include/rapidcheck/detail/ShowType.h
+include/rapidcheck/detail/ShowType.hpp
+include/rapidcheck/detail/TestListener.h
+include/rapidcheck/detail/TestListenerAdapter.h
+include/rapidcheck/detail/TestMetadata.h
+include/rapidcheck/detail/TestParams.h
+include/rapidcheck/detail/Traits.h
+include/rapidcheck/detail/TypeList.h
+include/rapidcheck/detail/Utility.h
+include/rapidcheck/detail/Variant.h
+include/rapidcheck/detail/Variant.hpp
+include/rapidcheck/fn/Common.h
+include/rapidcheck/fn/Common.hpp
+include/rapidcheck/gen/Arbitrary.h
+include/rapidcheck/gen/Arbitrary.hpp
+include/rapidcheck/gen/Build.h
+include/rapidcheck/gen/Build.hpp
+include/rapidcheck/gen/Chrono.h
+include/rapidcheck/gen/Chrono.hpp
+include/rapidcheck/gen/Container.h
+include/rapidcheck/gen/Container.hpp
+include/rapidcheck/gen/Create.h
+include/rapidcheck/gen/Create.hpp
+include/rapidcheck/gen/Exec.h
+include/rapidcheck/gen/Exec.hpp
+include/rapidcheck/gen/Maybe.h
+include/rapidcheck/gen/Maybe.hpp
+include/rapidcheck/gen/Numeric.h
+include/rapidcheck/gen/Numeric.hpp
+include/rapidcheck/gen/Predicate.h
+include/rapidcheck/gen/Predicate.hpp
+include/rapidcheck/gen/Select.h
+include/rapidcheck/gen/Select.hpp
+include/rapidcheck/gen/Text.h
+include/rapidcheck/gen/Text.hpp
+include/rapidcheck/gen/Transform.h
+include/rapidcheck/gen/Transform.hpp
+include/rapidcheck/gen/Tuple.h
+include/rapidcheck/gen/Tuple.hpp
+include/rapidcheck/gen/boost/Optional.h
+include/rapidcheck/gen/boost/Optional.hpp
+include/rapidcheck/gen/detail/ExecHandler.h
+include/rapidcheck/gen/detail/ExecRaw.h
+include/rapidcheck/gen/detail/ExecRaw.hpp
+include/rapidcheck/gen/detail/GenerationHandler.h
+include/rapidcheck/gen/detail/Recipe.h
+include/rapidcheck/gen/detail/ScaleInteger.h
+include/rapidcheck/gen/detail/ShrinkValueIterator.h
+include/rapidcheck/gen/detail/ShrinkValueIterator.hpp
+include/rapidcheck/gmock.h
+include/rapidcheck/gtest.h
+include/rapidcheck/seq/Create.h
+include/rapidcheck/seq/Create.hpp
+include/rapidcheck/seq/Operations.h
+include/rapidcheck/seq/Operations.hpp
+include/rapidcheck/seq/SeqIterator.h
+include/rapidcheck/seq/SeqIterator.hpp
+include/rapidcheck/seq/Transform.h
+include/rapidcheck/seq/Transform.hpp
+include/rapidcheck/shrink/Shrink.h
+include/rapidcheck/shrink/Shrink.hpp
+include/rapidcheck/shrinkable/Create.h
+include/rapidcheck/shrinkable/Create.hpp
+include/rapidcheck/shrinkable/Operations.h
+include/rapidcheck/shrinkable/Operations.hpp
+include/rapidcheck/shrinkable/Transform.h
+include/rapidcheck/shrinkable/Transform.hpp
+include/rapidcheck/state.h
+include/rapidcheck/state/Command.h
+include/rapidcheck/state/Command.hpp
+include/rapidcheck/state/Commands.h
+include/rapidcheck/state/Commands.hpp
+include/rapidcheck/state/State.h
+include/rapidcheck/state/State.hpp
+include/rapidcheck/state/gen/Commands.h
+include/rapidcheck/state/gen/Commands.hpp
+include/rapidcheck/state/gen/ExecCommands.h
+include/rapidcheck/state/gen/ExecCommands.hpp
+lib/librapidcheck.so
+share/rapidcheck/cmake/rapidcheckConfig-release.cmake
+share/rapidcheck/cmake/rapidcheckConfig.cmake
diff --git a/rapidcheck/buildlink3.mk b/rapidcheck/buildlink3.mk
new file mode 100644
index 0000000000..88c9cd3eda
--- /dev/null
+++ b/rapidcheck/buildlink3.mk
@@ -0,0 +1,12 @@
+# $NetBSD$
+
+BUILDLINK_TREE+=	rapidcheck
+
+.if !defined(RAPIDCHECK_BUILDLINK3_MK)
+RAPIDCHECK_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.rapidcheck+=	rapidcheck>=0.0.0.20220314
+BUILDLINK_PKGSRCDIR.rapidcheck?=	../../wip/rapidcheck
+.endif	# RAPIDCHECK_BUILDLINK3_MK
+
+BUILDLINK_TREE+=	-rapidcheck
diff --git a/rapidcheck/distinfo b/rapidcheck/distinfo
new file mode 100644
index 0000000000..31ea125ec9
--- /dev/null
+++ b/rapidcheck/distinfo
@@ -0,0 +1,8 @@
+$NetBSD$
+
+BLAKE2s (rapidcheck-0.0.0.20220314-8fafda42e732164db58003e542196e94a28481f9.tar.gz) = 4ddbac3e47bf83abce17f50cecb9ebc6ab035516e1a7e284d69d5ecd200b9ff8
+SHA512 (rapidcheck-0.0.0.20220314-8fafda42e732164db58003e542196e94a28481f9.tar.gz) = 7a26e349ab6577b6be6c5114d81815f94d8ebd839c81132282173b69662ad458c23b2098f5762c03d85f771fdf4cf04559cb0536ccaba05e474cfb6203cb4d1a
+Size (rapidcheck-0.0.0.20220314-8fafda42e732164db58003e542196e94a28481f9.tar.gz) = 181796 bytes
+SHA1 (patch-ext_CMakeLists.txt) = abc6d4c8f4a126b15dad850930fe8572fda8b679
+SHA1 (patch-extras_CMakeLists.txt) = 66b17512a5888e26e5f8eb4e2e08a4561e1eae6e
+SHA1 (patch-test_CMakeLists.txt) = 72af5a297114a5d7755aff150b7db0ab41b4bfc0
diff --git a/rapidcheck/patches/patch-ext_CMakeLists.txt b/rapidcheck/patches/patch-ext_CMakeLists.txt
new file mode 100644
index 0000000000..2af5f71972
--- /dev/null
+++ b/rapidcheck/patches/patch-ext_CMakeLists.txt
@@ -0,0 +1,13 @@
+$NetBSD$
+
+remove check for catch.
+
+--- ext/CMakeLists.txt.orig	2019-08-15 15:24:20 UTC
++++ ext/CMakeLists.txt
+@@ -1,5 +1,5 @@
+ if (RC_ENABLE_TESTS OR RC_ENABLE_CATCH)
+-  add_subdirectory(catch)
++  #add_subdirectory(catch)
+ endif()
+ 
+ if ((RC_ENABLE_GMOCK OR RC_ENABLE_GTEST) AND RC_ENABLE_TESTS)
diff --git a/rapidcheck/patches/patch-extras_CMakeLists.txt b/rapidcheck/patches/patch-extras_CMakeLists.txt
new file mode 100644
index 0000000000..686991fcb6
--- /dev/null
+++ b/rapidcheck/patches/patch-extras_CMakeLists.txt
@@ -0,0 +1,15 @@
+$NetBSD$
+
+remove check for catch.
+
+--- extras/CMakeLists.txt.orig	2019-10-27 17:30:50 UTC
++++ extras/CMakeLists.txt
+@@ -4,7 +4,7 @@ option(RC_INSTALL_ALL_EXTRAS "Add all possible integra
+ 
+ option(RC_ENABLE_CATCH "Build Catch.hpp support" OFF)
+ if (RC_ENABLE_CATCH OR RC_ENABLE_TESTS OR RC_INSTALL_ALL_EXTRAS)
+-  add_subdirectory(catch)
++  #add_subdirectory(catch)
+ endif()
+ 
+ option(RC_ENABLE_GMOCK "Build Google Mock integration" OFF)
diff --git a/rapidcheck/patches/patch-test_CMakeLists.txt b/rapidcheck/patches/patch-test_CMakeLists.txt
new file mode 100644
index 0000000000..291cc14f57
--- /dev/null
+++ b/rapidcheck/patches/patch-test_CMakeLists.txt
@@ -0,0 +1,15 @@
+$NetBSD$
+
+remove check for catch.
+
+--- test/CMakeLists.txt.orig	2019-10-27 17:34:35 UTC
++++ test/CMakeLists.txt
+@@ -82,7 +82,7 @@ add_executable(rapidcheck_tests
+ 
+ target_link_libraries(rapidcheck_tests
+   rapidcheck
+-  Catch2::Catch2
++  #Catch2::Catch2
+   rapidcheck_catch
+   rapidcheck_test_utils)
+ target_include_directories(rapidcheck_tests PRIVATE
Prev by Date: nix: take maintainership
Next by Date: zig-git: add distinfo for patch
Previous by Thread: nix: take maintainership
Next by Thread: zig-git: add distinfo for patch
Indexes:
Home | Main Index | Thread Index | Old Index