pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/devel
Module Name: pkgsrc
Committed By: nikita
Date: Wed May 3 16:56:31 UTC 2023
Modified Files:
pkgsrc/devel: Makefile
Added Files:
pkgsrc/devel/rapidcheck: DESCR Makefile PLIST buildlink3.mk distinfo
pkgsrc/devel/rapidcheck/patches: patch-ext_CMakeLists.txt
patch-extras_CMakeLists.txt patch-test_CMakeLists.txt
Log Message:
rapidcheck: import as devel/rapidcheck version 0.0.0.20220314
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.
To generate a diff of this commit:
cvs rdiff -u -r1.3970 -r1.3971 pkgsrc/devel/Makefile
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/rapidcheck/DESCR \
pkgsrc/devel/rapidcheck/Makefile pkgsrc/devel/rapidcheck/PLIST \
pkgsrc/devel/rapidcheck/buildlink3.mk pkgsrc/devel/rapidcheck/distinfo
cvs rdiff -u -r0 -r1.1 \
pkgsrc/devel/rapidcheck/patches/patch-ext_CMakeLists.txt \
pkgsrc/devel/rapidcheck/patches/patch-extras_CMakeLists.txt \
pkgsrc/devel/rapidcheck/patches/patch-test_CMakeLists.txt
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: pkgsrc/devel/Makefile
diff -u pkgsrc/devel/Makefile:1.3970 pkgsrc/devel/Makefile:1.3971
--- pkgsrc/devel/Makefile:1.3970 Wed May 3 08:29:48 2023
+++ pkgsrc/devel/Makefile Wed May 3 16:56:31 2023
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.3970 2023/05/03 08:29:48 jperkin Exp $
+# $NetBSD: Makefile,v 1.3971 2023/05/03 16:56:31 nikita Exp $
#
COMMENT= Development utilities
@@ -3059,6 +3059,7 @@ SUBDIR+= radare2
SUBDIR+= ragel
SUBDIR+= rainbow-delimiters-el
SUBDIR+= range-v3
+SUBDIR+= rapidcheck
SUBDIR+= rapidsvn
SUBDIR+= ratfor
SUBDIR+= rcs
Added files:
Index: pkgsrc/devel/rapidcheck/DESCR
diff -u /dev/null pkgsrc/devel/rapidcheck/DESCR:1.1
--- /dev/null Wed May 3 16:56:31 2023
+++ pkgsrc/devel/rapidcheck/DESCR Wed May 3 16:56:31 2023
@@ -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.
Index: pkgsrc/devel/rapidcheck/Makefile
diff -u /dev/null pkgsrc/devel/rapidcheck/Makefile:1.1
--- /dev/null Wed May 3 16:56:31 2023
+++ pkgsrc/devel/rapidcheck/Makefile Wed May 3 16:56:31 2023
@@ -0,0 +1,34 @@
+# $NetBSD: Makefile,v 1.1 2023/05/03 16:56:31 nikita Exp $
+
+DISTNAME= rapidcheck-0.0.0.20220314
+CATEGORIES= devel
+MASTER_SITES= ${MASTER_SITE_GITHUB:=emil-e/}
+GITHUB_PROJECT= rapidcheck
+GITHUB_TAG= 8fafda42e732164db58003e542196e94a28481f9
+
+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+= -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"
Index: pkgsrc/devel/rapidcheck/PLIST
diff -u /dev/null pkgsrc/devel/rapidcheck/PLIST:1.1
--- /dev/null Wed May 3 16:56:31 2023
+++ pkgsrc/devel/rapidcheck/PLIST Wed May 3 16:56:31 2023
@@ -0,0 +1,133 @@
+@comment $NetBSD: PLIST,v 1.1 2023/05/03 16:56:31 nikita Exp $
+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
Index: pkgsrc/devel/rapidcheck/buildlink3.mk
diff -u /dev/null pkgsrc/devel/rapidcheck/buildlink3.mk:1.1
--- /dev/null Wed May 3 16:56:31 2023
+++ pkgsrc/devel/rapidcheck/buildlink3.mk Wed May 3 16:56:31 2023
@@ -0,0 +1,12 @@
+# $NetBSD: buildlink3.mk,v 1.1 2023/05/03 16:56:31 nikita Exp $
+
+BUILDLINK_TREE+= rapidcheck
+
+.if !defined(RAPIDCHECK_BUILDLINK3_MK)
+RAPIDCHECK_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.rapidcheck+= rapidcheck>=0.0.0.20220314
+BUILDLINK_PKGSRCDIR.rapidcheck?= ../../devel/rapidcheck
+.endif # RAPIDCHECK_BUILDLINK3_MK
+
+BUILDLINK_TREE+= -rapidcheck
Index: pkgsrc/devel/rapidcheck/distinfo
diff -u /dev/null pkgsrc/devel/rapidcheck/distinfo:1.1
--- /dev/null Wed May 3 16:56:31 2023
+++ pkgsrc/devel/rapidcheck/distinfo Wed May 3 16:56:31 2023
@@ -0,0 +1,8 @@
+$NetBSD: distinfo,v 1.1 2023/05/03 16:56:31 nikita Exp $
+
+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
Index: pkgsrc/devel/rapidcheck/patches/patch-ext_CMakeLists.txt
diff -u /dev/null pkgsrc/devel/rapidcheck/patches/patch-ext_CMakeLists.txt:1.1
--- /dev/null Wed May 3 16:56:31 2023
+++ pkgsrc/devel/rapidcheck/patches/patch-ext_CMakeLists.txt Wed May 3 16:56:31 2023
@@ -0,0 +1,13 @@
+$NetBSD: patch-ext_CMakeLists.txt,v 1.1 2023/05/03 16:56:31 nikita Exp $
+
+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)
Index: pkgsrc/devel/rapidcheck/patches/patch-extras_CMakeLists.txt
diff -u /dev/null pkgsrc/devel/rapidcheck/patches/patch-extras_CMakeLists.txt:1.1
--- /dev/null Wed May 3 16:56:31 2023
+++ pkgsrc/devel/rapidcheck/patches/patch-extras_CMakeLists.txt Wed May 3 16:56:31 2023
@@ -0,0 +1,15 @@
+$NetBSD: patch-extras_CMakeLists.txt,v 1.1 2023/05/03 16:56:31 nikita Exp $
+
+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)
Index: pkgsrc/devel/rapidcheck/patches/patch-test_CMakeLists.txt
diff -u /dev/null pkgsrc/devel/rapidcheck/patches/patch-test_CMakeLists.txt:1.1
--- /dev/null Wed May 3 16:56:31 2023
+++ pkgsrc/devel/rapidcheck/patches/patch-test_CMakeLists.txt Wed May 3 16:56:31 2023
@@ -0,0 +1,15 @@
+$NetBSD: patch-test_CMakeLists.txt,v 1.1 2023/05/03 16:56:31 nikita Exp $
+
+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
Home |
Main Index |
Thread Index |
Old Index