=> 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-17.06.tar.gz => Checksum RMD160 OK for verifast-17.06.tar.gz => Checksum SHA512 OK for verifast-17.06.tar.gz ===> Installing dependencies for verifast-17.06nb4 ========================================================================== The following variables will affect the build process of this package, verifast-17.06nb4. Their current value is shown below: * BDB185_DEFAULT = db1 * BDB_DEFAULT = db4 * 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.54.2 => Tool dependency gmake>=3.81: found gmake-4.1nb3 => Tool dependency pkgconf-[0-9]*: found pkgconf-1.3.5 => Tool dependency checkperms>=1.1: found checkperms-1.11nb1 => Build dependency vala-[0-9]*: found vala-0.38.3 => Build dependency camlp4-[0-9]*: found camlp4-4.05+1 => Build dependency renderproto>=0.9.3nb1: found renderproto-0.11.1 => Build dependency kbproto>=1.0.2: found kbproto-1.0.7 => Build dependency xproto>=7.0.13: found xproto-7.0.31 => Build dependency xcb-proto>=1.4: found xcb-proto-1.12 => Build dependency dri2proto>=2.1: found dri2proto-2.8 => Build dependency dri3proto>=1.0: found dri3proto-1.0 => Build dependency presentproto>=1.0: found presentproto-1.1 => Build dependency glproto>=1.4.11: found glproto-1.4.17 => Build dependency damageproto>=1.1.0: found damageproto-1.2.1 => Build dependency fixesproto>=4.0.0: found fixesproto-5.0 => Build dependency xextproto>=7.0.99.1: found xextproto-7.3.0 => Build dependency inputproto>=2.3: found inputproto-2.3.2 => Build dependency xf86vidmodeproto>=2.3: found xf86vidmodeproto-2.3.1 => Build dependency xf86driproto>=2.0.3: found xf86driproto-2.1.1nb1 => Build dependency randrproto>=1.4: found randrproto-1.5.0 => Build dependency xineramaproto>=1.1.1: found xineramaproto-1.2.1 => Build dependency compositeproto>=0.3.1: found compositeproto-0.4.2 => Build dependency recordproto>=1.13.1: found recordproto-1.14.2 => Build dependency cwrappers>=20150314: found cwrappers-20171108 => Full dependency camlp4>=4.05: found camlp4-4.05+1 => Full dependency ocaml>=4.05.0: found ocaml-4.05.0nb2 => Full dependency ocaml-lablgtk>=2.18.6nb2: found ocaml-lablgtk-2.18.6nb2 ===> Overriding tools for verifast-17.06nb4 ===> Extracting for verifast-17.06nb4 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-17.06nb4 => Applying pkgsrc patches for verifast-17.06nb4 => 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.2 2017/09/26 17:49:10 wiedi Exp $ | |* Fix build under NetBSD and SunOS | |--- src/GNUmakefile.orig 2017-06-13 16:58:54.000000000 +0000 |+++ src/GNUmakefile -------------------------- Patching file src/GNUmakefile using Plan A... Hunk #1 succeeded at 41. Hunk #2 succeeded at 54. Hunk #3 succeeded at 147. Hunk #4 succeeded at 204. Hunk #5 succeeded at 390. Hunk #6 succeeded at 408. Hunk #7 succeeded at 416. done => Verifying /data/pkgsrc/devel/verifast/patches/patch-src_linux_caml__stopwatch.c => Applying pkgsrc patch /data/pkgsrc/devel/verifast/patches/patch-src_linux_caml__stopwatch.c Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_linux_caml__stopwatch.c,v 1.1 2017/09/09 21:57:46 dholland Exp $ | |Don't intrude on the implementation namespace. It breaks the clang build. | |--- src/linux/caml_stopwatch.c~ 2017-06-13 16:58:54.000000000 +0000 |+++ src/linux/caml_stopwatch.c -------------------------- Patching file src/linux/caml_stopwatch.c using Plan A... Hunk #1 succeeded at 10. Hunk #2 succeeded at 19. Hunk #3 succeeded at 28. Hunk #4 succeeded at 47. Hunk #5 succeeded at 66. done ===> Creating toolchain wrappers for verifast-17.06nb4 src=/usr/pkg/lib/pkgconfig/fixesproto.pc dst=/data/scratch/devel/verifast/work/.buildlink/lib/pkgconfig/fixesext.pc; /bin/mkdir -p /data/scratch/devel/verifast/work/.buildlink/lib/pkgconfig; if test -f ${src}; then /bin/ln -sf ${src} ${dst}; fi src=/usr/pkg/lib/pkgconfig/compositeproto.pc dst=/data/scratch/devel/verifast/work/.buildlink/lib/pkgconfig/compositeext.pc; /bin/mkdir -p /data/scratch/devel/verifast/work/.buildlink/lib/pkgconfig; if test -f ${src}; then /bin/ln -sf ${src} ${dst}; fi ===> Configuring for verifast-17.06nb4 => Generating pkg-config file for builtin expat package. => Checking for portability problems in extracted files