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