=> Bootstrap dependency digest>=20211023: found digest-20220214
===> 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'.
===> Building for yices2-2.6.1
Mode:     release
Platform: x86_64-unknown-netbsd10.0
gmake: /usr/pkg/bin/gmake: No such file or directory
gmake: *** [Makefile:278: all] Error 127
*** Error code 2

Stop.
make[1]: stopped in /usr/pkgsrc/math/yices2
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/math/yices2