svn commit: r515804 - in head/devel: . rapidcheck rapidcheck/files

Yuri Victorovich yuri at FreeBSD.org
Sun Oct 27 17:48:54 UTC 2019 

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 at 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

More information about the svn-ports-head mailing list