Re: CVS commit: pkgsrc/math/cvc5

Greg Troxel wrote:
> "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.

I commented it out because all tests fail unless you install the
package. Even if you do, about a hundred will still fail because
they depend on a private .so.

--
Alex