+ local run_cmd + run_cmd=run_su + shift + run_su /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/frama-c-20170501nb35/work.log + su pbulk -c '"$@"' make /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/frama-c-20170501nb35/work.log => Bootstrap dependency digest>=20211023: found digest-20220214 ===> Building for frama-c-20170501nb35 Ocamlyacc src/kernel_internals/parsing/cparser.ml Ocamllex src/libraries/utils/json.ml Ocamllex src/kernel_internals/parsing/logic_lexer.ml Ocamllex src/kernel_internals/parsing/clexer.ml 36 states, 360 transitions, table size 1656 bytes 148 states, 1842 transitions, table size 8256 bytes 1933 additional bytes used for bindings Ocamlyacc src/kernel_internals/parsing/logic_parser.ml Ocamllex src/kernel_internals/parsing/logic_preprocess.ml 136 states, 558 transitions, table size 3048 bytes 2127 additional bytes used for bindings 381 states, 4411 transitions, table size 19930 bytes 3329 additional bytes used for bindings Generating src/plugins/value/domains/apron/apron_domain.ml ocamlfind: Package `num' not found Generating share/frama-c.rc Generating share/Makefile.dynamic_config Generating src/kernel_internals/runtime/config.ml Generating share/Makefile.kernel Generating src/plugins/wp/.Makefile.plugin.generated Generating src/plugins/variadic/.Makefile.plugin.generated Generating src/plugins/security_slicing/.Makefile.plugin.generated Generating src/plugins/report/.Makefile.plugin.generated Generating src/plugins/print_api/.Makefile.plugin.generated Generating src/plugins/obfuscator/.Makefile.plugin.generated Generating src/plugins/nonterm/.Makefile.plugin.generated Generating src/plugins/loop_analysis/.Makefile.plugin.generated Generating src/plugins/e-acsl/.Makefile.plugin.generated Generating src/plugins/aorai/.Makefile.plugin.generated Generating src/plugins/slicing/.Makefile.plugin.generated Generating src/plugins/sparecode/.Makefile.plugin.generated Generating src/plugins/scope/.Makefile.plugin.generated Generating src/plugins/pdg/.Makefile.plugin.generated Generating src/plugins/impact/.Makefile.plugin.generated Generating src/plugins/inout/.Makefile.plugin.generated Generating src/plugins/postdominators/.Makefile.plugin.generated Generating src/plugins/constant_propagation/.Makefile.plugin.generated Generating src/plugins/users/.Makefile.plugin.generated Generating src/plugins/from/.Makefile.plugin.generated Generating src/plugins/rte/.Makefile.plugin.generated Generating src/plugins/occurrence/.Makefile.plugin.generated Generating src/plugins/callgraph/.Makefile.plugin.generated Generating src/plugins/value/.Makefile.plugin.generated Generating src/plugins/metrics/.Makefile.plugin.generated Generating src/kernel_internals/runtime/frama_c_config.ml Generating .depend Ocamllex src/plugins/wp/rformat.ml Ocamllex src/plugins/wp/script.ml Ocamllex src/plugins/wp/driver.ml Ocamllex src/plugins/wp/why3_xml.ml 105 states, 2064 transitions, table size 8886 bytes 2265 additional bytes used for bindings 31 states, 1109 transitions, table size 4622 bytes 4393 additional bytes used for bindings 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings Ocamllex src/plugins/wp/qed/src/numbers.ml 57 states, 826 transitions, table size 3646 bytes 53 states, 1709 transitions, table size 7154 bytes 4689 additional bytes used for bindings Generating src/plugins/wp/Wp.mli Ocamlyacc src/plugins/print_api/grammar.ml Ocamllex src/plugins/print_api/lexer.ml Generating src/plugins/e-acsl/local_config.ml 8 states, 264 transitions, table size 1104 bytes Ocamllex src/plugins/aorai/promelalexer_withexps.ml 100 states, 4420 transitions, table size 18280 bytes Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml Ocamllex src/plugins/aorai/promelalexer.ml 4 shift/reduce conflicts. Ocamlyacc src/plugins/aorai/promelaparser.ml Ocamllex src/plugins/aorai/ltllexer.ml 85 states, 4392 transitions, table size 18078 bytes Ocamlyacc src/plugins/aorai/ltlparser.ml 82 states, 3369 transitions, table size 13968 bytes 7 shift/reduce conflicts. Ocamllex src/plugins/aorai/yalexer.ml Ocamlyacc src/plugins/aorai/yaparser.ml 73 states, 2302 transitions, table size 9646 bytes Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli Generating /home/pbulk/build/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli Ocamldep src/plugins/variadic/.depend Ocamldep src/plugins/report/.depend Ocamldep src/plugins/print_api/.depend Ocamldep src/plugins/obfuscator/.depend Ocamldep src/plugins/nonterm/.depend Ocamldep src/plugins/loop_analysis/.depend Ocamldep src/plugins/e-acsl/.depend Ocamldep src/plugins/aorai/.depend Ocamldep src/plugins/slicing/.depend Ocamldep src/plugins/sparecode/.depend Ocamldep src/plugins/scope/.depend Ocamldep src/plugins/pdg/.depend Ocamldep src/plugins/impact/.depend Ocamldep src/plugins/inout/.depend Ocamldep src/plugins/postdominators/.depend Ocamldep src/plugins/constant_propagation/.depend Ocamldep src/plugins/users/.depend Ocamldep src/plugins/from/.depend Ocamldep src/plugins/rte/.depend Ocamldep src/plugins/occurrence/.depend Ocamldep src/plugins/value/.depend Ocamldep src/plugins/callgraph/.depend Ocamldep src/plugins/metrics/.depend Ocamldep src/plugins/wp/.depend Generating META.frama-c-aorai Ocamlc src/libraries/datatype/unmarshal.cmi Ocamlc src/plugins/aorai/bool3.cmi ocamlfind: Package `num' not found Ocamlc src/libraries/stdlib/FCSet.cmi ocamlfind: Package `num' not found gmake: *** [share/Makefile.generic:71: src/libraries/stdlib/FCSet.cmi] Error 2 gmake: *** Waiting for unfinished jobs.... gmake: *** [share/Makefile.generic:71: src/plugins/aorai/bool3.cmi] Error 2 ocamlfind: Package `num' not found gmake: *** [share/Makefile.generic:71: src/libraries/datatype/unmarshal.cmi] Error 2 *** Error code 2 Stop. bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-netbsd-trunk-x86_64/devel/frama-c *** Error code 1 Stop. bmake: stopped in /data/jenkins/workspace/pkgsrc-netbsd-trunk-x86_64/devel/frama-c