=> 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-20170501nb2
Ocamlyacc    src/kernel_internals/parsing/cparser.ml
Ocamllex     src/kernel_internals/parsing/clexer.ml
Ocamllex     src/kernel_internals/parsing/logic_lexer.ml
Ocamlyacc    src/kernel_internals/parsing/logic_parser.ml
Ocamllex     src/libraries/utils/json.ml
Ocamllex     src/kernel_internals/parsing/logic_preprocess.ml
Generating  src/plugins/value/domains/apron/apron_domain.ml
Generating   share/Makefile.dynamic_config
36 states, 360 transitions, table size 1656 bytes
Generating   share/frama-c.rc
Coqdep for src/plugins/wp/share/coqwp
136 states, 558 transitions, table size 3048 bytes
2127 additional bytes used for bindings
Generating   src/plugins/security_slicing/.Makefile.plugin.generated
Generating   share/Makefile.kernel
Generating   src/plugins/wp/.Makefile.plugin.generated
Generating   src/plugins/variadic/.Makefile.plugin.generated
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/report/.Makefile.plugin.generated
Generating   src/plugins/obfuscator/.Makefile.plugin.generated
381 states, 4411 transitions, table size 19930 bytes
3329 additional bytes used for bindings
Generating   src/plugins/loop_analysis/.Makefile.plugin.generated
Generating   src/plugins/nonterm/.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/kernel_internals/runtime/config.ml
Generating   src/plugins/scope/.Makefile.plugin.generated
Generating   src/plugins/pdg/.Makefile.plugin.generated
Generating   src/plugins/inout/.Makefile.plugin.generated
Generating   src/plugins/impact/.Makefile.plugin.generated
Generating   src/plugins/postdominators/.Makefile.plugin.generated
Generating   src/plugins/constant_propagation/.Makefile.plugin.generated
Generating   src/plugins/rte/.Makefile.plugin.generated
Generating   src/plugins/value/.Makefile.plugin.generated
Generating   src/plugins/from/.Makefile.plugin.generated
Generating   src/plugins/occurrence/.Makefile.plugin.generated
Generating   src/plugins/callgraph/.Makefile.plugin.generated
Generating   src/plugins/metrics/.Makefile.plugin.generated
Generating   src/plugins/users/.Makefile.plugin.generated
Generating   src/kernel_internals/runtime/frama_c_config.ml
warning: option -slash has no effect and is deprecated.
Generating   .depend
Ocamllex     src/plugins/wp/rformat.ml
Ocamllex     src/plugins/wp/script.ml
Ocamllex     src/plugins/wp/driver.ml
Ocamllex     src/plugins/wp/qed/src/numbers.ml
Ocamllex     src/plugins/wp/why3_xml.ml
57 states, 826 transitions, table size 3646 bytes
105 states, 2064 transitions, table size 8886 bytes
2265 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
53 states, 1709 transitions, table size 7154 bytes
4689 additional bytes used for bindings
Generating   src/plugins/wp/Wp.mli
Ocamllex     src/plugins/print_api/lexer.ml
Ocamlyacc    src/plugins/print_api/grammar.ml
Generating   src/plugins/e-acsl/local_config.ml
Ocamllex     src/plugins/aorai/promelalexer_withexps.ml
Ocamllex     src/plugins/aorai/promelalexer.ml
Ocamlyacc    src/plugins/aorai/promelaparser_withexps.ml
Ocamllex     src/plugins/aorai/ltllexer.ml
8 states, 264 transitions, table size 1104 bytes
Ocamlyacc    src/plugins/aorai/ltlparser.ml
Ocamlyacc    src/plugins/aorai/promelaparser.ml
Ocamllex     src/plugins/aorai/yalexer.ml
Ocamlyacc    src/plugins/aorai/yaparser.ml
4 shift/reduce conflicts.
7 shift/reduce conflicts.
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli
82 states, 3369 transitions, table size 13968 bytes
100 states, 4420 transitions, table size 18280 bytes
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.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/Value.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli
85 states, 4392 transitions, table size 18078 bytes
73 states, 2302 transitions, table size 9646 bytes
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli
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/Constant_Propagation.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/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/Scope.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/Sparecode.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/LoopAnalysis.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/Obfuscator.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/Security_slicing.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/top/Impact.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/Postdominators.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/gui/Impact.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/gui/From.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/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/top/RteGen.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/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/Metrics.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/gui/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/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/E_ACSL.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/Aorai.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/top/Scope.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/gui/Slicing.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/Pdg.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/Wp.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli
Generating   /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli
Ocamldep     src/plugins/security_slicing/.depend
Ocamldep     src/plugins/report/.depend
Ocamldep     src/plugins/variadic/.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/slicing/.depend
Ocamldep     src/plugins/e-acsl/.depend
Ocamldep     src/plugins/aorai/.depend
Ocamldep     src/plugins/scope/.depend
Ocamldep     src/plugins/sparecode/.depend
Ocamldep     src/plugins/impact/.depend
Ocamldep     src/plugins/inout/.depend
Ocamldep     src/plugins/pdg/.depend
Ocamldep     src/plugins/postdominators/.depend
Ocamldep     src/plugins/constant_propagation/.depend
Ocamldep     src/plugins/users/.depend
Ocamldep     src/plugins/rte/.depend
Ocamldep     src/plugins/from/.depend
Ocamldep     src/plugins/occurrence/.depend
Ocamldep     src/plugins/callgraph/.depend
Ocamldep     src/plugins/value/.depend
Ocamldep     src/plugins/metrics/.depend
Ocamldep     src/plugins/wp/.depend
Ocamlc       src/plugins/aorai/bool3.cmi
Ocamlc       src/libraries/datatype/unmarshal.cmi
Generating   META.frama-c-aorai
Ocamlc       src/libraries/stdlib/FCSet.cmi
Ocamlc       src/libraries/stdlib/FCMap.cmi
Ocamlc       src/libraries/utils/pretty_utils.cmi
Ocamlc       src/libraries/stdlib/FCHashtbl.cmi
Ocamlc       src/libraries/stdlib/extlib.cmi
Ocamlc       src/plugins/aorai/ltlast.cmi
Ocamlc       src/libraries/utils/wto.cmi
Ocamlc       src/plugins/aorai/aorai_dataflow.cmi
Ocamlc       src/libraries/utils/filepath.cmi
Ocamlc       src/libraries/utils/hook.cmi
Ocamlc       src/libraries/utils/escape.cmi
Generating   META.frama-c-e_acsl
Ocamlc       src/plugins/value_types/cilE.cmi
Ocamlc       src/plugins/e-acsl/local_config.cmi
Ocamlc       src/plugins/e-acsl/error.cmi
Generating   META.frama-c-loopanalysis
Ocamlc       src/plugins/loop_analysis/region_analysis_sig.cmo
Generating   META.frama-c-nonterm
Generating   META.frama-c-obfuscator
Ocamlc       src/plugins/print_api/grammar.cmi
Ocamlc       src/plugins/obfuscator/obfuscate.cmi
Generating   META.frama-c-print_api
Ocamlc       src/libraries/stdlib/transitioning.cmi
Ocamlc       src/kernel_internals/runtime/config.cmi
Generating   META.frama-c-report
Ocamlc       src/plugins/report/register.cmi
Ocamlc       src/plugins/report/csv.cmi
Generating   META.frama-c-variadic
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/script.cmi
Ocamlc       src/libraries/utils/vector.cmi
Ocamlc       src/plugins/wp/wpReport.cmi
Ocamlc       src/libraries/utils/json.cmi
Ocamlc       src/plugins/wp/why3_xml.cmi
Ocamlc       src/libraries/utils/task.cmi
Ocamlc       src/kernel_internals/typing/alpha.cmi
Coqc         src/plugins/wp/share/coqwp/BuiltIn.v
Generation of the extra-config for why3
Ocamlc       src/kernel_internals/runtime/frama_c_init.cmi
Ocamlc       src/libraries/stdlib/transitioning.cmo
Ocamlc       src/libraries/stdlib/FCSet.cmo
Ocamlc       src/libraries/stdlib/FCMap.cmo
Ocamlc       src/libraries/stdlib/FCBuffer.cmi
Ocamlc       src/libraries/stdlib/FCHashtbl.cmo
Ocamlc       src/libraries/stdlib/extlib.cmo
Ocamlc       src/libraries/datatype/unmarshal.cmo
Ocamlc       src/libraries/datatype/unmarshal_z.cmi
Ocamlc       src/libraries/utils/pretty_utils.cmo
Ocamlc       src/libraries/utils/hook.cmo
Ocamlc       src/libraries/utils/bag.cmo
Ocamlc       src/libraries/utils/wto.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/qstack.cmi
Ocamlc       src/libraries/utils/leftistheap.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/binary_cache.cmi
Ocamlc       src/libraries/utils/escape.cmo
Ocamlc       src/libraries/utils/unicode.cmi
Ocamlc       src/libraries/utils/cilconfig.cmi
Ocamlc       src/kernel_internals/parsing/errorloc.cmi
Ocamlc       src/kernel_internals/parsing/logic_preprocess.cmi
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/metrics/css_html.cmo
Ocamlc       src/plugins/metrics/metrics_cabs.cmi
CC           src/libraries/utils/c_bindings.o
Ocamlc       src/plugins/value/slevel/stop_at_nth.cmi
Ocamlc       src/plugins/value/utils/structure.cmi
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/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/project_manager.cmi
Ocamlc       src/plugins/gui/debug_manager.cmi
Ocamlc       src/plugins/gui/help_manager.cmi
Ocamlc       src/plugins/gui/property_navigator.cmi
Ocamlc       src/plugins/gui/wutil.cmo
Ocamlc       src/plugins/gui/widget.cmo
Ocamlc       src/plugins/gui/gtk_form.cmo
Generating   META.frama-c-value
Generating   META.frama-c-callgraph
Generating   META.frama-c-metrics
Generating   META.frama-c-rtegen
Generating   META.frama-c-occurrence
Generating   META.frama-c-from
Generating   META.frama-c-users
Generating   META.frama-c-constant_propagation
Generating   META.frama-c-postdominators
Generating   META.frama-c-inout
Generating   META.frama-c-impact
Generating   META.frama-c-pdg
Generating   META.frama-c-scope
Generating   META.frama-c-sparecode
Ocamlopt     src/plugins/aorai/bool3.cmx
Generating   META.frama-c-slicing
Ocamlopt     src/libraries/datatype/unmarshal.cmx
Ocamlopt     src/libraries/stdlib/FCSet.cmx
Ocamlopt     src/libraries/stdlib/FCBuffer.cmx
Ocamlopt     src/libraries/stdlib/transitioning.cmx
Ocamlopt     src/libraries/utils/hook.cmx
Ocamlopt     src/libraries/stdlib/FCMap.cmx
Ocamlopt     src/libraries/utils/qstack.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/plugins/wp/rformat.cmx
Compiling    Qed (opt)
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/why3_xml.cmx
Ocamlopt     src/kernel_internals/runtime/frama_c_init.cmx
Ocamlopt     src/libraries/datatype/unmarshal_z.cmx
Ocamlopt     src/libraries/utils/indexer.cmx
Ocamlopt     src/libraries/utils/rgmap.cmx
Ocamlopt     src/libraries/utils/leftistheap.cmx
Ocamlopt     src/plugins/gui/wutil.cmx
Ocamlopt     src/plugins/gui/gtk_form.cmx
Ocamlopt     src/plugins/gui/wtable.cmx
Generating   ptests/ptests_config.ml
Ocamlc       src/plugins/slicing/register_gui.cmi
Generating   tests/ptests_config
Ocamlc       src/plugins/security_slicing/register_gui.cmi
Ocamlc       src/plugins/value/gui_files/register_gui.cmi
Ocamlc       src/kernel_internals/runtime/gui_init.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
gmake[1]: Entering directory '/data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/src/plugins/e-acsl/contrib/libjemalloc'
Ocamlc       src/plugins/aorai/bool3.cmo
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/libraries/datatype/structural_descr.cmi
CC          src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c 
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