Re: CVS commit: pkgsrc/math/cvc5

Thomas Klausner <[email protected]> Fri, 3 Jul 2026 10:40:54 +0200

Newsgroups	gmane.os.netbsd.devel.packages
Message-ID	<[email protected]>

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

 Thomas