=> 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 frama-c-20170501nb1
Ocamllex     src/kernel_internals/parsing/clexer.ml
Ocamlyacc    src/kernel_internals/parsing/cparser.ml
Ocamllex     src/kernel_internals/parsing/logic_lexer.ml
Ocamlyacc    src/kernel_internals/parsing/logic_parser.ml
Ocamllex     src/kernel_internals/parsing/logic_preprocess.ml
Ocamllex     src/libraries/utils/json.ml
Generating  src/plugins/value/domains/apron/apron_domain.ml
Generating   share/frama-c.rc
Generating   share/Makefile.dynamic_config
Coqdep for src/plugins/wp/share/coqwp
Generating   src/plugins/wp/.Makefile.plugin.generated
36 states, 360 transitions, table size 1656 bytes
Generating   src/plugins/report/.Makefile.plugin.generated
Generating   share/Makefile.kernel
Generating   src/plugins/print_api/.Makefile.plugin.generated
148 states, 1842 transitions, table size 8256 bytes
1933 additional bytes used for bindings
Generating   src/plugins/variadic/.Makefile.plugin.generated
Generating   src/plugins/obfuscator/.Makefile.plugin.generated
136 states, 558 transitions, table size 3048 bytes
2127 additional bytes used for bindings
Generating   src/plugins/nonterm/.Makefile.plugin.generated
Generating   src/plugins/loop_analysis/.Makefile.plugin.generated
381 states, 4411 transitions, table size 19930 bytes
3329 additional bytes used for bindings
Generating   src/plugins/e-acsl/.Makefile.plugin.generated
Generating  src/kernel_internals/runtime/config.ml
Generating   src/plugins/security_slicing/.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/constant_propagation/.Makefile.plugin.generated
Generating   src/plugins/users/.Makefile.plugin.generated
Generating   src/plugins/inout/.Makefile.plugin.generated
Generating   src/plugins/from/.Makefile.plugin.generated
Generating   src/plugins/postdominators/.Makefile.plugin.generated
Generating   src/plugins/callgraph/.Makefile.plugin.generated
Generating   src/plugins/occurrence/.Makefile.plugin.generated
Generating   src/plugins/metrics/.Makefile.plugin.generated
Generating   src/kernel_internals/runtime/frama_c_config.ml
Generating   src/plugins/rte/.Makefile.plugin.generated
Generating   src/plugins/value/.Makefile.plugin.generated
Generating   .depend
warning: option -slash has no effect and is deprecated.
Ocamllex     src/plugins/wp/script.ml
Ocamllex     src/plugins/wp/rformat.ml
Ocamllex     src/plugins/wp/why3_xml.ml
Ocamllex     src/plugins/wp/qed/src/numbers.ml
Ocamllex     src/plugins/wp/driver.ml
105 states, 2064 transitions, table size 8886 bytes
2265 additional bytes used for bindings
53 states, 1709 transitions, table size 7154 bytes
4689 additional bytes used for bindings
114 states, 1396 transitions, table size 6268 bytes
3538 additional bytes used for bindings
31 states, 1109 transitions, table size 4622 bytes
4393 additional bytes used for bindings
57 states, 826 transitions, table size 3646 bytes
Generating   src/plugins/wp/Wp.mli
Ocamlyacc    src/plugins/aorai/promelaparser.ml
Generating   src/plugins/e-acsl/local_config.ml
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli
Ocamllex     src/plugins/aorai/yalexer.ml
Ocamlyacc    src/plugins/print_api/grammar.ml
Ocamlyacc    src/plugins/aorai/yaparser.ml
Ocamllex     src/plugins/aorai/ltllexer.ml
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli
Ocamlyacc    src/plugins/aorai/ltlparser.ml
Ocamllex     src/plugins/aorai/promelalexer_withexps.ml
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli
7 shift/reduce conflicts.
Ocamllex     src/plugins/print_api/lexer.ml
Ocamlyacc    src/plugins/aorai/promelaparser_withexps.ml
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli
8 states, 264 transitions, table size 1104 bytes
4 shift/reduce conflicts.
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli
Ocamllex     src/plugins/aorai/promelalexer.ml
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli
73 states, 2302 transitions, table size 9646 bytes
82 states, 3369 transitions, table size 13968 bytes
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli
100 states, 4420 transitions, table size 18280 bytes
85 states, 4392 transitions, table size 18078 bytes
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/From.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli
Ocamldep     src/plugins/variadic/.depend
Ocamldep     src/plugins/print_api/.depend
Ocamldep     src/plugins/loop_analysis/.depend
Ocamldep     src/plugins/slicing/.depend
Ocamldep     src/plugins/pdg/.depend
Ocamldep     src/plugins/impact/.depend
Ocamldep     src/plugins/postdominators/.depend
Ocamldep     src/plugins/e-acsl/.depend
Ocamldep     src/plugins/security_slicing/.depend
Ocamldep     src/plugins/obfuscator/.depend
Ocamldep     src/plugins/constant_propagation/.depend
Ocamldep     src/plugins/users/.depend
Ocamldep     src/plugins/nonterm/.depend
Ocamldep     src/plugins/aorai/.depend
Ocamldep     src/plugins/scope/.depend
Ocamldep     src/plugins/report/.depend
Ocamldep     src/plugins/inout/.depend
Ocamldep     src/plugins/sparecode/.depend
Ocamldep     src/plugins/from/.depend
Ocamldep     src/plugins/rte/.depend
Ocamldep     src/plugins/occurrence/.depend
Ocamldep     src/plugins/metrics/.depend
Ocamldep     src/plugins/wp/.depend
Ocamldep     src/plugins/callgraph/.depend
Ocamldep     src/plugins/value/.depend
Generating   META.frama-c-aorai
Ocamlc       src/libraries/utils/escape.cmi
Ocamlc       src/libraries/utils/filepath.cmi
Ocamlc       src/libraries/utils/pretty_utils.cmi
Ocamlc       src/libraries/stdlib/FCHashtbl.cmi
Ocamlc       src/plugins/aorai/aorai_dataflow.cmi
Ocamlc       src/plugins/aorai/bool3.cmi
Ocamlc       src/libraries/stdlib/FCMap.cmi
Ocamlc       src/plugins/value_types/cilE.cmi
Ocamlc       src/libraries/stdlib/extlib.cmi
Ocamlc       src/libraries/utils/hook.cmi
Ocamlc       src/plugins/aorai/ltlast.cmi
Ocamlc       src/libraries/datatype/unmarshal.cmi
Ocamlc       src/libraries/utils/wto.cmi
Ocamlc       src/libraries/stdlib/FCSet.cmi
Generating   META.frama-c-e_acsl
Ocamlc       src/plugins/e-acsl/local_config.cmi
Ocamlc       src/plugins/e-acsl/error.cmi
Generating   META.frama-c-obfuscator
Generating   META.frama-c-loopanalysis
Generating   META.frama-c-nonterm
Ocamlc       src/plugins/obfuscator/obfuscate.cmi
Generating   META.frama-c-print_api
Ocamlc       src/plugins/print_api/grammar.cmi
Generating   META.frama-c-report
Ocamlc       src/kernel_internals/runtime/config.cmi
Ocamlc       src/plugins/report/register.cmi
Ocamlc       src/plugins/report/csv.cmi
Ocamlc       src/libraries/stdlib/transitioning.cmi
Generating   META.frama-c-security_slicing
Ocamlc       src/plugins/variadic/format_types.cmi
Generating   META.frama-c-wp
Ocamlc       src/plugins/wp/rformat.cmi
Ocamlc       src/libraries/utils/command.cmi
Compiling    Qed (byte)
Ocamlc       src/libraries/utils/bag.cmi
Ocamlc       src/plugins/wp/Warning.cmi
Ocamlc       src/libraries/utils/bitvector.cmi
Ocamlc       src/plugins/wp/VCS.cmi
Ocamlc       src/plugins/wp/wpReport.cmi
Ocamlc       src/libraries/utils/vector.cmi
Ocamlc       src/plugins/wp/script.cmi
Ocamlc       src/plugins/wp/why3_xml.cmi
Ocamlc       src/kernel_internals/typing/alpha.cmi
Coqc         src/plugins/wp/share/coqwp/BuiltIn.v
Ocamlc       src/libraries/utils/json.cmi
Generating   META.frama-c-variadic
Ocamlc       src/kernel_internals/runtime/frama_c_init.cmi
Ocamlc       src/libraries/stdlib/transitioning.cmo
Ocamlc       src/libraries/stdlib/FCBuffer.cmi
Ocamlc       src/libraries/stdlib/FCHashtbl.cmo
Ocamlc       src/libraries/stdlib/FCMap.cmo
Ocamlc       src/libraries/utils/task.cmi
Ocamlc       src/libraries/stdlib/FCSet.cmo
Generation of the extra-config for why3
Ocamlc       src/libraries/utils/hook.cmo
Ocamlc       src/libraries/stdlib/extlib.cmo
Ocamlc       src/libraries/utils/pretty_utils.cmo
Ocamlc       src/libraries/datatype/unmarshal_z.cmi
Ocamlc       src/libraries/utils/wto.cmo
Ocamlc       src/libraries/datatype/unmarshal.cmo
Ocamlc       src/libraries/utils/bag.cmo
Ocamlc       src/libraries/utils/vector.cmo
Ocamlc       src/libraries/utils/indexer.cmi
Ocamlc       src/libraries/utils/rgmap.cmi
Ocamlc       src/libraries/utils/bitvector.cmo
Ocamlc       src/libraries/utils/leftistheap.cmi
Ocamlc       src/libraries/utils/qstack.cmi
Ocamlc       src/libraries/utils/filepath.cmo
Ocamlc       src/libraries/utils/json.cmo
Ocamlc       src/kernel_internals/runtime/config.cmo
Ocamlc       src/libraries/utils/utf8_logic.cmi
Ocamlc       src/libraries/utils/cilconfig.cmi
Ocamlc       src/kernel_internals/parsing/errorloc.cmi
Ocamlc       src/kernel_internals/parsing/logic_preprocess.cmi
Ocamlc       src/libraries/utils/binary_cache.cmi
Ocamlc       src/libraries/utils/unicode.cmi
Ocamlc       src/libraries/utils/escape.cmo
Ocamlc       src/kernel_services/abstract_interp/lattice_messages.cmi
Ocamlc       src/plugins/value_types/cilE.cmo
Ocamlc       src/kernel_internals/runtime/special_hooks.cmi
Ocamlc       src/plugins/value/utils/structure.cmi
Ocamlc       src/plugins/metrics/metrics_cabs.cmi
CC           src/libraries/utils/c_bindings.o
Ocamlc       src/plugins/metrics/css_html.cmo
Ocamlc       src/plugins/value/legacy/function_args.cmi
Ocamlc       src/plugins/value/domains/cvalue/builtins_float.cmi
Ocamlc       src/plugins/value/register.cmi
Ocamlc       src/plugins/value/slevel/stop_at_nth.cmi
Ocamlc       src/plugins/from/functionwise.cmi
Ocamlc       src/plugins/from/callwise.cmi
Ocamlc       src/plugins/from/from_register.cmi
Ocamlc       src/plugins/constant_propagation/register.cmi
Ocamlc       src/plugins/scope/zones.cmi
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
<W> Grammar extension: in [tactic:simple_tactic] some rule has been masked
Ocamlc       src/plugins/gui/wutil.cmi
Ocamlc       src/plugins/gui/widget.cmi
Ocamlc       src/plugins/gui/wtable.cmi
Ocamlc       src/plugins/gui/gtk_form.cmi
Ocamlc       src/plugins/gui/source_viewer.cmi
Ocamlc       src/plugins/gui/book_manager.cmi
Ocamlc       src/plugins/gui/analyses_manager.cmi
Ocamlc       src/plugins/gui/file_manager.cmi
Ocamlc       src/plugins/gui/help_manager.cmi
Generating   META.frama-c-metrics
Ocamlc       src/plugins/gui/project_manager.cmi
Generating   META.frama-c-callgraph
Generating   META.frama-c-value
Ocamlc       src/plugins/gui/gtk_form.cmo
Ocamlc       src/plugins/gui/property_navigator.cmi
Ocamlc       src/plugins/gui/debug_manager.cmi
Generating   META.frama-c-occurrence
Generating   META.frama-c-users
Generating   META.frama-c-constant_propagation
Generating   META.frama-c-from
Generating   META.frama-c-postdominators
Generating   META.frama-c-rtegen
Generating   META.frama-c-inout
Generating   META.frama-c-impact
Generating   META.frama-c-pdg
Generating   META.frama-c-sparecode
Generating   META.frama-c-slicing
Generating   META.frama-c-scope
Ocamlopt     src/plugins/aorai/bool3.cmx
Ocamlopt     src/libraries/datatype/unmarshal.cmx
Ocamlopt     src/libraries/stdlib/transitioning.cmx
Ocamlopt     src/libraries/stdlib/FCBuffer.cmx
Ocamlopt     src/libraries/utils/hook.cmx
Ocamlopt     src/libraries/stdlib/FCMap.cmx
Ocamlopt     src/libraries/utils/qstack.cmx
Ocamlopt     src/libraries/stdlib/FCSet.cmx
Ocamlopt     src/libraries/utils/utf8_logic.cmx
Ocamlopt     src/libraries/utils/escape.cmx
Ocamlopt     src/libraries/utils/wto.cmx
Ocamlopt     src/libraries/utils/bitvector.cmx
Ocamlopt     src/plugins/e-acsl/local_config.cmx
Ocamlopt     src/plugins/print_api/grammar.cmx
Ocamlopt     src/libraries/utils/bag.cmx
Ocamlopt     src/plugins/wp/script.cmx
Ocamlopt     src/libraries/utils/vector.cmx
Ocamlopt     src/libraries/utils/json.cmx
Ocamlopt     src/plugins/wp/rformat.cmx
Ocamlopt     src/plugins/wp/why3_xml.cmx
Ocamlopt     src/libraries/utils/indexer.cmx
Ocamlopt     src/libraries/utils/rgmap.cmx
Ocamlopt     src/kernel_internals/runtime/frama_c_init.cmx
Ocamlopt     src/libraries/utils/leftistheap.cmx
Ocamlopt     src/plugins/gui/wutil.cmx
Ocamlopt     src/plugins/gui/wtable.cmx
Ocamlopt     src/plugins/gui/gtk_form.cmx
Generating   tests/ptests_config
Generating   ptests/ptests_config.ml
Ocamlc       src/plugins/slicing/register_gui.cmi
Ocamlc       src/plugins/security_slicing/register_gui.cmi
Ocamlc       src/kernel_internals/runtime/gui_init.cmi
Ocamlc       src/plugins/value/gui_files/register_gui.cmi
Ocamlc       src/plugins/occurrence/register_gui.cmi
Ocamlc       src/plugins/from/from_register_gui.cmi
Ocamlc       src/plugins/impact/register_gui.cmi
Generating   src/plugins/e-acsl/tests/ptests_config
Generating   src/plugins/report/tests/ptests_config
Generating   src/plugins/wp/tests/ptests_config
CC          src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c 
Ocamlc       src/libraries/datatype/structural_descr.cmi
Ocamlc       src/plugins/aorai/bool3.cmo
Ocamlc       src/plugins/aorai/ltl_output.cmi
gmake[1]: Entering directory '/data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/src/plugins/e-acsl/contrib/libjemalloc'
gmake[1]: *** No targets specified and no makefile found.  Stop.
gmake[1]: Leaving directory '/data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/src/plugins/e-acsl/contrib/libjemalloc'
src/plugins/e-acsl/Makefile:158: recipe for target 'src/plugins/e-acsl/lib/libeacsl-jemalloc.a' failed
gmake: *** [src/plugins/e-acsl/lib/libeacsl-jemalloc.a] Error 2
gmake: *** Waiting for unfinished jobs....
Ocamlc       src/kernel_services/plugin_entry_points/log.cmi
Ocamlc       src/libraries/stdlib/integer.cmi
AR          src/plugins/e-acsl/lib/libeacsl-gmp.a
*** Error code 2

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

Stop.
make: stopped in /data/pkgsrc/devel/frama-c