=> Bootstrap dependency digest>=20010302: found digest-20160304
=> Checksum SHA1 OK for minisat-2.2.0.tar.gz
=> Checksum RMD160 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.1nb4
=> Tool dependency nbpatch-[0-9]*: found nbpatch-20151107
=> Build dependency cwrappers>=20150314: found cwrappers-20180325
===> 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
===> Creating toolchain wrappers for minisat-2.2.0
===> Configuring for minisat-2.2.0