=> 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