=> 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 why3-1.8.0nb5
Generate src/util/config.ml
Ocamllex src/util/rc.mll
Menhir src/parser/parser_common.mly
Ocamllex src/util/lexlib.mll
Menhir src/parser/parser_common.mly src/parser/parser.mly
Menhir src/driver/driver_parser.mly
Ocamllex src/driver/driver_lexer.mll
Ocamllex src/driver/sexp.mll
Ocamllex src/session/xml.mll
Ocamllex src/util/json_lexer.mll
cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml src/util/re.ml
Ocamllex src/session/strategy_parser.mll
Menhir src/util/json_parser.mly
Ocamllex src/parser/lexer.mll
Ocamllex plugins/tptp/tptp_lexer.mll
Ocamllex plugins/coma/coma_lexer.mll
Menhir plugins/tptp/tptp_parser.mly
Ocamllex plugins/python/py_lexer.mll
Menhir src/parser/parser_common.mly plugins/coma/coma_parser.mly
Ocamllex plugins/microc/mc_lexer.mll
Menhir plugins/python/py_parser.mly
Menhir plugins/microc/mc_parser.mly
Ocamllex plugins/cfg/cfg_lexer.mll
Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly
Ocamllex plugins/parser/dimacs.mll
Ocamllex src/tools/why3wc.mll
Ocamldep src/ide/ide_utils.ml
Ocamldep src/ide/why3ide.ml
Ocamldep src/ide/wserver.ml
Ocamldep src/ide/why3web.ml
Ocamldep src/ide/gconfig.ml
Ocamldep src/why3session/why3session_lib.ml
Ocamldep src/why3session/why3session_info.ml
Ocamldep src/why3session/why3session_html.ml
Ocamldep src/why3session/why3session_latex.ml
Ocamldep src/why3session/why3session_update.ml
Ocamldep src/why3session/why3session_output.ml
Ocamldep src/why3session/why3session_create.ml
Ocamldep src/why3session/why3session_main.ml
Ocamldep src/tools/why3shell.ml
Coqdep   lib/coq/BuiltIn.v
Coqdep   lib/coq/HighOrd.v
Coqdep   lib/coq/WellFounded.v
Coqdep   lib/coq/int/Exponentiation.v
Coqdep   lib/coq/int/Abs.v
Coqdep   lib/coq/int/ComputerDivision.v
Coqdep   lib/coq/int/Div2.v
Coqdep   lib/coq/int/EuclideanDivision.v
Coqdep   lib/coq/int/Int.v
Coqdep   lib/coq/int/MinMax.v
Coqdep   lib/coq/int/Power.v
Coqdep   lib/coq/int/NumOf.v
Coqdep   lib/coq/bool/Bool.v
Coqdep   lib/coq/real/ExpLog.v
Coqdep   lib/coq/real/FromInt.v
Coqdep   lib/coq/real/MinMax.v
Coqdep   lib/coq/real/PowerInt.v
Coqdep   lib/coq/real/PowerReal.v
Coqdep   lib/coq/real/Real.v
Coqdep   lib/coq/real/RealInfix.v
Coqdep   lib/coq/real/Square.v
Coqdep   lib/coq/real/Trigonometry.v
Coqdep   lib/coq/number/Divisibility.v
Coqdep   lib/coq/number/Gcd.v
Coqdep   lib/coq/number/Prime.v
Coqdep   lib/coq/number/Coprime.v
Coqdep   lib/coq/set/Set.v
Coqdep   lib/coq/number/Parity.v
Coqdep   lib/coq/set/Cardinal.v
Coqdep   lib/coq/set/Fset.v
Coqdep   lib/coq/set/FsetInduction.v
Coqdep   lib/coq/set/FsetInt.v
Coqdep   lib/coq/set/FsetSum.v
Coqdep   lib/coq/set/SetAppInt.v
Coqdep   lib/coq/set/SetImp.v
Coqdep   lib/coq/set/SetApp.v
Coqdep   lib/coq/map/Map.v
Coqdep   lib/coq/set/SetImpInt.v
Coqdep   lib/coq/map/Const.v
Coqdep   lib/coq/map/Occ.v
Coqdep   lib/coq/map/MapInjection.v
Coqdep   lib/coq/list/Mem.v
Coqdep   lib/coq/list/Nth.v
Coqdep   lib/coq/list/NthLength.v
Coqdep   lib/coq/list/HdTl.v
Coqdep   lib/coq/list/List.v
Coqdep   lib/coq/list/Append.v
Coqdep   lib/coq/list/Length.v
Coqdep   lib/coq/real/Abs.v
Coqdep   lib/coq/list/HdTlNoOpt.v
Coqdep   lib/coq/list/NthNoOpt.v
Coqdep   lib/coq/map/MapPermut.v
Coqdep   lib/coq/list/RevAppend.v
Coqdep   lib/coq/map/MapExt.v
Coqdep   lib/coq/list/NumOcc.v
Coqdep   lib/coq/list/Distinct.v
Coqdep   lib/coq/list/NthLengthAppend.v
Coqdep   lib/coq/bv/Pow2int.v
Coqdep   lib/coq/option/Option.v
Coqdep   lib/coq/for_drivers/ComputerOfEuclideanDivision.v
Ocamldep src/tools/why3pp.ml
Ocamllex src/why3doc/doc_lexer.mll
cp src/util/json_base.ml src/trywhy3/json_base.ml
cp src/util/json_base.mli src/trywhy3/json_base.mli
Coqdep   lib/coq/list/NthHdTl.v
Coqdep   lib/coq/list/Combine.v
Coqdep   lib/coq/bv/BV_Gen.v
Ocamldep src/isabelle-client/isabelle_client_main.ml
Coqdep   lib/coq/list/Permut.v
Coqdep   lib/coq/list/Reverse.v
Read 3 sample input sentences and 3 error messages.
menhir --explain --strict src/parser/parser_common.mly src/parser/parser.mly --base src/parser/parser --compile-errors \
	src/parser/handcrafted.messages > src/parser/parser_messages.ml
Read 3 sample input sentences and 3 error messages.
mkdir lib/plugins
gmake: *** No rule to make target 'plugins/parser/dimacs.ml', needed by 'plugins/parser/dimacs.cmx'.  Stop.
gmake: *** Waiting for unfinished jobs....
Ocamlopt plugins/parser/genequlin.ml
gmake: *** [Makefile:2124: plugins/parser/genequlin.cmx] Error 1
*** Error code 2

Stop.
make[1]: stopped in /usr/pkgsrc/devel/why3
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/devel/why3