tech-pkg archive

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

Re: CVS commit: pkgsrc/math/cvc5

To: Alexander Nasonov <alnsn%yandex.ru@localhost>
Subject: Re: CVS commit: pkgsrc/math/cvc5
From: Thomas Klausner <wiz%gatalith.at@localhost>
Date: Fri, 3 Jul 2026 10:40:54 +0200

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

References:
- Re: CVS commit: pkgsrc/math/cvc5
  - From: Greg Troxel
- Re: CVS commit: pkgsrc/math/cvc5
  - From: Thomas Klausner
- Re: CVS commit: pkgsrc/math/cvc5
  - From: Alexander Nasonov

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