Re: CVS commit: pkgsrc/math/cvc5

"Alexander Nasonov" <[email protected]> writes:

> @@ -23,9 +23,10 @@ DEPENDS+=	${PYPKGPREFIX}-pyparsing>=3.0.
>  
>  # Tests take a long time to finish, you can instead
>  # run them inside a sandboxed shell and pass -j N:
> -# make install
>  # make build-env
> -# cd cmake-pkgsrc-build && ctest -j 32
> +# cd cmake-pkgsrc-build
> +# export LD_LIBRARY_PATH=$(pwd)/src:$(pwd)/src/parser:$(pwd)/src/main
> +# ctest -j 32
>  # ^D
>  #TEST_TARGET=	test

Probably we should arrange for MAKE_JOBS to be passed to cmake tests,
instead of not having tests hooked in and suggesting it be done
manually.

I think having tests run with "make tests", even slowly, is preferable
to tests that have to be run by hand.