=> Bootstrap dependency digest>=20211023: found digest-20211023
=> 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 gmake>=3.81: found gmake-4.3nb2
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Build dependency cwrappers>=20150314: found cwrappers-20180325
===> Skipping vulnerability checks.
WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'.
===> 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 /amd/pkgsrc/CHROOT/P/pkgsrc/math/minisat/patches/patch-core_SolverTypes.h
=> Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/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 /amd/pkgsrc/CHROOT/P/pkgsrc/math/minisat/patches/patch-utils_System.cc
=> Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/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