tech-pkg archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: CVS commit: pkgsrc/math/cvc5



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


Home | Main Index | Thread Index | Old Index