Re: CVS commit: pkgsrc/math/cvc5

[Alexander Nasonov <alnsn%yandex.ru@localhost>]

Thomas Klausner wrote:
> On Thu, Jul 02, 2026 at 07:55:50PM +0100, Greg Troxel wrote:
> > 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 this already happens?
> 
> /usr/pkgsrc/archivers/libzip> make -n do-test
> set -e; cd /usr/pkgsrc/archivers/libzip/work/libzip-1.11.4/./cmake-pkgsrc-build/. &&  /usr/bin/env ... ninja -j 24 test
> 
>  Thomas

IIRC, my setup picks gmake instead of ninja. I can take a look later.

--
Alex