build: echo prop tests status during build
Enable users to see if the prop tests are enabled during the build. This can be particularly helpful as property-based tests are silently auto-enabled by default if librapidcheck is found. Minor fixes to the docs and help grammar for this option.
This commit is contained in:
parent
8fc7f0cba9
commit
a6c1fc3cd9
1 changed files with 3 additions and 2 deletions
|
@ -133,7 +133,7 @@ AC_ARG_ENABLE(gui-tests,
|
||||||
|
|
||||||
AC_ARG_WITH([rapidcheck],
|
AC_ARG_WITH([rapidcheck],
|
||||||
[AS_HELP_STRING([--with-rapidcheck],
|
[AS_HELP_STRING([--with-rapidcheck],
|
||||||
[enable RapidCheck property based tests (default is yes if librapidcheck is found)])],
|
[enable RapidCheck property-based tests (default is yes if librapidcheck is found)])],
|
||||||
[use_rapidcheck=$withval],
|
[use_rapidcheck=$withval],
|
||||||
[use_rapidcheck=auto])
|
[use_rapidcheck=auto])
|
||||||
|
|
||||||
|
@ -1275,7 +1275,7 @@ AC_CHECK_DECLS([EVP_MD_CTX_new],,,[AC_INCLUDES_DEFAULT
|
||||||
])
|
])
|
||||||
CXXFLAGS="${save_CXXFLAGS}"
|
CXXFLAGS="${save_CXXFLAGS}"
|
||||||
|
|
||||||
dnl RapidCheck Property Based Testing
|
dnl RapidCheck property-based testing
|
||||||
|
|
||||||
enable_property_tests=no
|
enable_property_tests=no
|
||||||
if test "x$use_rapidcheck" = xauto; then
|
if test "x$use_rapidcheck" = xauto; then
|
||||||
|
@ -1657,6 +1657,7 @@ fi
|
||||||
echo " with zmq = $use_zmq"
|
echo " with zmq = $use_zmq"
|
||||||
echo " with test = $use_tests"
|
echo " with test = $use_tests"
|
||||||
if test x$use_tests != xno; then
|
if test x$use_tests != xno; then
|
||||||
|
echo " with prop = $enable_property_tests"
|
||||||
echo " with fuzz = $enable_fuzz"
|
echo " with fuzz = $enable_fuzz"
|
||||||
fi
|
fi
|
||||||
echo " with bench = $use_bench"
|
echo " with bench = $use_bench"
|
||||||
|
|
Loading…
Add table
Reference in a new issue