Re: CVS commit: pkgsrc/math/cvc5

To: Greg Troxel <gdt%lexort.com@localhost>
Subject: Re: CVS commit: pkgsrc/math/cvc5
From: Thomas Klausner <wiz%gatalith.at@localhost>
Date: Fri, 3 Jul 2026 06:52:57 +0200

On Thu, Jul 02, 2026 at 07:55:50PM +0100, Greg Troxel wrote:
> Probably we should arrange for MAKE_JOBS to be passed to cmake tests,
> instead of not having tests hooked in and suggesting it be done
> manually.

I think this already happens?

/usr/pkgsrc/archivers/libzip> make -n do-test
set -e; cd /usr/pkgsrc/archivers/libzip/work/libzip-1.11.4/./cmake-pkgsrc-build/. &&  /usr/bin/env ... ninja -j 24 test

 Thomas

Follow-Ups:
- Re: CVS commit: pkgsrc/math/cvc5
  - From: Alexander Nasonov

References:
- Re: CVS commit: pkgsrc/math/cvc5
  - From: Greg Troxel

Prev by Date: Re: CVS commit: pkgsrc/math/cvc5
Next by Date: Re: heads up RE autoconf C23 vs legacy code
Previous by Thread: Re: CVS commit: pkgsrc/math/cvc5
Next by Thread: Re: CVS commit: pkgsrc/math/cvc5
Indexes:

Home | Main Index | Thread Index | Old Index