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