Re: CVS commit: pkgsrc/math/cvc5

[Thomas Klausner <wiz%gatalith.at@localhost>]

On Fri, Jul 03, 2026 at 07:34:05PM +0100, Alexander Nasonov wrote:
> Thomas Klausner wrote:
> > On Fri, Jul 03, 2026 at 09:37:03AM +0100, Alexander Nasonov wrote:
> > > IIRC, my setup picks gmake instead of ninja. I can take a look later.
> > 
> > Sorry, I have CMAKE_GENERATOR set to ninja in my /etc/mk.conf.
> > 
> > But for make, it's the same:
> > 
> > set -e; cd /tmp/archivers/libzip/work/libzip-1.11.4/./cmake-pkgsrc-build/. &&  /usr/bin/env ... /usr/bin/make -j 16 test
> 
> It isn't enough, you should pass ARGS=-j16 to make's env
> 
> # Special rule for the target test
> test:
>         @$(CMAKE_COMMAND) -E cmake_echo_color "--switch=$(COLOR)" --cyan "Running tests..."
>         /usr/pkg/bin/ctest $(ARGS)

TEST_ENV+=		     ARGS=-j${_MAKE_JOBS_N}
should do the trick.
 Thomas