Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] FreeBSD build failure
- Subject: [Frama-c-discuss] FreeBSD build failure
- From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
- Date: Sat, 27 Feb 2010 10:11:09 +0000
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
- Prev by Date: [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
- Next by Date: [Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make
- Previous by thread: [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
- Next by thread: [Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make
- Index(es):