Re: CVS commit: pkgsrc/math/cvc5

Alexander Nasonov <[email protected]> Fri, 3 Jul 2026 20:35:01 +0100
Newsgroups gmane.os.netbsd.devel.packages
Message-ID <akgO5ckuyfvFuh6Y@nebeda>
Alexander Nasonov wrote:
> 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

CMAKE_CONFIGURE_ARGS+=	-DCMAKE_CTEST_ARGUMENTS=-j${_MAKE_JOBS_N}


--
Alex