Re: CVS commit: pkgsrc/math/cvc5

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

Thomas Klausner wrote:
> On Fri, Jul 03, 2026 at 07:34:05PM +0100, Alexander Nasonov wrote:
> > 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.

I wish it was that simple. Ninja generator doesn't pass -j to ctest:

#############################################
# Utility command for test

build CMakeFiles/test.util: CUSTOM_COMMAND
  COMMAND = cd /tmp/work/math/cvc5/work/cvc5-cvc5-1.3.4/cmake-pkgsrc-build && /usr/pkg/bin/ctest
  DESC = Running tests...
  pool = console
  restat = 1

build test: phony CMakeFiles/test.util

--
Alex