Date: Sun, 27 Oct 2019 17:48:52 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r515804 - in head/devel: . rapidcheck rapidcheck/files Message-ID: <201910271748.x9RHmqJU017831@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Sun Oct 27 17:48:52 2019 New Revision: 515804 URL: https://svnweb.freebsd.org/changeset/ports/515804 Log: New port: devel/rapidcheck: QuickCheck clone for C++ Added: head/devel/rapidcheck/ head/devel/rapidcheck/Makefile (contents, props changed) head/devel/rapidcheck/distinfo (contents, props changed) head/devel/rapidcheck/files/ head/devel/rapidcheck/files/patch-ext_CMakeLists.txt (contents, props changed) head/devel/rapidcheck/files/patch-extras_CMakeLists.txt (contents, props changed) head/devel/rapidcheck/files/patch-test_CMakeLists.txt (contents, props changed) head/devel/rapidcheck/pkg-descr (contents, props changed) head/devel/rapidcheck/pkg-plist (contents, props changed) Modified: head/devel/Makefile Modified: head/devel/Makefile ============================================================================== --- head/devel/Makefile Sun Oct 27 17:42:56 2019 (r515803) +++ head/devel/Makefile Sun Oct 27 17:48:52 2019 (r515804) @@ -5357,6 +5357,7 @@ SUBDIR += raknet SUBDIR += rang SUBDIR += range-v3 + SUBDIR += rapidcheck SUBDIR += rapidjson SUBDIR += raylib SUBDIR += rbenv Added: head/devel/rapidcheck/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/rapidcheck/Makefile Sun Oct 27 17:48:52 2019 (r515804) @@ -0,0 +1,31 @@ +# $FreeBSD$ + +PORTNAME= rapidcheck +PORTVERSION= g20190815 +CATEGORIES= devel + +MAINTAINER= yuri@FreeBSD.org +COMMENT= QuickCheck clone for C++ + +LICENSE= BSD2CLAUSE +LICENSE_FILE= ${WRKSRC}/LICENSE.md + +USES= cmake compiler:c++11-lang localbase +USE_GITHUB= yes +GH_ACCOUNT= emil-e +GH_TAGNAME= d9482c6 +USE_LDCONFIG= yes + +CMAKE_ON= BUILD_SHARED_LIBS + +post-install: + @${MV} ${STAGEDIR}${DATADIR}/cmake ${STAGEDIR}${PREFIX}/lib/ + @${RMDIR} ${STAGEDIR}${DATADIR} + +do-test: # broken: https://github.com/emil-e/rapidcheck/issues/242 + @cd ${BUILD_WRKSRC} && \ + ${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} -DRC_ENABLE_TESTS:BOOL=ON ${CMAKE_SOURCE_PATH} && \ + ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \ + ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test + +.include <bsd.port.mk> Added: head/devel/rapidcheck/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/rapidcheck/distinfo Sun Oct 27 17:48:52 2019 (r515804) @@ -0,0 +1,3 @@ +TIMESTAMP = 1572197285 +SHA256 (emil-e-rapidcheck-g20190815-d9482c6_GH0.tar.gz) = 83b0ba15394e19c096887afb6e2032e2271f36df499eb1cb1c0659ebb3e04853 +SIZE (emil-e-rapidcheck-g20190815-d9482c6_GH0.tar.gz) = 180832 Added: head/devel/rapidcheck/files/patch-ext_CMakeLists.txt ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/rapidcheck/files/patch-ext_CMakeLists.txt Sun Oct 27 17:48:52 2019 (r515804) @@ -0,0 +1,9 @@ +--- 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) Added: head/devel/rapidcheck/files/patch-extras_CMakeLists.txt ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/rapidcheck/files/patch-extras_CMakeLists.txt Sun Oct 27 17:48:52 2019 (r515804) @@ -0,0 +1,11 @@ +--- 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) Added: head/devel/rapidcheck/files/patch-test_CMakeLists.txt ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/rapidcheck/files/patch-test_CMakeLists.txt Sun Oct 27 17:48:52 2019 (r515804) @@ -0,0 +1,11 @@ +--- 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 Added: head/devel/rapidcheck/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/rapidcheck/pkg-descr Sun Oct 27 17:48:52 2019 (r515804) @@ -0,0 +1,13 @@ +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. + +WWW: https://github.com/emil-e/rapidcheck Added: head/devel/rapidcheck/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/devel/rapidcheck/pkg-plist Sun Oct 27 17:48:52 2019 (r515804) @@ -0,0 +1,124 @@ +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/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/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/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/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/cmake/rapidcheckConfig-%%CMAKE_BUILD_TYPE%%.cmake +lib/cmake/rapidcheckConfig.cmake +lib/librapidcheck.so
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201910271748.x9RHmqJU017831>