--- layout: fc_discuss_archives title: Message 52 from Frama-C-discuss on February 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] FreeBSD build failure



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