=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for minisat-2.2.0.tar.gz => Checksum SHA512 OK for minisat-2.2.0.tar.gz ===> Installing dependencies for minisat-2.2.0 => Tool dependency mktools-[0-9]*: found mktools-20220614 => Tool dependency gmake>=3.81: found gmake-4.4.1 => Tool dependency nbpatch-[0-9]*: found nbpatch-20151107 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Full dependency zlib>=1.2.3: found zlib-1.3.1 ===> Overriding tools for minisat-2.2.0 ===> Extracting for minisat-2.2.0 ===> Patching for minisat-2.2.0 => Applying pkgsrc patches for minisat-2.2.0 => Verifying /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-x86_64/math/minisat/patches/patch-core_SolverTypes.h => Applying pkgsrc patch /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-x86_64/math/minisat/patches/patch-core_SolverTypes.h Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-core_SolverTypes.h,v 1.1 2013/11/08 21:15:02 joerg Exp $ | |--- core/SolverTypes.h.orig 2013-11-08 20:45:57.000000000 +0000 |+++ core/SolverTypes.h -------------------------- Patching file core/SolverTypes.h using Plan A... Hunk #1 succeeded at 42. done => Verifying /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-x86_64/math/minisat/patches/patch-utils_System.cc => Applying pkgsrc patch /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-x86_64/math/minisat/patches/patch-utils_System.cc Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-utils_System.cc,v 1.2 2014/01/09 14:38:33 jperkin Exp $ | |Support NetBSD. | |--- utils/System.cc.orig 2010-07-10 16:07:36.000000000 +0000 |+++ utils/System.cc -------------------------- Patching file utils/System.cc using Plan A... Hunk #1 succeeded at 72. Hunk #2 succeeded at 92. done ===> Creating toolchain wrappers for minisat-2.2.0 ===> Configuring for minisat-2.2.0 => Checking for portability problems in extracted files