=> Bootstrap dependency digest>=20010302: found digest-20190127
=> Checksum SHA1 OK for pvs-3.2-libraries.tgz
=> Checksum RMD160 OK for pvs-3.2-libraries.tgz
=> Checksum SHA512 OK for pvs-3.2-libraries.tgz
=> Checksum SHA1 OK for pvs-3.2-solaris.tgz
=> Checksum RMD160 OK for pvs-3.2-solaris.tgz
=> Checksum SHA512 OK for pvs-3.2-solaris.tgz
=> Checksum SHA1 OK for pvs-3.2-system.tgz
=> Checksum RMD160 OK for pvs-3.2-system.tgz
=> Checksum SHA512 OK for pvs-3.2-system.tgz
===> Installing dependencies for pvs-3.2nb4
==========================================================================
The following variables will affect the build process of this package,
pvs-3.2nb4.  Their current value is shown below:

        * EMACS_TYPE = emacs26

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

        * EMACS_BIN = /usr/pkg/bin/emacs
        * EMACS_ETCPREFIX = /usr/pkg/share
        * EMACS_FLAVOR = emacs
        * EMACS_INFOPREFIX = /usr/pkg/info
        * EMACS_LISPPREFIX = /usr/pkg/share/emacs/site-lisp
        * EMACS_PKGNAME_PREFIX (defined, but empty)
        * EMACS_VERSION_MAJOR = 26
        * EMACS_VERSION_MICRO (defined, but empty)
        * EMACS_VERSION_MINOR = 3

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.
==========================================================================
=> Build dependency cwrappers>=20150314: found cwrappers-20180325
=> Full dependency tex-amsmath>=2.13nb2: found tex-amsmath-2.17a.49390
=> Full dependency tk>=8.0: found tk-8.6.9.1
=> Full dependency emacs26>=26.1<27: found emacs26-26.3nb1
===> Overriding tools for pvs-3.2nb4
===> Extracting for pvs-3.2nb4
===> Patching for pvs-3.2nb4
=> Applying pkgsrc patches for pvs-3.2nb4
===> Creating toolchain wrappers for pvs-3.2nb4
===> Configuring for pvs-3.2nb4