frama-c-base 20151002+magnesium+dfsg-1build1 / usr / share / frama-c / Makefile.kernel

# This makefile was automatically generated.
# Do not modify.
ifeq ($(FRAMAC_INTERNAL),yes)
DYN_BLINKFLAGS=-w +a-3-4-6-9-41-44-45-48-50 -bin-annot -g -linkall -custom  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/slicing_types  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/pdg_types  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/stdlib  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/runtime  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/parsetree  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/cmdline_parameters  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/visitors  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_transformations  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/gui  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lib/plugins  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lib  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//usr/lib/ocaml/findlib  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//usr/lib/ocaml/ocamlgraph  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//usr/lib/ocaml/zarith
DYN_GEN_BYTE_LIBS=/build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/c_bindings.o
DYN_BYTE_LIBS=nums.cma unix.cma bigarray.cma str.cma findlib.cma dynlink.cma graph.cma zarith.cma
DYN_ALL_BATCH_CMO=/build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/frama_c_init.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/FCDynlink.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/FCSet.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/FCMap.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/FCHashtbl.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/extlib.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/unmarshal.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/unmarshal_nums.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/unmarshal_z.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/structural_descr.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/type.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/descr.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/sysutil.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/pretty_utils.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/hook.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/bag.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/wto.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/vector.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/fixpoint.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/indexer.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/bitvector.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/qstack.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/integer.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/filepath.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/config.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/log.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cmdline.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/project_skeleton.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/datatype.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/journal.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/state.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/state_dependency_graph.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/state_topological.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/state_selection.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/project.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/state_builder.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/utf8_logic.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/binary_cache.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/hptmap.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/hptset.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/escape.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cil_datatype.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/typed_parameter.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/dynamic.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/parameter_category.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/parameter_customize.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/parameter_state.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/parameter_builder.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/plugin.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/kernel.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/unicode.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/emitter.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/floating_point.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/rangemap.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/printer_builder.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cilconfig.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/alpha.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cil_state_builder.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/machdeps.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cil_const.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_env.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_const.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cil.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/errorloc.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cil_printer.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cil_descriptive_printer.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cabs.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cabshelper.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_print.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_utils.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_parser.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_lexer.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_builtin.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_typing.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cabs_debug.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cprint.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lexerhack.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/clexer.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cabsvisit.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cparser.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_preprocess.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/mergecil.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/rmtmps.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cabs2cil.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/oneret.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/frontc.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/ast_info.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/ast.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/globals.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cfg.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/kernel_function.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/property.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/property_status.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/annotations.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/printer.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/statuses_by_call.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/dataflow.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/ordered_stmt.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/wto_statement.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/dataflows.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/dataflow2.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/stmts_graph.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/dominators.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/service_graph.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/description.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/alarms.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lattice_messages.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/abstract_interp.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/int_Base.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/bit_utils.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/fval.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/ival.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/base.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/origin.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/map_Lattice.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/trace.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/tr_offset.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/offsetmap.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/int_Intervals.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/locations.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lmap.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lmap_bitwise.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/visitor.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cilE.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/cvalue.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/precise_locs.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/value_types.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/widen_type.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/function_Froms.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/inout_type.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/pdgIndex.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/pdgTypes.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/pdgMarks.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/slicingInternals.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/slicingTypes.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/db.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/command.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/task.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/filecheck.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/file.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/translate_lightweight.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/allocates.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/unroll_loops.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/loop.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/exn_flow.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/logic_interp.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/infer_annotations.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/clone.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/filter.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/special_hooks.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/messages.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/RteGen.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/Postdominators.cmo /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/boot.cmo
DYN_OLINKFLAGS=-w +a-3-4-6-9-41-44-45-48-50 -bin-annot -g -compact -linkall  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/slicing_types  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/pdg_types  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/stdlib  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/runtime  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/parsetree  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/cmdline_parameters  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/visitors  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_transformations  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/gui  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lib/plugins  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lib  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//usr/lib/ocaml/findlib  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//usr/lib/ocaml/ocamlgraph  -I /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//usr/lib/ocaml/zarith
DYN_GEN_OPT_LIBS=/build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/c_bindings.o
DYN_OPT_LIBS=nums.cmxa unix.cmxa bigarray.cmxa str.cmxa findlib.cmxa dynlink.cmxa graph.cmxa zarith.cmxa
DYN_ALL_BATCH_CMX=/build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/runtime/frama_c_init.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/stdlib/FCDynlink.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/stdlib/FCSet.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/stdlib/FCMap.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/stdlib/FCHashtbl.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/stdlib/extlib.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype/unmarshal.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype/unmarshal_nums.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype/unmarshal_z.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype/structural_descr.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype/type.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype/descr.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/sysutil.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/pretty_utils.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/hook.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/bag.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/wto.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/vector.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/fixpoint.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/indexer.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/bitvector.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/qstack.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/stdlib/integer.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/filepath.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/runtime/config.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points/log.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/cmdline_parameters/cmdline.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project/project_skeleton.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/datatype/datatype.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points/journal.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project/state.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project/state_dependency_graph.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project/state_topological.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project/state_selection.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project/project.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/project/state_builder.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/utf8_logic.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/binary_cache.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/hptmap.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/hptset.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/escape.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/cil_datatype.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/cmdline_parameters/typed_parameter.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points/dynamic.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/cmdline_parameters/parameter_category.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/cmdline_parameters/parameter_customize.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/cmdline_parameters/parameter_state.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/cmdline_parameters/parameter_builder.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points/plugin.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points/kernel.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/unicode.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points/emitter.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/floating_point.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/rangemap.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing/printer_builder.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/cilconfig.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/alpha.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/cil_state_builder.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/runtime/machdeps.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/cil_const.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/logic_env.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/logic_const.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/cil.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing/errorloc.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing/cil_printer.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing/cil_descriptive_printer.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/parsetree/cabs.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/parsetree/cabshelper.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing/logic_print.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/logic_utils.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing/logic_parser.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing/logic_lexer.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/logic_builtin.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/logic_typing.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing/cabs_debug.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing/cprint.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing/lexerhack.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing/clexer.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/visitors/cabsvisit.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing/cparser.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/parsing/logic_preprocess.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/mergecil.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/rmtmps.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/cabs2cil.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/oneret.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/frontc.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/ast_info.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data/ast.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data/globals.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/cfg.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data/kernel_function.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data/property.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data/property_status.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data/annotations.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing/printer.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data/statuses_by_call.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/dataflow.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/ordered_stmt.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/wto_statement.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/dataflows.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/dataflow2.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/stmts_graph.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/dominators.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/service_graph.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_printing/description.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_data/alarms.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/lattice_messages.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/abstract_interp.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/int_Base.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/bit_utils.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/fval.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/ival.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/base.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/origin.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/map_Lattice.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/trace.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/tr_offset.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/offsetmap.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/int_Intervals.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/locations.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/lmap.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/abstract_interp/lmap_bitwise.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/visitors/visitor.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types/cilE.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types/cvalue.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types/precise_locs.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types/value_types.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types/widen_type.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types/function_Froms.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/value_types/inout_type.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/pdg_types/pdgIndex.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/pdg_types/pdgTypes.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/pdg_types/pdgMarks.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/slicing_types/slicingInternals.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/plugins/slicing_types/slicingTypes.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/plugin_entry_points/db.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/command.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/libraries/utils/task.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/filecheck.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_queries/file.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/translate_lightweight.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/allocates.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/unroll_loops.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/loop.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/exn_flow.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/analysis/logic_interp.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/typing/infer_annotations.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_transformations/clone.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_services/ast_transformations/filter.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/runtime/special_hooks.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/runtime/messages.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lib/plugins/RteGen.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg//build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/lib/plugins/Postdominators.cmx /build/frama-c-RZQh8g/frama-c-20151002+magnesium+dfsg/src/kernel_internals/runtime/boot.cmx
else
DYN_BLINKFLAGS=-w +a-3-4-6-9-41-44-45-48-50 -bin-annot -g -linkall -custom 
DYN_GEN_BYTE_LIBS=/usr/lib/frama-c/c_bindings.o
DYN_BYTE_LIBS=nums.cma unix.cma bigarray.cma str.cma findlib.cma dynlink.cma graph.cma zarith.cma
DYN_ALL_BATCH_CMO=/usr/lib/frama-c/frama_c_init.cmo /usr/lib/frama-c/FCDynlink.cmo /usr/lib/frama-c/FCSet.cmo /usr/lib/frama-c/FCMap.cmo /usr/lib/frama-c/FCHashtbl.cmo /usr/lib/frama-c/extlib.cmo /usr/lib/frama-c/unmarshal.cmo /usr/lib/frama-c/unmarshal_nums.cmo /usr/lib/frama-c/unmarshal_z.cmo /usr/lib/frama-c/structural_descr.cmo /usr/lib/frama-c/type.cmo /usr/lib/frama-c/descr.cmo /usr/lib/frama-c/sysutil.cmo /usr/lib/frama-c/pretty_utils.cmo /usr/lib/frama-c/hook.cmo /usr/lib/frama-c/bag.cmo /usr/lib/frama-c/wto.cmo /usr/lib/frama-c/vector.cmo /usr/lib/frama-c/fixpoint.cmo /usr/lib/frama-c/indexer.cmo /usr/lib/frama-c/bitvector.cmo /usr/lib/frama-c/qstack.cmo /usr/lib/frama-c/integer.cmo /usr/lib/frama-c/filepath.cmo /usr/lib/frama-c/config.cmo /usr/lib/frama-c/log.cmo /usr/lib/frama-c/cmdline.cmo /usr/lib/frama-c/project_skeleton.cmo /usr/lib/frama-c/datatype.cmo /usr/lib/frama-c/journal.cmo /usr/lib/frama-c/state.cmo /usr/lib/frama-c/state_dependency_graph.cmo /usr/lib/frama-c/state_topological.cmo /usr/lib/frama-c/state_selection.cmo /usr/lib/frama-c/project.cmo /usr/lib/frama-c/state_builder.cmo /usr/lib/frama-c/utf8_logic.cmo /usr/lib/frama-c/binary_cache.cmo /usr/lib/frama-c/hptmap.cmo /usr/lib/frama-c/hptset.cmo /usr/lib/frama-c/escape.cmo /usr/lib/frama-c/cil_datatype.cmo /usr/lib/frama-c/typed_parameter.cmo /usr/lib/frama-c/dynamic.cmo /usr/lib/frama-c/parameter_category.cmo /usr/lib/frama-c/parameter_customize.cmo /usr/lib/frama-c/parameter_state.cmo /usr/lib/frama-c/parameter_builder.cmo /usr/lib/frama-c/plugin.cmo /usr/lib/frama-c/kernel.cmo /usr/lib/frama-c/unicode.cmo /usr/lib/frama-c/emitter.cmo /usr/lib/frama-c/floating_point.cmo /usr/lib/frama-c/rangemap.cmo /usr/lib/frama-c/printer_builder.cmo /usr/lib/frama-c/cilconfig.cmo /usr/lib/frama-c/alpha.cmo /usr/lib/frama-c/cil_state_builder.cmo /usr/lib/frama-c/machdeps.cmo /usr/lib/frama-c/cil_const.cmo /usr/lib/frama-c/logic_env.cmo /usr/lib/frama-c/logic_const.cmo /usr/lib/frama-c/cil.cmo /usr/lib/frama-c/errorloc.cmo /usr/lib/frama-c/cil_printer.cmo /usr/lib/frama-c/cil_descriptive_printer.cmo /usr/lib/frama-c/cabs.cmo /usr/lib/frama-c/cabshelper.cmo /usr/lib/frama-c/logic_print.cmo /usr/lib/frama-c/logic_utils.cmo /usr/lib/frama-c/logic_parser.cmo /usr/lib/frama-c/logic_lexer.cmo /usr/lib/frama-c/logic_builtin.cmo /usr/lib/frama-c/logic_typing.cmo /usr/lib/frama-c/cabs_debug.cmo /usr/lib/frama-c/cprint.cmo /usr/lib/frama-c/lexerhack.cmo /usr/lib/frama-c/clexer.cmo /usr/lib/frama-c/cabsvisit.cmo /usr/lib/frama-c/cparser.cmo /usr/lib/frama-c/logic_preprocess.cmo /usr/lib/frama-c/mergecil.cmo /usr/lib/frama-c/rmtmps.cmo /usr/lib/frama-c/cabs2cil.cmo /usr/lib/frama-c/oneret.cmo /usr/lib/frama-c/frontc.cmo /usr/lib/frama-c/ast_info.cmo /usr/lib/frama-c/ast.cmo /usr/lib/frama-c/globals.cmo /usr/lib/frama-c/cfg.cmo /usr/lib/frama-c/kernel_function.cmo /usr/lib/frama-c/property.cmo /usr/lib/frama-c/property_status.cmo /usr/lib/frama-c/annotations.cmo /usr/lib/frama-c/printer.cmo /usr/lib/frama-c/statuses_by_call.cmo /usr/lib/frama-c/dataflow.cmo /usr/lib/frama-c/ordered_stmt.cmo /usr/lib/frama-c/wto_statement.cmo /usr/lib/frama-c/dataflows.cmo /usr/lib/frama-c/dataflow2.cmo /usr/lib/frama-c/stmts_graph.cmo /usr/lib/frama-c/dominators.cmo /usr/lib/frama-c/service_graph.cmo /usr/lib/frama-c/description.cmo /usr/lib/frama-c/alarms.cmo /usr/lib/frama-c/lattice_messages.cmo /usr/lib/frama-c/abstract_interp.cmo /usr/lib/frama-c/int_Base.cmo /usr/lib/frama-c/bit_utils.cmo /usr/lib/frama-c/fval.cmo /usr/lib/frama-c/ival.cmo /usr/lib/frama-c/base.cmo /usr/lib/frama-c/origin.cmo /usr/lib/frama-c/map_Lattice.cmo /usr/lib/frama-c/trace.cmo /usr/lib/frama-c/tr_offset.cmo /usr/lib/frama-c/offsetmap.cmo /usr/lib/frama-c/int_Intervals.cmo /usr/lib/frama-c/locations.cmo /usr/lib/frama-c/lmap.cmo /usr/lib/frama-c/lmap_bitwise.cmo /usr/lib/frama-c/visitor.cmo /usr/lib/frama-c/cilE.cmo /usr/lib/frama-c/cvalue.cmo /usr/lib/frama-c/precise_locs.cmo /usr/lib/frama-c/value_types.cmo /usr/lib/frama-c/widen_type.cmo /usr/lib/frama-c/function_Froms.cmo /usr/lib/frama-c/inout_type.cmo /usr/lib/frama-c/pdgIndex.cmo /usr/lib/frama-c/pdgTypes.cmo /usr/lib/frama-c/pdgMarks.cmo /usr/lib/frama-c/slicingInternals.cmo /usr/lib/frama-c/slicingTypes.cmo /usr/lib/frama-c/db.cmo /usr/lib/frama-c/command.cmo /usr/lib/frama-c/task.cmo /usr/lib/frama-c/filecheck.cmo /usr/lib/frama-c/file.cmo /usr/lib/frama-c/translate_lightweight.cmo /usr/lib/frama-c/allocates.cmo /usr/lib/frama-c/unroll_loops.cmo /usr/lib/frama-c/loop.cmo /usr/lib/frama-c/exn_flow.cmo /usr/lib/frama-c/logic_interp.cmo /usr/lib/frama-c/infer_annotations.cmo /usr/lib/frama-c/clone.cmo /usr/lib/frama-c/filter.cmo /usr/lib/frama-c/special_hooks.cmo /usr/lib/frama-c/messages.cmo /usr/lib/frama-c/RteGen.cmo /usr/lib/frama-c/Postdominators.cmo /usr/lib/frama-c/boot.cmo
DYN_OLINKFLAGS=-w +a-3-4-6-9-41-44-45-48-50 -bin-annot -g -compact -linkall  
DYN_GEN_OPT_LIBS=/usr/lib/frama-c/c_bindings.o
DYN_OPT_LIBS=nums.cmxa unix.cmxa bigarray.cmxa str.cmxa findlib.cmxa dynlink.cmxa graph.cmxa zarith.cmxa
DYN_ALL_BATCH_CMX=/usr/lib/frama-c/frama_c_init.cmx /usr/lib/frama-c/FCDynlink.cmx /usr/lib/frama-c/FCSet.cmx /usr/lib/frama-c/FCMap.cmx /usr/lib/frama-c/FCHashtbl.cmx /usr/lib/frama-c/extlib.cmx /usr/lib/frama-c/unmarshal.cmx /usr/lib/frama-c/unmarshal_nums.cmx /usr/lib/frama-c/unmarshal_z.cmx /usr/lib/frama-c/structural_descr.cmx /usr/lib/frama-c/type.cmx /usr/lib/frama-c/descr.cmx /usr/lib/frama-c/sysutil.cmx /usr/lib/frama-c/pretty_utils.cmx /usr/lib/frama-c/hook.cmx /usr/lib/frama-c/bag.cmx /usr/lib/frama-c/wto.cmx /usr/lib/frama-c/vector.cmx /usr/lib/frama-c/fixpoint.cmx /usr/lib/frama-c/indexer.cmx /usr/lib/frama-c/bitvector.cmx /usr/lib/frama-c/qstack.cmx /usr/lib/frama-c/integer.cmx /usr/lib/frama-c/filepath.cmx /usr/lib/frama-c/config.cmx /usr/lib/frama-c/log.cmx /usr/lib/frama-c/cmdline.cmx /usr/lib/frama-c/project_skeleton.cmx /usr/lib/frama-c/datatype.cmx /usr/lib/frama-c/journal.cmx /usr/lib/frama-c/state.cmx /usr/lib/frama-c/state_dependency_graph.cmx /usr/lib/frama-c/state_topological.cmx /usr/lib/frama-c/state_selection.cmx /usr/lib/frama-c/project.cmx /usr/lib/frama-c/state_builder.cmx /usr/lib/frama-c/utf8_logic.cmx /usr/lib/frama-c/binary_cache.cmx /usr/lib/frama-c/hptmap.cmx /usr/lib/frama-c/hptset.cmx /usr/lib/frama-c/escape.cmx /usr/lib/frama-c/cil_datatype.cmx /usr/lib/frama-c/typed_parameter.cmx /usr/lib/frama-c/dynamic.cmx /usr/lib/frama-c/parameter_category.cmx /usr/lib/frama-c/parameter_customize.cmx /usr/lib/frama-c/parameter_state.cmx /usr/lib/frama-c/parameter_builder.cmx /usr/lib/frama-c/plugin.cmx /usr/lib/frama-c/kernel.cmx /usr/lib/frama-c/unicode.cmx /usr/lib/frama-c/emitter.cmx /usr/lib/frama-c/floating_point.cmx /usr/lib/frama-c/rangemap.cmx /usr/lib/frama-c/printer_builder.cmx /usr/lib/frama-c/cilconfig.cmx /usr/lib/frama-c/alpha.cmx /usr/lib/frama-c/cil_state_builder.cmx /usr/lib/frama-c/machdeps.cmx /usr/lib/frama-c/cil_const.cmx /usr/lib/frama-c/logic_env.cmx /usr/lib/frama-c/logic_const.cmx /usr/lib/frama-c/cil.cmx /usr/lib/frama-c/errorloc.cmx /usr/lib/frama-c/cil_printer.cmx /usr/lib/frama-c/cil_descriptive_printer.cmx /usr/lib/frama-c/cabs.cmx /usr/lib/frama-c/cabshelper.cmx /usr/lib/frama-c/logic_print.cmx /usr/lib/frama-c/logic_utils.cmx /usr/lib/frama-c/logic_parser.cmx /usr/lib/frama-c/logic_lexer.cmx /usr/lib/frama-c/logic_builtin.cmx /usr/lib/frama-c/logic_typing.cmx /usr/lib/frama-c/cabs_debug.cmx /usr/lib/frama-c/cprint.cmx /usr/lib/frama-c/lexerhack.cmx /usr/lib/frama-c/clexer.cmx /usr/lib/frama-c/cabsvisit.cmx /usr/lib/frama-c/cparser.cmx /usr/lib/frama-c/logic_preprocess.cmx /usr/lib/frama-c/mergecil.cmx /usr/lib/frama-c/rmtmps.cmx /usr/lib/frama-c/cabs2cil.cmx /usr/lib/frama-c/oneret.cmx /usr/lib/frama-c/frontc.cmx /usr/lib/frama-c/ast_info.cmx /usr/lib/frama-c/ast.cmx /usr/lib/frama-c/globals.cmx /usr/lib/frama-c/cfg.cmx /usr/lib/frama-c/kernel_function.cmx /usr/lib/frama-c/property.cmx /usr/lib/frama-c/property_status.cmx /usr/lib/frama-c/annotations.cmx /usr/lib/frama-c/printer.cmx /usr/lib/frama-c/statuses_by_call.cmx /usr/lib/frama-c/dataflow.cmx /usr/lib/frama-c/ordered_stmt.cmx /usr/lib/frama-c/wto_statement.cmx /usr/lib/frama-c/dataflows.cmx /usr/lib/frama-c/dataflow2.cmx /usr/lib/frama-c/stmts_graph.cmx /usr/lib/frama-c/dominators.cmx /usr/lib/frama-c/service_graph.cmx /usr/lib/frama-c/description.cmx /usr/lib/frama-c/alarms.cmx /usr/lib/frama-c/lattice_messages.cmx /usr/lib/frama-c/abstract_interp.cmx /usr/lib/frama-c/int_Base.cmx /usr/lib/frama-c/bit_utils.cmx /usr/lib/frama-c/fval.cmx /usr/lib/frama-c/ival.cmx /usr/lib/frama-c/base.cmx /usr/lib/frama-c/origin.cmx /usr/lib/frama-c/map_Lattice.cmx /usr/lib/frama-c/trace.cmx /usr/lib/frama-c/tr_offset.cmx /usr/lib/frama-c/offsetmap.cmx /usr/lib/frama-c/int_Intervals.cmx /usr/lib/frama-c/locations.cmx /usr/lib/frama-c/lmap.cmx /usr/lib/frama-c/lmap_bitwise.cmx /usr/lib/frama-c/visitor.cmx /usr/lib/frama-c/cilE.cmx /usr/lib/frama-c/cvalue.cmx /usr/lib/frama-c/precise_locs.cmx /usr/lib/frama-c/value_types.cmx /usr/lib/frama-c/widen_type.cmx /usr/lib/frama-c/function_Froms.cmx /usr/lib/frama-c/inout_type.cmx /usr/lib/frama-c/pdgIndex.cmx /usr/lib/frama-c/pdgTypes.cmx /usr/lib/frama-c/pdgMarks.cmx /usr/lib/frama-c/slicingInternals.cmx /usr/lib/frama-c/slicingTypes.cmx /usr/lib/frama-c/db.cmx /usr/lib/frama-c/command.cmx /usr/lib/frama-c/task.cmx /usr/lib/frama-c/filecheck.cmx /usr/lib/frama-c/file.cmx /usr/lib/frama-c/translate_lightweight.cmx /usr/lib/frama-c/allocates.cmx /usr/lib/frama-c/unroll_loops.cmx /usr/lib/frama-c/loop.cmx /usr/lib/frama-c/exn_flow.cmx /usr/lib/frama-c/logic_interp.cmx /usr/lib/frama-c/infer_annotations.cmx /usr/lib/frama-c/clone.cmx /usr/lib/frama-c/filter.cmx /usr/lib/frama-c/special_hooks.cmx /usr/lib/frama-c/messages.cmx /usr/lib/frama-c/RteGen.cmx /usr/lib/frama-c/Postdominators.cmx /usr/lib/frama-c/boot.cmx
endif