--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on February 2010 ---
Hello. Frama-C fails to compile on FreeBSD 8.0 AMD64: FreeBSD viper.internal.network 8.0-RELEASE-p2 FreeBSD 8.0-RELEASE-p2 #0: Tue Jan 5 21:11:58 UTC 2010 root at amd64-builder.daemonology.net:/usr/obj/usr/src/sys/GENERIC amd64 $ ocamlc -version 3.11.1 $ ./configure --prefix=$HOME configure: ****************** configure: * CONFIGURE MAKE * configure: ****************** checking for make... make "share/Makefile.common", line 50: Missing dependency operator "share/Makefile.common", line 52: Need an operator "share/Makefile.common", line 54: Need an operator "share/Makefile.common", line 63: Missing dependency operator "share/Makefile.common", line 72: Need an operator "share/Makefile.common", line 83: Need an operator "share/Makefile.common", line 138: Need an operator Error expanding embedded variable. "share/Makefile.common", line 50: Missing dependency operator "share/Makefile.common", line 52: Need an operator "share/Makefile.common", line 54: Need an operator "share/Makefile.common", line 63: Missing dependency operator "share/Makefile.common", line 72: Need an operator "share/Makefile.common", line 83: Need an operator "share/Makefile.common", line 138: Need an operator Error expanding embedded variable. "share/Makefile.common", line 50: Missing dependency operator "share/Makefile.common", line 52: Need an operator "share/Makefile.common", line 54: Need an operator "share/Makefile.common", line 63: Missing dependency operator "share/Makefile.common", line 72: Need an operator "share/Makefile.common", line 83: Need an operator "share/Makefile.common", line 138: Need an operator Error expanding embedded variable. make version is Make .: test: : bad number Good! configure: ***************************** configure: * CONFIGURE OCAML COMPILERS * configure: ***************************** checking for ocamlc... ocamlc ocaml version is 3.11.1: Good! ocaml library path is /usr/local/lib/ocaml checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok configure: ******************************************* configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES * configure: ******************************************* checking for ocamldep... ocamldep checking for ocamldep.opt... ocamldep.opt checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for /usr/local/lib/ocaml/ocamlgraph... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator configure: *********************************************** configure: * CONFIGURE NON-MANDATORY TOOLS AND LIBRARIES * configure: *********************************************** checking for ocamldoc... ocamldoc checking for ocamlmktop... ocamlmktop checking for otags... no configure: ********************** configure: * CONFIGURE PLATFORM * configure: ********************** checking platform... Unix checking if performance counters are usable... ok (2834.286 cycles per us) configure: *************************** configure: * WISHED FRAMA-C PLUG-INS * configure: *************************** checking for src/constant_propagation... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator constant_propagation... yes checking for src/from... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator from... yes checking for src/gui... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator gui... yes test: yes: unexpected operator checking for src/impact... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator impact... yes checking for src/inout... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator inout... yes checking for src/ltl_to_acsl... yes test: yes: unexpected operator test: yes: unexpected operator test: no: unexpected operator ltl_to_acsl... yes test: yes: unexpected operator checking for src/metrics... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator metrics... yes checking for src/miel... no test: no: unexpected operator test: no: unexpected operator test: yes: unexpected operator miel... no test: no: unexpected operator checking for src/occurrence... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator occurrence... yes checking for src/pdg... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator pdg... yes checking for src/postdominators... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator postdominators... yes checking for src/scope... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator scope... yes checking for src/security... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator security... yes checking for src/semantic_callgraph... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator semantic_callgraph... yes checking for src/slicing... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator slicing... yes checking for src/sparecode... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator sparecode... yes checking for src/syntactic_callgraph... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator syntactic_callgraph... yes test: yes: unexpected operator checking for src/users... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator users... yes checking for src/value... yes test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator value... yes checking for src/wp... no test: no: unexpected operator test: no: unexpected operator test: yes: unexpected operator wp... no test: no: unexpected operator configure: ******************************************************* configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * configure: ******************************************************* test: yes: unexpected operator test: unexpected operator test: unexpected operator test: unexpected operator test: no: unexpected operator test: no: unexpected operator test: unexpected operator test: unexpected operator test: unexpected operator test: unexpected operator test: yes: unexpected operator test: unexpected operator test: unexpected operator test: uncheck: unexpected operator test: unexpected operator configure: ************************************* configure: * CHECKING FOR PLUG-IN DEPENDENCIES * configure: ************************************* test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator test: yes: unexpected operator configure: ********************* configure: * CREATING MAKEFILE * configure: ********************* configure: creating ./config.status config.status: creating cil/ocamlutil/perfcount.c config.status: creating share/Makefile.config configure: ******************************* configure: * SUMMARY: PLUG-INS AVAILABLE * configure: ******************************* configure: constant_propagation: yes configure: from: yes configure: gui: yes configure: impact: yes configure: inout: yes configure: ltl_to_acsl: yes configure: metrics: yes configure: miel: no configure: occurrence: yes configure: pdg: yes configure: postdominators: yes configure: scope: yes configure: security: yes configure: semantic_callgraph: yes configure: slicing: yes configure: sparecode: yes configure: syntactic_callgraph: yes configure: users: yes configure: value: yes configure: wp: no $ gmake Generating src/lib/dynlink_common_interface.ml Ocamllex cil/src/frontc/clexer.ml 388 states, 4387 transitions, table size 19876 bytes 3371 additional bytes used for bindings Ocamlyacc cil/src/frontc/cparser.ml 1 shift/reduce conflict. Ocamllex cil/src/logic/logic_lexer.ml 140 states, 1872 transitions, table size 8328 bytes 1885 additional bytes used for bindings Ocamlyacc cil/src/logic/logic_parser.ml Ocamllex cil/src/logic/logic_preprocess.ml 72 states, 582 transitions, table size 2760 bytes 2511 additional bytes used for bindings Generating src/gui/filetree.ml Generating src/kernel/config.ml Generating ptests/ptests_config.ml Generating lib/plugins/Occurrence.mli Generating lib/gui/Occurrence.mli Ocamldep src/occurrence/.depend Generating lib/plugins/Metrics.mli Generating lib/gui/Metrics.mli Ocamldep src/metrics/.depend Generating lib/plugins/Syntactic_callgraph.mli Ocamldep src/syntactic_callgraph/.depend Generating lib/plugins/Value.mli Generating lib/gui/Value.mli Ocamldep src/value/.depend Generating lib/plugins/From.mli Generating lib/gui/From.mli Ocamldep src/from/.depend Generating lib/plugins/Users.mli Ocamldep src/users/.depend Generating lib/plugins/Constant_Propagation.mli Ocamldep src/constant_propagation/.depend Generating lib/plugins/Postdominators.mli Ocamldep src/postdominators/.depend Generating lib/plugins/Inout.mli Ocamldep src/inout/.depend Generating lib/plugins/Semantic_callgraph.mli Ocamldep src/semantic_callgraph/.depend Generating lib/plugins/Security.mli Generating lib/gui/Security.mli Ocamldep src/security/.depend Generating lib/plugins/Impact.mli Generating lib/gui/Impact.mli Ocamldep src/impact/.depend Generating lib/plugins/Pdg.mli Ocamldep src/pdg/.depend Generating lib/plugins/Scope.mli Generating lib/gui/Scope.mli Ocamldep src/scope/.depend Generating lib/plugins/Sparecode.mli Ocamldep src/sparecode/.depend Ocamldep src/slicing/.depend Ocamllex src/ltl_to_acsl/promelalexer_withexps.ml 99 states, 4420 transitions, table size 18274 bytes Ocamlyacc src/ltl_to_acsl/promelaparser_withexps.ml 4 shift/reduce conflicts. Ocamllex src/ltl_to_acsl/promelalexer.ml 85 states, 4392 transitions, table size 18078 bytes Ocamlyacc src/ltl_to_acsl/promelaparser.ml Ocamllex src/ltl_to_acsl/ltllexer.ml 82 states, 3369 transitions, table size 13968 bytes Ocamlyacc src/ltl_to_acsl/ltlparser.ml 7 shift/reduce conflicts. Ocamllex src/ltl_to_acsl/yalexer.ml 55 states, 1927 transitions, table size 8038 bytes Ocamlyacc src/ltl_to_acsl/yaparser.ml 4 shift/reduce conflicts. Generating lib/plugins/Ltl_to_acsl.mli Ocamldep src/ltl_to_acsl/.depend Generating .depend Ocamlc external/unmarshal.cmi Ocamlc external/unmarshal.cmo Ocamlc external/unmarshal_nums.cmi Ocamlc external/unmarshal_nums.cmo Ocamlc src/lib/dynlink_common_interface.cmi Ocamlc src/lib/dynlink_common_interface.cmo Ocamlc src/lib/extlib.cmi Ocamlc src/lib/extlib.cmo Ocamlc src/lib/pretty_utils.cmi Ocamlc src/lib/pretty_utils.cmo Ocamlc src/lib/hook.cmi Ocamlc src/lib/hook.cmo Ocamlc src/lib/qstack.cmi Ocamlc src/lib/qstack.cmo Ocamlc src/lib/mergemap.cmi Ocamlc src/lib/mergemap.cmo Ocamlc src/lib/rangemap.cmi Ocamlc src/lib/rangemap.cmo Ocamlc src/lib/type.cmi Ocamlc src/lib/type.cmo Ocamlc src/lib/descr.cmi Ocamlc src/lib/descr.cmo Ocamlc src/kernel/config.cmi Ocamlc src/kernel/config.cmo Ocamlc src/kernel/log.cmi Ocamlc src/kernel/log.cmo Ocamlc src/kernel/cmdline.cmi Ocamlc src/kernel/cmdline.cmo Ocamlc src/kernel/journal.cmi Ocamlc src/kernel/journal.cmo Ocamlc src/project/namespace.cmi Ocamlc src/project/namespace.cmo Ocamlc src/project/kind.cmi Ocamlc src/project/kind.cmo Ocamlc src/project/project.cmi Ocamlc src/project/project.cmo Ocamlc src/project/datatype.cmi Ocamlc src/project/datatype.cmo Ocamlc src/project/signature.cmi Ocamlc src/project/computation.cmi Ocamlc src/project/computation.cmo Ocamlc cil/src/cilmsg.cmi Ocamlc cil/src/cilmsg.cmo Ocamlc cil/ocamlutil/alpha.cmi Ocamlc cil/ocamlutil/alpha.cmo Ocamlc cil/ocamlutil/clist.cmi Ocamlc cil/ocamlutil/clist.cmo Ocamlc cil/ocamlutil/growArray.cmi Ocamlc cil/ocamlutil/growArray.cmo Ocamlc cil/ocamlutil/inthash.cmi Ocamlc cil/ocamlutil/inthash.cmo Ocamlc cil/src/cil_types.cmi Ocamlc cil/ocamlutil/cilutil.cmi Ocamlc cil/ocamlutil/cilutil.cmo Ocamlc cil/ocamlutil/setWithNearest.cmi Ocamlc cil/ocamlutil/setWithNearest.cmo Ocamlc cil/src/logic/logic_ptree.cmi Ocamlc cil/src/frontc/cabs.cmo Ocamlc cil/src/cil_datatype.cmi Ocamlc cil/src/cil_datatype.cmo Ocamlc cil/src/cil_computation.cmi Ocamlc cil/src/cil_computation.cmo Ocamlc cil/src/logic/utf8_logic.cmi Ocamlc cil/src/logic/utf8_logic.cmo Ocamlc cil/src/cilglobopt.cmo Ocamlc cil/src/machdep_x86_16.cmi Ocamlc cil/src/machdep_x86_16.cmo Ocamlc cil/src/machdep_x86_32.cmi Ocamlc cil/src/machdep_x86_32.cmo Ocamlc cil/src/machdep_x86_64.cmi Ocamlc cil/src/machdep_x86_64.cmo Ocamlc cil/src/machdep_ppc_32.cmo Ocamlc cil/src/machdep_ppc_32_diab.cmi Ocamlc cil/src/machdep_ppc_32_diab.cmo Ocamlc cil/src/machdep.cmi Ocamlc cil/src/machdep.cmo Ocamlc cil/src/cil_const.cmi Ocamlc cil/src/cil_const.cmo Ocamlc cil/src/logic/logic_env.cmi Ocamlc cil/src/logic/logic_env.cmo Ocamlc cil/src/escape.cmi Ocamlc cil/src/escape.cmo Ocamlc cil/src/logic/logic_const.cmo Ocamlc cil/src/cil.cmi Ocamlc cil/src/cil.cmo Ocamlc cil/src/frontc/errorloc.cmi Ocamlc cil/src/frontc/errorloc.cmo Ocamlc cil/src/ext/expcompare.cmo Ocamlc cil/src/frontc/cabshelper.cmi Ocamlc cil/src/frontc/cabshelper.cmo Ocamlc cil/src/frontc/whitetrack.cmi Ocamlc cil/src/frontc/whitetrack.cmo Ocamlc cil/src/logic/logic_utils.cmo Ocamlc cil/src/logic/logic_builtin.cmi Ocamlc cil/src/logic/logic_builtin.cmo Ocamlc cil/src/logic/logic_parser.cmi Ocamlc cil/src/logic/logic_parser.cmo Ocamlc cil/src/logic/logic_lexer.cmo Ocamlc cil/src/frontc/lexerhack.cmo Ocamlc cil/src/mergecil.cmi Ocamlc cil/src/mergecil.cmo Ocamlc cil/src/rmtmps.cmi Ocamlc cil/src/rmtmps.cmo Ocamlc cil/src/logic/logic_typing.cmi Ocamlc cil/src/logic/logic_typing.cmo Ocamlc cil/src/frontc/cprint.cmi Ocamlc cil/src/frontc/cprint.cmo Ocamlc cil/src/frontc/cabsvisit.cmi Ocamlc cil/src/frontc/cabsvisit.cmo Ocamlc cil/src/frontc/cabs2cil.cmi Ocamlc cil/src/frontc/cabs2cil.cmo Ocamlc cil/src/frontc/cparser.cmi Ocamlc cil/src/frontc/clexer.cmi Ocamlc cil/src/frontc/clexer.cmo Ocamlc cil/src/frontc/cparser.cmo Ocamlc cil/src/logic/logic_preprocess.cmi Ocamlc cil/src/logic/logic_preprocess.cmo Ocamlc cil/src/frontc/patch.cmi Ocamlc cil/src/frontc/patch.cmo Ocamlc cil/src/frontc/frontc.cmi Ocamlc cil/src/frontc/frontc.cmo Ocamlc cil/src/ext/obfuscate.cmi Ocamlc cil/src/ext/obfuscate.cmo Ocamlc cil/src/ext/ciltools.cmo Ocamlc cil/src/ext/callgraph.cmi Ocamlc cil/src/ext/callgraph.cmo Ocamlc cil/src/ext/dataflow.cmi Ocamlc cil/src/ext/dataflow.cmo Ocamlc cil/src/ext/dominators.cmi Ocamlc cil/src/ext/dominators.cmo Ocamlc cil/src/ext/oneret.cmi Ocamlc cil/src/ext/oneret.cmo Ocamlc cil/src/ext/cfg.cmi Ocamlc cil/src/ext/cfg.cmo Ocamlc cil/src/ext/usedef.cmo Ocamlc cil/src/ext/liveness.cmo Ocamlc cil/src/ext/reachingdefs.cmo Ocamlc cil/src/ext/availexpslv.cmo Ocamlc cil/src/ext/rmciltmps.cmo Ocamlc cil/src/ext/deadcodeelim.cmo Ocamlc cil/src/zrapp.cmi Ocamlc cil/src/zrapp.cmo Ocamlc src/buckx/buckx.cmi Ocamlc src/buckx/buckx.cmo Ocamlc src/kernel/messages.cmi Ocamlc src/kernel/messages.cmo Ocamlc src/kernel/dynamic.cmi Ocamlc src/kernel/dynamic.cmo Ocamlc src/kernel/ast_printer.cmi Ocamlc src/kernel/ast_printer.cmo Ocamlc src/memory_state/ptset.cmi Ocamlc src/ai/my_bigint.cmo Ocamlc src/kernel/cilE.cmi Ocamlc src/ai/abstract_interp.cmi Ocamlc src/ai/origin.cmo Ocamlc src/ai/int_Base.cmo Ocamlc src/ai/ival.cmi Ocamlc src/ai/base.cmi Ocamlc src/memory_state/baseUtils.cmo Ocamlc src/kernel/plugin.cmi Ocamlc src/kernel/parameters.cmi Ocamlc src/misc/bit_utils.cmi Ocamlc src/memory_state/abstract_value.cmo Ocamlc src/memory_state/locations.cmi Ocamlc src/memory_state/lmap_bitwise.cmi Ocamlc src/kernel/alarms.cmi Ocamlc src/kernel/db_types.cmi Ocamlc src/kernel/ast_info.cmi Ocamlc src/kernel/ast_info.cmo Ocamlc src/kernel/kernel_type.cmi Ocamlc src/kernel/kernel_type.cmo Ocamlc src/kernel/plugin.cmo Ocamlc src/kernel/kernel.cmi Ocamlc src/kernel/kernel.cmo Ocamlc src/kernel/alarms.cmo Ocamlc src/kernel/cilE.cmo Ocamlc src/memory_state/binary_cache.cmi Ocamlc src/memory_state/binary_cache.cmo Ocamlc src/kernel/parameters.cmo Ocamlc src/kernel/ast.cmi Ocamlc src/kernel/ast.cmo Ocamlc external/ptmap.cmi Ocamlc external/ptmap.cmo Ocamlc src/memory_state/ptset.cmo Ocamlc src/ai/abstract_interp.cmo Ocamlc src/memory_state/mweak.cmi Ocamlc src/memory_state/mweak.cmo Ocamlc src/kernel/unicode.cmi Ocamlc src/kernel/unicode.cmo Ocamlc src/misc/bit_utils.cmo Ocamlc src/misc/subst.cmi Ocamlc src/misc/subst.cmo Ocamlc src/kernel/annotations.cmi Ocamlc src/kernel/annotations.cmo Ocamlc src/kernel/globals.cmi Ocamlc src/kernel/globals.cmo Ocamlc src/kernel/kernel_function.cmi Ocamlc src/kernel/kernel_function.cmo Ocamlc src/misc/service_graph.cmi Ocamlc src/misc/service_graph.cmo Ocamlc src/ai/ival.cmo Ocamlc src/ai/base.cmo Ocamlc src/ai/base_Set_Lattice.cmo Ocamlc src/ai/map_Lattice.cmo Ocamlc src/memory_state/locations.cmo Ocamlc src/memory_state/shifted_Location.cmi Ocamlc src/memory_state/shifted_Location.cmo Ocamlc src/memory_state/path_lattice.cmi Ocamlc src/memory_state/path_lattice.cmo Ocamlc src/memory_state/int_Interv.cmo Ocamlc src/memory_state/int_Interv_Map.cmo Ocamlc src/ai/lattice_With_Isotropy.cmi Ocamlc src/memory_state/new_offsetmap.cmi Ocamlc src/memory_state/new_offsetmap.cmo Ocamlc src/memory_state/offsetmap.cmi Ocamlc src/memory_state/offsetmap.cmo Ocamlc src/memory_state/offsetmap_bitwise.cmi Ocamlc src/memory_state/offsetmap_bitwise.cmo Ocamlc src/memory_state/lmap.cmi Ocamlc src/memory_state/lmap.cmo Ocamlc src/memory_state/lmap_bitwise.cmo Ocamlc src/memory_state/lmap_whole.cmi Ocamlc src/memory_state/lmap_whole.cmo Ocamlc src/memory_state/function_Froms.cmo Ocamlc src/memory_state/cvalue_type.cmo Ocamlc src/memory_state/widen_type.cmi Ocamlc src/memory_state/widen_type.cmo Ocamlc src/memory_state/relations_type.cmi Ocamlc src/memory_state/relations_type.cmo Ocamlc src/memory_state/state_set.cmi Ocamlc src/memory_state/state_set.cmo Ocamlc src/kernel/stmts_graph.cmi Ocamlc src/kernel/stmts_graph.cmo Ocamlc src/kernel/visitor.cmi Ocamlc src/kernel/visitor.cmo Ocamlc src/kernel/printer.cmi Ocamlc src/kernel/printer.cmo Ocamlc src/kernel/unroll_loops.cmo Ocamlc src/kernel/loop.cmi Ocamlc src/kernel/loop.cmo Ocamlc src/memory_state/inout_type.cmo Ocamlc src/pdg_types/pdgIndex.cmi Ocamlc src/pdg_types/pdgIndex.cmo Ocamlc src/pdg_types/pdgTypes.cmi Ocamlc src/pdg_types/pdgTypes.cmo Ocamlc src/pdg_types/pdgMarks.cmi Ocamlc src/slicing_types/slicingInternals.cmo Ocamlc src/slicing_types/slicingTypes.cmo Ocamlc src/kernel/db.cmi Ocamlc lib/plugins/Pdg.cmi Ocamlc src/pdg_types/pdgMarks.cmo Ocamlc src/kernel/db.cmo Ocamlc src/logic/translate_lightweight.cmi Ocamlc src/logic/translate_lightweight.cmo Ocamlc src/kernel/file.cmi Ocamlc src/kernel/file.cmo Ocamlc src/misc/debug.cmo Ocamlc src/misc/filter.cmi Ocamlc src/misc/filter.cmo Ocamlc src/kernel/special_hooks.cmi Ocamlc src/kernel/special_hooks.cmo Ocamlc src/memory_state/widen.cmo Ocamlc lib/plugins/Value.cmi Ocamlc lib/plugins/From.cmi Ocamlc src/memory_state/bit_model_access.cmi Ocamlc src/memory_state/bit_model_access.cmo Ocamlc src/logic/logic_interp.cmi Ocamlc src/logic/logic_interp.cmo Ocamlc src/logic/infer_annotations.cmi Ocamlc src/logic/infer_annotations.cmo Ocamlc src/occurrence/options.cmi Ocamlc src/occurrence/options.cmo Ocamlc src/occurrence/register.cmo Ocamlc lib/plugins/Occurrence.cmi Packing lib/plugins/Occurrence.cmo Ocamlc src/metrics/metrics_parameters.cmi Ocamlc src/metrics/metrics_parameters.cmo Ocamlc src/metrics/register.cmo Ocamlc lib/plugins/Metrics.cmi Packing lib/plugins/Metrics.cmo Ocamlc src/syntactic_callgraph/options.cmi Ocamlc src/syntactic_callgraph/options.cmo Ocamlc src/syntactic_callgraph/register.cmo Ocamlc lib/plugins/Syntactic_callgraph.cmi Packing lib/plugins/Syntactic_callgraph.cmo Ocamlc src/value/kf_state.cmi Ocamlc src/value/kf_state.cmo Ocamlc src/value/value_parameters.cmi Ocamlc src/value/value_parameters.cmo Ocamlc src/value/eval.cmi Ocamlc src/value/eval.cmo Ocamlc src/value/kinstr.cmi Ocamlc src/value/kinstr.cmo Ocamlc src/value/register.cmo Packing lib/plugins/Value.cmo Ocamlc src/from/from_parameters.cmi Ocamlc src/from/from_parameters.cmo Ocamlc src/from/from_register.cmo Packing lib/plugins/From.cmo Ocamlc src/users/users_register.cmo Ocamlc lib/plugins/Users.cmi Packing lib/plugins/Users.cmo Ocamlc src/constant_propagation/propagationParameters.cmi Ocamlc src/constant_propagation/propagationParameters.cmo Ocamlc src/constant_propagation/register.cmi Ocamlc src/constant_propagation/register.cmo Ocamlc lib/plugins/Constant_Propagation.cmi Packing lib/plugins/Constant_Propagation.cmo Ocamlc src/postdominators/print.cmo Ocamlc src/postdominators/compute.cmo Ocamlc lib/plugins/Postdominators.cmi Packing lib/plugins/Postdominators.cmo Ocamlc src/inout/kf_state.cmi Ocamlc src/inout/kf_state.cmo Ocamlc src/inout/inout_parameters.cmi Ocamlc src/inout/inout_parameters.cmo Ocamlc src/inout/context.cmi Ocamlc src/inout/context.cmo Ocamlc src/inout/inputs.cmi Ocamlc src/inout/inputs.cmo Ocamlc src/inout/outputs.cmi Ocamlc src/inout/outputs.cmo Ocamlc src/inout/derefs.cmi Ocamlc src/inout/derefs.cmo Ocamlc src/inout/access_path.cmi Ocamlc src/inout/access_path.cmo Ocamlc src/inout/register.cmo Ocamlc lib/plugins/Inout.cmi Packing lib/plugins/Inout.cmo Ocamlc src/semantic_callgraph/options.cmi Ocamlc src/semantic_callgraph/options.cmo Ocamlc src/semantic_callgraph/register.cmo Ocamlc lib/plugins/Semantic_callgraph.cmi Packing lib/plugins/Semantic_callgraph.cmo Ocamlc src/security/options.cmi Ocamlc src/security/options.cmo Ocamlc src/security/lattice.cmi Ocamlc src/security/lattice.cmo Ocamlc src/security/model.cmi Ocamlc src/security/model.cmo Ocamlc lib/plugins/Security.cmi Ocamlc src/security/components.cmi Ocamlc src/security/components.cmo Ocamlc src/security/analysis.cmi Ocamlc src/security/analysis.cmo Ocamlc src/security/register.cmo Packing lib/plugins/Security.cmo Ocamlc src/impact/options.cmi Ocamlc src/impact/options.cmo Ocamlc lib/plugins/Impact.cmi Ocamlc src/impact/register.cmo Packing lib/plugins/Impact.cmo Ocamlc src/pdg/pdg_parameters.cmi Ocamlc src/pdg/pdg_parameters.cmo Ocamlc src/pdg/print.cmo Ocamlc src/pdg/macros.cmo Ocamlc src/pdg/lexical_successors.cmo Ocamlc src/pdg/ctrlDpds.cmi Ocamlc src/pdg/ctrlDpds.cmo Ocamlc src/pdg/state.cmi Ocamlc src/pdg/state.cmo Ocamlc src/pdg/build.cmi Ocamlc src/pdg/build.cmo Ocamlc src/pdg/sets.cmi Ocamlc src/pdg/sets.cmo Ocamlc src/pdg/annot.cmi Ocamlc src/pdg/annot.cmo Ocamlc src/pdg/marks.cmi Ocamlc src/pdg/marks.cmo Ocamlc src/pdg/register.cmo Packing lib/plugins/Pdg.cmo Ocamlc src/scope/datascope.cmo Ocamlc src/scope/zones.cmi Ocamlc src/scope/zones.cmo Ocamlc lib/plugins/Scope.cmi Packing lib/plugins/Scope.cmo Ocamlc src/sparecode/sparecode_params.cmi Ocamlc src/sparecode/sparecode_params.cmo Ocamlc src/sparecode/globs.cmo Ocamlc src/sparecode/marks.cmi Ocamlc src/sparecode/marks.cmo Ocamlc src/sparecode/transform.cmo Ocamlc src/sparecode/register.cmo Ocamlc lib/plugins/Sparecode.cmi Packing lib/plugins/Sparecode.cmo Ocamlc src/slicing/slicingParameters.cmi Ocamlc src/slicing/slicingParameters.cmo Ocamlc src/slicing/slicingMacros.cmo Ocamlc src/slicing/slicingMarks.cmi Ocamlc src/slicing/slicingMarks.cmo Ocamlc src/slicing/slicingActions.cmi Ocamlc src/slicing/slicingActions.cmo Ocamlc src/slicing/fct_slice.cmi Ocamlc src/slicing/fct_slice.cmo Ocamlc src/slicing/printSlice.cmo Ocamlc src/slicing/slicingProject.cmo Ocamlc src/slicing/slicingTransform.cmi Ocamlc src/slicing/slicingTransform.cmo Ocamlc src/slicing/slicingCmds.cmo Ocamlc src/slicing/register.cmi Ocamlc src/slicing/register.cmo Packing lib/plugins/Slicing.cmo Ocamlc src/ltl_to_acsl/bool3.cmo Ocamlc src/ltl_to_acsl/spec_tools.cmo Ocamlc src/ltl_to_acsl/ltl_to_acsl_option.cmi Ocamlc src/ltl_to_acsl/ltl_to_acsl_option.cmo Ocamlc src/ltl_to_acsl/promelaast.cmi Ocamlc src/ltl_to_acsl/data_for_ltl.cmi Ocamlc src/ltl_to_acsl/data_for_ltl.cmo Ocamlc src/ltl_to_acsl/promelaoutput.cmi Ocamlc src/ltl_to_acsl/promelaoutput.cmo Ocamlc src/ltl_to_acsl/ltl_logic.cmi Ocamlc src/ltl_to_acsl/ltl_logic.cmo Ocamlc src/ltl_to_acsl/ltl_utils.cmi Ocamlc src/ltl_to_acsl/ltl_utils.cmo Ocamlc src/ltl_to_acsl/ltlast.cmi Ocamlc src/ltl_to_acsl/ltl_output.cmi Ocamlc src/ltl_to_acsl/ltl_output.cmo Ocamlc src/ltl_to_acsl/utils_parser.cmo Ocamlc src/ltl_to_acsl/ltlparser.cmi Ocamlc src/ltl_to_acsl/ltlparser.cmo Ocamlc src/ltl_to_acsl/ltllexer.cmo Ocamlc src/ltl_to_acsl/yaparser.cmi Ocamlc src/ltl_to_acsl/yaparser.cmo Ocamlc src/ltl_to_acsl/yalexer.cmo Ocamlc src/ltl_to_acsl/promelaparser.cmi Ocamlc src/ltl_to_acsl/promelaparser.cmo Ocamlc src/ltl_to_acsl/promelalexer.cmo Ocamlc src/ltl_to_acsl/promelaparser_withexps.cmi Ocamlc src/ltl_to_acsl/promelaparser_withexps.cmo Ocamlc src/ltl_to_acsl/promelalexer_withexps.cmo Ocamlc src/ltl_to_acsl/abstract_ai.cmo Ocamlc src/ltl_to_acsl/bycase_ai.cmo Ocamlc src/ltl_to_acsl/ltl_to_acsl_visitors.cmo Ocamlc src/ltl_to_acsl/ltl_to_acsl_register.cmo Ocamlc lib/plugins/Ltl_to_acsl.cmi Packing lib/plugins/Ltl_to_acsl.cmo Ocamlc src/kernel/boot.cmo Ocamlc src/buckx/mybigarray.o Ocamlc src/buckx/buckx_c.o Linking bin/toplevel.byte gmake[1]: Entering directory `/storage/home/m0/src/frama-c-Beryllium-20090902-why-2.21' Copying to bytecode kernel API gmake[1]: Leaving directory `/storage/home/m0/src/frama-c-Beryllium-20090902-why-2.21' Linking bin/ptests.byte Ocamlopt external/unmarshal.cmx Ocamlopt external/unmarshal_nums.cmx Ocamlopt src/lib/dynlink_common_interface.cmx Ocamlopt src/lib/extlib.cmx Ocamlopt src/lib/pretty_utils.cmx Ocamlopt src/lib/hook.cmx Ocamlopt src/lib/qstack.cmx Ocamlopt src/lib/mergemap.cmx Ocamlopt src/lib/rangemap.cmx Ocamlopt src/lib/type.cmx Ocamlopt src/lib/descr.cmx Ocamlopt src/kernel/config.cmx Ocamlopt src/kernel/log.cmx Ocamlopt src/kernel/cmdline.cmx Ocamlopt src/kernel/journal.cmx Ocamlopt src/project/namespace.cmx Ocamlopt src/project/kind.cmx Ocamlopt src/project/project.cmx Ocamlopt src/project/datatype.cmx Ocamlopt src/project/computation.cmx Ocamlopt cil/src/cilmsg.cmx Ocamlopt cil/ocamlutil/alpha.cmx Ocamlopt cil/ocamlutil/clist.cmx Ocamlopt cil/ocamlutil/growArray.cmx Ocamlopt cil/ocamlutil/inthash.cmx Ocamlopt cil/ocamlutil/cilutil.cmx Ocamlopt cil/ocamlutil/setWithNearest.cmx Ocamlopt cil/src/frontc/cabs.cmx Ocamlopt cil/src/cil_datatype.cmx Ocamlopt cil/src/cil_computation.cmx Ocamlopt cil/src/logic/utf8_logic.cmx Ocamlopt cil/src/cilglobopt.cmx Ocamlopt cil/src/machdep_x86_16.cmx Ocamlopt cil/src/machdep_x86_32.cmx Ocamlopt cil/src/machdep_x86_64.cmx Ocamlopt cil/src/machdep_ppc_32.cmx Ocamlopt cil/src/machdep_ppc_32_diab.cmx Ocamlopt cil/src/machdep.cmx Ocamlopt cil/src/cil_const.cmx Ocamlopt cil/src/logic/logic_env.cmx Ocamlopt cil/src/escape.cmx Ocamlopt cil/src/logic/logic_const.cmx Ocamlopt cil/src/cil.cmx Ocamlopt cil/src/frontc/errorloc.cmx Ocamlopt cil/src/ext/expcompare.cmx Ocamlopt cil/src/frontc/cabshelper.cmx Ocamlopt cil/src/frontc/whitetrack.cmx Ocamlopt cil/src/logic/logic_utils.cmx Ocamlopt cil/src/logic/logic_builtin.cmx Ocamlopt cil/src/logic/logic_parser.cmx Ocamlopt cil/src/logic/logic_lexer.cmx Ocamlopt cil/src/frontc/lexerhack.cmx Ocamlopt cil/src/mergecil.cmx Ocamlopt cil/src/rmtmps.cmx Ocamlopt cil/src/logic/logic_typing.cmx Ocamlopt cil/src/frontc/cprint.cmx Ocamlopt cil/src/frontc/cabsvisit.cmx Ocamlopt cil/src/frontc/cabs2cil.cmx Ocamlopt cil/src/frontc/cparser.cmx Ocamlopt cil/src/frontc/clexer.cmx Ocamlopt cil/src/logic/logic_preprocess.cmx Ocamlopt cil/src/frontc/patch.cmx Ocamlopt cil/src/frontc/frontc.cmx Ocamlopt cil/src/ext/obfuscate.cmx Ocamlopt cil/src/ext/ciltools.cmx Ocamlopt cil/src/ext/callgraph.cmx Ocamlopt cil/src/ext/dataflow.cmx Ocamlopt cil/src/ext/dominators.cmx Ocamlopt cil/src/ext/oneret.cmx Ocamlopt cil/src/ext/cfg.cmx Ocamlopt cil/src/ext/usedef.cmx Ocamlopt cil/src/ext/liveness.cmx Ocamlopt cil/src/ext/reachingdefs.cmx Ocamlopt cil/src/ext/availexpslv.cmx Ocamlopt cil/src/ext/rmciltmps.cmx Ocamlopt cil/src/ext/deadcodeelim.cmx Ocamlopt cil/src/zrapp.cmx Ocamlopt src/buckx/buckx.cmx Ocamlopt src/kernel/messages.cmx Ocamlopt src/kernel/dynamic.cmx Ocamlopt src/kernel/ast_printer.cmx Ocamlopt src/kernel/ast_info.cmx Ocamlopt src/kernel/kernel_type.cmx Ocamlopt src/kernel/plugin.cmx Ocamlopt src/kernel/kernel.cmx Ocamlopt src/kernel/alarms.cmx Ocamlopt src/kernel/cilE.cmx Ocamlopt src/memory_state/binary_cache.cmx Ocamlopt src/kernel/parameters.cmx Ocamlopt src/kernel/ast.cmx Ocamlopt src/ai/my_bigint.cmx Ocamlopt external/ptmap.cmx Ocamlopt src/memory_state/ptset.cmx Ocamlopt src/ai/abstract_interp.cmx Ocamlopt src/memory_state/mweak.cmx Ocamlopt src/ai/int_Base.cmx Ocamlopt src/kernel/unicode.cmx Ocamlopt src/misc/bit_utils.cmx Ocamlopt src/misc/subst.cmx Ocamlopt src/kernel/annotations.cmx Ocamlopt src/kernel/globals.cmx Ocamlopt src/kernel/kernel_function.cmx Ocamlopt src/misc/service_graph.cmx Ocamlopt src/ai/ival.cmx Ocamlopt src/memory_state/abstract_value.cmx Ocamlopt src/ai/base.cmx Ocamlopt src/ai/base_Set_Lattice.cmx Ocamlopt src/ai/origin.cmx Ocamlopt src/ai/map_Lattice.cmx Ocamlopt src/memory_state/baseUtils.cmx Ocamlopt src/memory_state/locations.cmx Ocamlopt src/memory_state/shifted_Location.cmx Ocamlopt src/memory_state/path_lattice.cmx Ocamlopt src/memory_state/int_Interv.cmx Ocamlopt src/memory_state/int_Interv_Map.cmx Ocamlopt src/memory_state/new_offsetmap.cmx Ocamlopt src/memory_state/offsetmap.cmx Ocamlopt src/memory_state/offsetmap_bitwise.cmx Ocamlopt src/memory_state/lmap.cmx Ocamlopt src/memory_state/lmap_bitwise.cmx Ocamlopt src/memory_state/lmap_whole.cmx Ocamlopt src/memory_state/function_Froms.cmx Ocamlopt src/memory_state/cvalue_type.cmx Ocamlopt src/memory_state/widen_type.cmx Ocamlopt src/memory_state/relations_type.cmx Ocamlopt src/memory_state/state_set.cmx Ocamlopt src/kernel/stmts_graph.cmx Ocamlopt src/kernel/visitor.cmx Ocamlopt src/kernel/printer.cmx Ocamlopt src/kernel/unroll_loops.cmx Ocamlopt src/kernel/loop.cmx Ocamlopt src/memory_state/inout_type.cmx Ocamlopt src/pdg_types/pdgIndex.cmx Ocamlopt src/pdg_types/pdgTypes.cmx Ocamlopt src/pdg_types/pdgMarks.cmx Ocamlopt src/slicing_types/slicingInternals.cmx Ocamlopt src/slicing_types/slicingTypes.cmx Ocamlopt src/kernel/db.cmx Ocamlopt src/logic/translate_lightweight.cmx Ocamlopt src/kernel/file.cmx Ocamlopt src/misc/debug.cmx Ocamlopt src/misc/filter.cmx Ocamlopt src/kernel/special_hooks.cmx Ocamlopt src/memory_state/widen.cmx Ocamlopt src/memory_state/bit_model_access.cmx Ocamlopt src/logic/logic_interp.cmx Ocamlopt src/logic/infer_annotations.cmx Ocamlopt src/occurrence/options.cmx Ocamlopt src/occurrence/register.cmx Packing lib/plugins/Occurrence.cmx Ocamlopt src/metrics/metrics_parameters.cmx Ocamlopt src/metrics/register.cmx Packing lib/plugins/Metrics.cmx Ocamlopt src/syntactic_callgraph/options.cmx Ocamlopt src/syntactic_callgraph/register.cmx Packing lib/plugins/Syntactic_callgraph.cmx Ocamlopt src/value/kf_state.cmx Ocamlopt src/value/value_parameters.cmx Ocamlopt src/value/eval.cmx Ocamlopt src/value/kinstr.cmx Ocamlopt src/value/register.cmx Packing lib/plugins/Value.cmx Ocamlopt src/from/from_parameters.cmx Ocamlopt src/from/from_register.cmx Packing lib/plugins/From.cmx Ocamlopt src/users/users_register.cmx Packing lib/plugins/Users.cmx Ocamlopt src/constant_propagation/propagationParameters.cmx Ocamlopt src/constant_propagation/register.cmx Packing lib/plugins/Constant_Propagation.cmx Ocamlopt src/postdominators/print.cmx Ocamlopt src/postdominators/compute.cmx Packing lib/plugins/Postdominators.cmx Ocamlopt src/inout/kf_state.cmx Ocamlopt src/inout/inout_parameters.cmx Ocamlopt src/inout/context.cmx Ocamlopt src/inout/inputs.cmx Ocamlopt src/inout/outputs.cmx Ocamlopt src/inout/derefs.cmx Ocamlopt src/inout/access_path.cmx Ocamlopt src/inout/register.cmx Packing lib/plugins/Inout.cmx Ocamlopt src/semantic_callgraph/options.cmx Ocamlopt src/semantic_callgraph/register.cmx Packing lib/plugins/Semantic_callgraph.cmx Ocamlopt src/security/options.cmx Ocamlopt src/security/lattice.cmx Ocamlopt src/security/model.cmx Ocamlopt src/security/components.cmx Ocamlopt src/security/analysis.cmx Ocamlopt src/security/register.cmx Packing lib/plugins/Security.cmx Ocamlopt src/impact/options.cmx Ocamlopt src/impact/register.cmx Packing lib/plugins/Impact.cmx Ocamlopt src/pdg/pdg_parameters.cmx Ocamlopt src/pdg/print.cmx Ocamlopt src/pdg/macros.cmx Ocamlopt src/pdg/lexical_successors.cmx Ocamlopt src/pdg/ctrlDpds.cmx Ocamlopt src/pdg/state.cmx Ocamlopt src/pdg/build.cmx Ocamlopt src/pdg/sets.cmx Ocamlopt src/pdg/annot.cmx Ocamlopt src/pdg/marks.cmx Ocamlopt src/pdg/register.cmx Packing lib/plugins/Pdg.cmx Ocamlopt src/scope/datascope.cmx Ocamlopt src/scope/zones.cmx Packing lib/plugins/Scope.cmx Ocamlopt src/sparecode/sparecode_params.cmx Ocamlopt src/sparecode/globs.cmx Ocamlopt src/sparecode/marks.cmx Ocamlopt src/sparecode/transform.cmx Ocamlopt src/sparecode/register.cmx Packing lib/plugins/Sparecode.cmx Ocamlopt src/slicing/slicingParameters.cmx Ocamlopt src/slicing/slicingMacros.cmx Ocamlopt src/slicing/slicingMarks.cmx Ocamlopt src/slicing/slicingActions.cmx Ocamlopt src/slicing/fct_slice.cmx Ocamlopt src/slicing/printSlice.cmx Ocamlopt src/slicing/slicingProject.cmx Ocamlopt src/slicing/slicingTransform.cmx Ocamlopt src/slicing/slicingCmds.cmx Ocamlopt src/slicing/register.cmx Packing lib/plugins/Slicing.cmx Ocamlopt src/ltl_to_acsl/bool3.cmx Ocamlopt src/ltl_to_acsl/spec_tools.cmx Ocamlopt src/ltl_to_acsl/ltl_to_acsl_option.cmx Ocamlopt src/ltl_to_acsl/data_for_ltl.cmx Ocamlopt src/ltl_to_acsl/promelaoutput.cmx Ocamlopt src/ltl_to_acsl/ltl_logic.cmx Ocamlopt src/ltl_to_acsl/ltl_utils.cmx Ocamlopt src/ltl_to_acsl/ltl_output.cmx Ocamlopt src/ltl_to_acsl/utils_parser.cmx Ocamlopt src/ltl_to_acsl/ltlparser.cmx Ocamlopt src/ltl_to_acsl/ltllexer.cmx Ocamlopt src/ltl_to_acsl/yaparser.cmx Ocamlopt src/ltl_to_acsl/yalexer.cmx Ocamlopt src/ltl_to_acsl/promelaparser.cmx Ocamlopt src/ltl_to_acsl/promelalexer.cmx Ocamlopt src/ltl_to_acsl/promelaparser_withexps.cmx Ocamlopt src/ltl_to_acsl/promelalexer_withexps.cmx Ocamlopt src/ltl_to_acsl/abstract_ai.cmx Ocamlopt src/ltl_to_acsl/bycase_ai.cmx Ocamlopt src/ltl_to_acsl/ltl_to_acsl_visitors.cmx Ocamlopt src/ltl_to_acsl/ltl_to_acsl_register.cmx Packing lib/plugins/Ltl_to_acsl.cmx Ocamlopt src/kernel/boot.cmx Linking bin/toplevel.opt File "_none_", line 1, characters 0-1: Error: No implementations provided for the following modules: Dynlink referenced from src/lib/dynlink_common_interface.cmx gmake: *** [bin/toplevel.opt] Error 2 M