Re: CVS commit: pkgsrc/math/cvc5

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)


--
Alex