=> 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'.
===> Building for verifast-17.06nb6
gmake: Entering directory '/data/scratch/devel/verifast/work/verifast-17.06/src'
uname: unknown option -- o
usage: uname [-amnprsv]
  OCAML     generate_vfversion.ml
  CAT       Fonts.ml
  OCAMLOPT  linux/Perf.cmx
  OCAMLOPT  linux/Stopwatch.cmi
  CAT       DynType.mli
  CAT       plugins.mli
  OCAMLOPT  vfversion.cmi
  OCAMLOPT  SExpressions.cmi
  CAT       plugins2.mli
  OCAMLOPT  simplex.cmi
File "SExpressions.mli", line 1, characters 5-12:
Error: Unbound module Big_int
GNUmakefile:266: recipe for target 'SExpressions.cmi' failed
gmake: *** [SExpressions.cmi] Error 2
gmake: *** Waiting for unfinished jobs....
File "simplex.mli", line 11, characters 21-28:
Error: Unbound module Num
GNUmakefile:266: recipe for target 'simplex.cmi' failed
gmake: *** [simplex.cmi] Error 2
gmake: Leaving directory '/data/scratch/devel/verifast/work/verifast-17.06/src'
*** Error code 2

Stop.
make[1]: stopped in /data/pkgsrc/devel/verifast
*** Error code 1

Stop.
make: stopped in /data/pkgsrc/devel/verifast