=> 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.06
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
  CAT       DynType.mli
  CAT       plugins.mli
  OCAMLOPT  linux/Stopwatch.cmi
  OCAMLOPT  vfversion.cmi
  OCAMLOPT  SExpressions.cmi
  CAT       plugins2.mli
  OCAMLOPT  simplex.cmi
  OCAMLOPT  linux/caml_stopwatch.o
  OCAMLOPT  main_class.cmi
  OCAMLOPT  java_card_applet.cmi
  OCAMLOPT  dlsymtool.cmi
  OCAMLOPT  vfstrip.cmi
File "dlsymtool.ml", line 34, characters 21-37:
Warning 3: deprecated: String.uppercase
Use String.uppercase_ascii instead.
File "vfstrip.ml", line 30, characters 21-36:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
File "vfstrip.ml", line 40, characters 14-27:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "vfstrip.ml", line 46, characters 10-23:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "vfstrip.ml", line 128, characters 8-1305:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
'a'
  OCAML     tabhunter.ml
caml_stopwatch.c:22:38: error: definition of builtin function '__rdtsc'
static __inline__ unsigned long long __rdtsc(void)
                                     ^
1 error generated.
linux/GNUmakefile:20: recipe for target 'linux/caml_stopwatch.o' failed
gmake: *** [linux/caml_stopwatch.o] Error 2
gmake: *** Waiting for unfinished jobs....
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