=> Bootstrap dependency digest>=20010302: found digest-20160304
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
=> Checksum SHA1 OK for verifast-18.02.tar.gz
=> Checksum RMD160 OK for verifast-18.02.tar.gz
=> Checksum SHA512 OK for verifast-18.02.tar.gz
===> Installing dependencies for verifast-18.02nb4
==========================================================================
The following variables will affect the build process of this package,
verifast-18.02nb4.  Their current value is shown below:

        * BDB185_DEFAULT = db1
        * BDB_DEFAULT = db4
        * OCAML_USE_OPT_COMPILER = yes
        * SSLBASE = /usr
        * SSLCERTS = /etc/openssl/certs
        * SSLDIR = /etc/openssl
        * SSLKEYS = /etc/openssl/private

Based on these variables, the following variables have been set:

        * BDBBASE (defined, but empty)
        * BDB_LIBS = -ldb4
        * BDB_TYPE = db4
        * TERMCAP_TYPE = termcap

You may want to abort the process now with CTRL-C and change their value
before continuing.  Be sure to run `/usr/bin/make clean' after
the changes.
==========================================================================
=> Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.56.1
=> Tool dependency gmake>=3.81: found gmake-4.1nb4
=> Tool dependency pkgconf-[0-9]*: found pkgconf-1.4.1nb1
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Build dependency vala-[0-9]*: found vala-0.40.4
=> Build dependency camlp4-[0-9]*: found camlp4-4.06+1nb1
=> Build dependency xorgproto>=2016.1: found xorgproto-2018.4
=> Build dependency xcb-proto>=1.4: found xcb-proto-1.13
=> Build dependency cwrappers>=20150314: found cwrappers-20180325
=> Full dependency ocaml-findlib>=1.8.0: found ocaml-findlib-1.8.0
=> Full dependency ocaml>=4.06.1: found ocaml-4.06.1
=> Full dependency camlp4>=4.06: found camlp4-4.06+1nb1
=> Full dependency ocaml-num>=1.1: found ocaml-num-1.1nb1
=> Full dependency z3>=4.5.0: found z3-4.5.0nb2
=> Full dependency ocaml-lablgtk>=2.18.6nb10: found ocaml-lablgtk-2.18.6nb10
===> Overriding tools for verifast-18.02nb4
===> Extracting for verifast-18.02nb4
tar: Global extended headers posix ustar archive. Extracting as plain files. Following files might be in the wrong directory or have wrong attributes.
===> Patching for verifast-18.02nb4
=> Applying pkgsrc patches for verifast-18.02nb4
=> Verifying /data/pkgsrc/devel/verifast/patches/patch-src_GNUmakefile
=> Applying pkgsrc patch /data/pkgsrc/devel/verifast/patches/patch-src_GNUmakefile
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_GNUmakefile,v 1.3 2018/03/13 05:45:25 dholland Exp $
|
|* Fix build under NetBSD and SunOS
|
|--- src/GNUmakefile.orig	2018-03-05 10:56:03.000000000 +0000
|+++ src/GNUmakefile
--------------------------
Patching file src/GNUmakefile using Plan A...
Hunk #1 succeeded at 42.
Hunk #2 succeeded at 189.
Hunk #3 succeeded at 251.
Hunk #4 succeeded at 317.
Hunk #5 succeeded at 353.
Hunk #6 succeeded at 402.
Hunk #7 succeeded at 420.
Hunk #8 succeeded at 436.
done
===> Creating toolchain wrappers for verifast-18.02nb4
===> Configuring for verifast-18.02nb4
=> Generating pkg-config files for builtin xz package.
=> Generating pkg-config file for builtin expat package.
=> Checking for portability problems in extracted files
/bin/cp /data/pkgsrc/devel/verifast/files/GNUmakefile.settings /data/scratch/devel/verifast/work/verifast-18.02/
=> Substituting "conf" in GNUmakefile.settings