[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_amd64_14 #21667
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Sun Jan 24 16:35:31 UTC 2016
See <https://jenkins.debian.net/job/reproducible_builder_amd64_14/21667/>
------------------------------------------
[...truncated 6140 lines...]
File "src/gui/file_manager.ml", line 64, characters 6-99:
Warning 50: unattached documentation comment (ignored)
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/file_manager.cmx /build/frama-c-20150201+sodium+dfsg/lib/fc/file_manager.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/gui -I +lablgtk2 src/gui/project_manager.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/project_manager.cmx /build/frama-c-20150201+sodium+dfsg/lib/fc/project_manager.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/gui -I +lablgtk2 src/gui/debug_manager.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/debug_manager.cmx /build/frama-c-20150201+sodium+dfsg/lib/fc/debug_manager.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/gui -I +lablgtk2 src/gui/help_manager.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/help_manager.cmx /build/frama-c-20150201+sodium+dfsg/lib/fc/help_manager.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/gui -I +lablgtk2 src/gui/property_navigator.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/property_navigator.cmx /build/frama-c-20150201+sodium+dfsg/lib/fc/property_navigator.cmx
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/gui_parameters.o /build/frama-c-20150201+sodium+dfsg/lib/fc/gui_parameters.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/gtk_helper.o /build/frama-c-20150201+sodium+dfsg/lib/fc/gtk_helper.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/gtk_form.o /build/frama-c-20150201+sodium+dfsg/lib/fc/gtk_form.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/toolbox.o /build/frama-c-20150201+sodium+dfsg/lib/fc/toolbox.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/source_viewer.o /build/frama-c-20150201+sodium+dfsg/lib/fc/source_viewer.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/pretty_source.o /build/frama-c-20150201+sodium+dfsg/lib/fc/pretty_source.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/source_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/source_manager.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/book_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/book_manager.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/warning_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/warning_manager.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/filetree.o /build/frama-c-20150201+sodium+dfsg/lib/fc/filetree.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/launcher.o /build/frama-c-20150201+sodium+dfsg/lib/fc/launcher.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/menu_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/menu_manager.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/history.o /build/frama-c-20150201+sodium+dfsg/lib/fc/history.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/design.o /build/frama-c-20150201+sodium+dfsg/lib/fc/design.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/analyses_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/analyses_manager.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/file_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/file_manager.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/project_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/project_manager.o
:
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/debug_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/debug_manager.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/help_manager.o /build/frama-c-20150201+sodium+dfsg/lib/fc/help_manager.o
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/fc
cp src/gui/property_navigator.o /build/frama-c-20150201+sodium+dfsg/lib/fc/property_navigator.o
rm -f ptests/ptests_config.ml
touch ptests/ptests_config.ml
echo \
"let no_native_dynlink = " \
false ";;" \
>> ptests/ptests_config.ml
true ptests/ptests_config.ml
ocamlopt.opt -I ptests -dtypes -thread -o bin/ptests.opt \
unix.cmxa threads.cmxa str.cmxa dynlink.cmxa ptests/ptests_config.ml ptests/ptests.ml
rm -f tests/ptests_config
touch tests/ptests_config
echo "DEFAULT_SUITES= metrics occurrence rte idct test float constant_propagation pdg scope sparecode slicing slicing2 dynamic dynamic_plugin journal saveload spec misc syntax pretty_printing non-free libc" >> tests/ptests_config
echo "TOPLEVEL_PATH=bin/toplevel.opt" >> tests/ptests_config
echo "OCAMLRUNPARAM=" >> tests/ptests_config
echo "FRAMAC_SESSION=." >> tests/ptests_config
echo "FRAMAC_SHARE=./share" >> tests/ptests_config
echo "FRAMAC_PLUGIN=./lib/plugins" >> tests/ptests_config
echo "FRAMAC_PLUGIN_GUI=./lib/plugins/gui" >> tests/ptests_config
echo "FRAMAC_LIB=./lib/fc" >> tests/ptests_config
true tests/ptests_config
ocamlopt.opt src/kernel/frama_c_config.ml -o bin/frama-c-config
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/security_slicing -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I +lablgtk2 /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Security_slicing.mli
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/security_slicing -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I +lablgtk2 src/security_slicing/register_gui.mli
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/security_slicing -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I +lablgtk2 -for-pack Security_slicing -I src/gui -I +lablgtk2 src/security_slicing/register_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Security_slicing.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I "/usr/lib"/frama-c/plugins -I src/security_slicing -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -pack \
\
src/security_slicing/security_slicing_parameters.cmx src/security_slicing/components.cmx src/security_slicing/register_gui.cmx
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Security_slicing.cmxs -shared \
-w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I "/usr/lib"/frama-c/plugins -I src/security_slicing -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph \
\
\
/build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Security_slicing.cmx
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Wp.mli
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 src/wp/GuiConfig.mli
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -for-pack Wp -I src/gui -I +lablgtk2 src/wp/GuiConfig.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 src/wp/GuiList.mli
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -for-pack Wp -I src/gui -I +lablgtk2 src/wp/GuiList.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 src/wp/GuiGoal.mli
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -for-pack Wp -I src/gui -I +lablgtk2 src/wp/GuiGoal.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 src/wp/GuiSource.mli
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -for-pack Wp -I src/gui -I +lablgtk2 src/wp/GuiSource.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 src/wp/GuiPanel.mli
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -for-pack Wp -I src/gui -I +lablgtk2 src/wp/GuiPanel.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 src/wp/GuiNavigator.mli
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -for-pack Wp -I src/gui -I +lablgtk2 src/wp/GuiNavigator.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Wp.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I "/usr/lib"/frama-c/plugins -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -pack \
\
src/wp/CfgLib.cmx src/wp/WTO.cmx src/wp/Fixpoint.cmx src/wp/rformat.cmx src/wp/wprop.cmx src/wp/wp_parameters.cmx src/wp/wp_error.cmx src/wp/dyncall.cmx src/wp/ctypes.cmx src/wp/clabels.cmx src/wp/LogicUsage.cmx src/wp/VarUsage.cmx src/wp/RefUsage.cmx src/wp/variables_analysis.cmx src/wp/cil2cfg.cmx src/wp/normAtLabels.cmx src/wp/wpPropId.cmx src/wp/wpStrategy.cmx src/wp/wpAnnot.cmx src/wp/Context.cmx src/wp/Warning.cmx src/wp/Model.cmx src/wp/Lang.cmx src/wp/Matrix.cmx src/wp/Passive.cmx src/wp/Splitter.cmx src/wp/Letify.cmx src/wp/Cleaning.cmx src/wp/Conditions.cmx src/wp/LogicBuiltins.cmx src/wp/Definitions.cmx src/wp/Cint.cmx src/wp/Cfloat.cmx src/wp/Vset.cmx src/wp/Region.cmx src/wp/Cstring.cmx src/wp/Cvalues.cmx src/wp/CodeSemantics.cmx src/wp/LogicCompiler.cmx src/wp/LogicSemantics.cmx src/wp/LogicAssigns.cmx src/wp/Sigma.cmx src/wp/MemEmpty.cmx src/wp/MemVar.cmx src/wp/MemTyped.cmx src/wp/VCS.cmx src/wp/script.cmx src/wp/proof.cmx src/wp/wpo.cmx src/wp/wpReport.cmx src/wp/ProverTask.cmx src/wp/ProverErgo.cmx src/wp/ProverCoq.cmx src/wp/ProverWhy3.cmx src/wp/why3_xml.cmx src/wp/why3_session.cmx src/wp/driver.cmx src/wp/prover.cmx src/wp/calculus.cmx src/wp/cfgDump.cmx src/wp/cfgWP.cmx src/wp/Generator.cmx src/wp/Factory.cmx src/wp/register.cmx src/wp/GuiConfig.cmx src/wp/GuiList.cmx src/wp/GuiGoal.cmx src/wp/GuiSource.cmx src/wp/GuiPanel.cmx src/wp/GuiNavigator.cmx
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Wp.cmxs -shared \
-w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I "/usr/lib"/frama-c/plugins -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 \
\
src/wp/qed/bin/Qed.cmx \
/build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Wp.cmx
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/gui -I +lablgtk2 src/kernel/gui_init.mli
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/gui -I +lablgtk2 src/kernel/gui_init.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/metrics -I +lablgtk2 src/metrics/metrics_gui.mli
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/metrics -I +lablgtk2 -I src/gui -I +lablgtk2 src/metrics/metrics_gui.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/metrics -I +lablgtk2 -I src/gui -I +lablgtk2 src/metrics/register_gui.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/metrics -I +lablgtk2 -I src/gui -I +lablgtk2 /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Metrics.mli
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Metrics.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/metrics -pack \
\
src/metrics/metrics_parameters.cmo src/metrics/css_html.cmo src/metrics/metrics_base.cmo src/metrics/metrics_acsl.cmo src/metrics/metrics_cabs.cmo src/metrics/metrics_cilast.cmo src/metrics/metrics_coverage.cmo src/metrics/register.cmo src/metrics/metrics_gui.cmo src/metrics/register_gui.cmo
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/syntactic_callgraph -I +lablgtk2 -I src/gui -I +lablgtk2 src/syntactic_callgraph/cg_viewer.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/syntactic_callgraph -I +lablgtk2 -I src/gui -I +lablgtk2 /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Syntactic_callgraph.mli
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Syntactic_callgraph.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/syntactic_callgraph -pack \
\
src/syntactic_callgraph/options.cmo src/syntactic_callgraph/register.cmo src/syntactic_callgraph/cg_viewer.cmo
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/value -I +lablgtk2 src/value/register_gui.mli
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/value -I +lablgtk2 -I src/gui -I +lablgtk2 src/value/register_gui.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/value -I +lablgtk2 -I src/gui -I +lablgtk2 /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Value.mli
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Value.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/value -pack \
\
src/value/split_strategy.cmo src/value/value_parameters.cmo src/value/stop_at_nth.cmo src/value/value_perf.cmo src/value/value_util.cmo src/value/library_functions.cmo src/value/mark_noresults.cmo src/value/separate.cmo src/value/state_set.cmo src/value/state_imp.cmo src/value/value_results.cmo src/value/widen.cmo src/value/valarms.cmo src/value/warn.cmo src/value/eval_op.cmo src/value/eval_exprs.cmo src/value/non_linear.cmo src/value/initial_state.cmo src/value/locals_scoping.cmo src/value/builtins.cmo src/value/eval_terms.cmo src/value/eval_annots.cmo src/value/mem_exec.cmo src/value/function_args.cmo src/value/split_return.cmo src/value/eval_stmt.cmo src/value/per_stmt_slevel.cmo src/value/eval_slevel.cmo src/value/eval_funs.cmo src/value/register.cmo src/value/register_gui.cmo
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/occurrence -I +lablgtk2 src/occurrence/register_gui.mli
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/occurrence -I +lablgtk2 -I src/gui -I +lablgtk2 src/occurrence/register_gui.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/occurrence -I +lablgtk2 -I src/gui -I +lablgtk2 /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Occurrence.mli
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Occurrence.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/occurrence -pack \
\
src/occurrence/options.cmo src/occurrence/register.cmo src/occurrence/register_gui.cmo
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/from -I +lablgtk2 src/from/from_register_gui.mli
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/from -I +lablgtk2 -I src/gui -I +lablgtk2 src/from/from_register_gui.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/from -I +lablgtk2 -I src/gui -I +lablgtk2 /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/From.mli
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/From.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/from -pack \
\
src/from/from_parameters.cmo src/from/from_compute.cmo src/from/functionwise.cmo src/from/callwise.cmo src/from/path_dependencies.cmo src/from/mem_dependencies.cmo src/from/from_register.cmo src/from/from_register_gui.cmo
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/scope -I +lablgtk2 -I src/gui -I +lablgtk2 src/scope/dpds_gui.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/scope -I +lablgtk2 -I src/gui -I +lablgtk2 /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Scope.mli
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Scope.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/scope -pack \
\
src/scope/datascope.cmo src/scope/zones.cmo src/scope/defs.cmo src/scope/dpds_gui.cmo
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/slicing -I +lablgtk2 src/slicing/register_gui.mli
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/slicing -I +lablgtk2 -I src/gui -I +lablgtk2 src/slicing/register_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Slicing.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/slicing -pack \
\
src/slicing/slicingParameters.cmo src/slicing/slicingMacros.cmo src/slicing/slicingMarks.cmo src/slicing/slicingActions.cmo src/slicing/fct_slice.cmo src/slicing/printSlice.cmo src/slicing/slicingProject.cmo src/slicing/slicingTransform.cmo src/slicing/slicingCmds.cmo src/slicing/register.cmo src/slicing/register_gui.cmo
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/security_slicing -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I +lablgtk2 -I src/gui -I +lablgtk2 src/security_slicing/register_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Security_slicing.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I "/usr/lib"/frama-c/plugins -I src/security_slicing -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -pack \
\
src/security_slicing/security_slicing_parameters.cmo src/security_slicing/components.cmo src/security_slicing/register_gui.cmo
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -I src/gui -I +lablgtk2 src/wp/GuiConfig.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -I src/gui -I +lablgtk2 src/wp/GuiList.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -I src/gui -I +lablgtk2 src/wp/GuiGoal.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -I src/gui -I +lablgtk2 src/wp/GuiSource.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -I src/gui -I +lablgtk2 src/wp/GuiPanel.ml
ocamlc.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -I +lablgtk2 -I src/gui -I +lablgtk2 src/wp/GuiNavigator.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Wp.cmo -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I "/usr/lib"/frama-c/plugins -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 -pack \
\
src/wp/CfgLib.cmo src/wp/WTO.cmo src/wp/Fixpoint.cmo src/wp/rformat.cmo src/wp/wprop.cmo src/wp/wp_parameters.cmo src/wp/wp_error.cmo src/wp/dyncall.cmo src/wp/ctypes.cmo src/wp/clabels.cmo src/wp/LogicUsage.cmo src/wp/VarUsage.cmo src/wp/RefUsage.cmo src/wp/variables_analysis.cmo src/wp/cil2cfg.cmo src/wp/normAtLabels.cmo src/wp/wpPropId.cmo src/wp/wpStrategy.cmo src/wp/wpAnnot.cmo src/wp/Context.cmo src/wp/Warning.cmo src/wp/Model.cmo src/wp/Lang.cmo src/wp/Matrix.cmo src/wp/Passive.cmo src/wp/Splitter.cmo src/wp/Letify.cmo src/wp/Cleaning.cmo src/wp/Conditions.cmo src/wp/LogicBuiltins.cmo src/wp/Definitions.cmo src/wp/Cint.cmo src/wp/Cfloat.cmo src/wp/Vset.cmo src/wp/Region.cmo src/wp/Cstring.cmo src/wp/Cvalues.cmo src/wp/CodeSemantics.cmo src/wp/LogicCompiler.cmo src/wp/LogicSemantics.cmo src/wp/LogicAssigns.cmo src/wp/Sigma.cmo src/wp/MemEmpty.cmo src/wp/MemVar.cmo src/wp/MemTyped.cmo src/wp/VCS.cmo src/wp/script.cmo src/wp/proof.cmo src/wp/wpo.cmo src/wp/wpReport.cmo src/wp/ProverTask.cmo src/wp/ProverErgo.cmo src/wp/ProverCoq.cmo src/wp/ProverWhy3.cmo src/wp/why3_xml.cmo src/wp/why3_session.cmo src/wp/driver.cmo src/wp/prover.cmo src/wp/calculus.cmo src/wp/cfgDump.cmo src/wp/cfgWP.cmo src/wp/Generator.cmo src/wp/Factory.cmo src/wp/register.cmo src/wp/GuiConfig.cmo src/wp/GuiList.cmo src/wp/GuiGoal.cmo src/wp/GuiSource.cmo src/wp/GuiPanel.cmo src/wp/GuiNavigator.cmo
ocamlc.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Wp.cma -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I "/usr/lib"/frama-c/plugins -I src/wp -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I /build/frama-c-20150201+sodium+dfsg/src/misc -I /build/frama-c-20150201+sodium+dfsg/src/ai -I /build/frama-c-20150201+sodium+dfsg/src/memory_state -I /build/frama-c-20150201+sodium+dfsg/src/toplevel -I /build/frama-c-20150201+sodium+dfsg/src/slicing_types -I /build/frama-c-20150201+sodium+dfsg/src/pdg_types -I /build/frama-c-20150201+sodium+dfsg/src/kernel -I /build/frama-c-20150201+sodium+dfsg/src/logic -I /build/frama-c-20150201+sodium+dfsg/src/lib -I /build/frama-c-20150201+sodium+dfsg/src/printer -I /build/frama-c-20150201+sodium+dfsg/src/project -I /build/frama-c-20150201+sodium+dfsg/src/type -I /build/frama-c-20150201+sodium+dfsg/src/buckx -I /build/frama-c-20150201+sodium+dfsg/src/gui -I /build/frama-c-20150201+sodium+dfsg/external -I /build/frama-c-20150201+sodium+dfsg/cil/src -I /build/frama-c-20150201+sodium+dfsg/cil/src/ext -I /build/frama-c-20150201+sodium+dfsg/cil/src/frontc -I /build/frama-c-20150201+sodium+dfsg/cil/src/logic -I /build/frama-c-20150201+sodium+dfsg/cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib -I +ocamlgraph -I src/wp/qed/bin -w -32..39 \
\
-a src/wp/qed/bin/Qed.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Wp.cmo
ocamlc.opt -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -I src/gui -I +lablgtk2 -linkall -custom -o bin/viewer.byte nums.cma unix.cma bigarray.cma str.cma dynlink.cma src/buckx/buckx_c.o graph.cma zarith.cma lablgtk.cma lablgnomecanvas.cma lablgtksourceview2.cma /usr/lib/ocaml/ocamlgraph/dgraph.cmo \
src/kernel/frama_c_init.cmo external/unmarshal.cmo external/unmarshal_nums.cmo external/sysutil.cmo external/unz.cmo src/lib/dynlink_common_interface.cmo src/type/structural_descr.cmo src/type/type.cmo src/type/descr.cmo src/lib/FCSet.cmo src/lib/FCMap.cmo src/lib/FCHashtbl.cmo src/lib/extlib.cmo src/lib/pretty_utils.cmo src/lib/hook.cmo src/lib/bag.cmo src/lib/indexer.cmo src/lib/vector.cmo src/lib/bitvector.cmo src/lib/qstack.cmo src/lib/integer.cmo src/lib/filepath.cmo src/kernel/config.cmo src/kernel/gui_init.cmo src/kernel/log.cmo src/kernel/cmdline.cmo src/project/project_skeleton.cmo src/type/datatype.cmo src/kernel/journal.cmo src/project/state.cmo src/project/state_dependency_graph.cmo src/project/state_topological.cmo src/project/state_selection.cmo src/project/project.cmo src/project/state_builder.cmo src/lib/binary_cache.cmo external/hptmap.cmo src/lib/hptset.cmo cil/src/cil_datatype.cmo src/kernel/typed_parameter.cmo src/kernel/dynamic.cmo src/kernel/parameter_category.cmo src/kernel/parameter_customize.cmo src/kernel/parameter_state.cmo src/kernel/parameter_builder.cmo src/kernel/plugin.cmo src/kernel/kernel.cmo src/kernel/emitter.cmo src/lib/floating_point.cmo src/lib/rangemap.cmo src/printer/printer_builder.cmo cil/src/cilmsg.cmo cil/ocamlutil/alpha.cmo cil/ocamlutil/cilconfig.cmo cil/src/cil_state_builder.cmo cil/src/logic/utf8_logic.cmo cil/src/machdeps.cmo cil/src/cil_const.cmo cil/src/logic/logic_env.cmo cil/src/escape.cmo cil/src/logic/logic_const.cmo cil/src/cil.cmo src/printer/cil_printer.cmo src/printer/cil_descriptive_printer.cmo cil/src/frontc/errorloc.cmo cil/src/frontc/cabs.cmo cil/src/frontc/cabs_debug.cmo cil/src/frontc/cabshelper.cmo cil/src/logic/logic_utils.cmo cil/src/logic/logic_builtin.cmo cil/src/logic/logic_print.cmo cil/src/logic/logic_parser.cmo cil/src/logic/logic_lexer.cmo cil/src/frontc/lexerhack.cmo cil/src/mergecil.cmo cil/src/rmtmps.cmo cil/src/logic/logic_typing.cmo cil/src/frontc/cprint.cmo cil/src/frontc/cabsvisit.cmo cil/src/frontc/cabs2cil.cmo cil/src/frontc/clexer.cmo cil/src/frontc/cparser.cmo cil/src/logic/logic_preprocess.cmo cil/src/frontc/frontc.cmo cil/src/ext/callgraph.cmo cil/src/ext/dataflow.cmo cil/src/ext/oneret.cmo cil/src/ext/cfg.cmo src/kernel/ast_info.cmo src/kernel/ast.cmo src/kernel/globals.cmo src/kernel/kernel_function.cmo src/logic/property.cmo src/logic/property_status.cmo src/logic/annotations.cmo src/printer/printer.cmo src/kernel/stmts_graph.cmo cil/src/ext/ordered_stmt.cmo cil/src/ext/dataflows.cmo cil/src/ext/dataflow2.cmo src/kernel/dominators.cmo src/logic/description.cmo src/logic/statuses_by_call.cmo src/kernel/alarms.cmo src/kernel/messages.cmo src/ai/abstract_interp.cmo src/ai/int_Base.cmo src/kernel/unicode.cmo src/misc/service_graph.cmo src/ai/ival.cmo src/misc/bit_utils.cmo src/ai/base.cmo src/ai/origin.cmo src/ai/map_Lattice.cmo src/ai/trace.cmo src/memory_state/value_messages.cmo src/kernel/cilE.cmo src/memory_state/tr_offset.cmo src/memory_state/offsetmap.cmo src/ai/int_Intervals.cmo src/memory_state/locations.cmo src/memory_state/precise_locs.cmo src/memory_state/lmap.cmo src/memory_state/lmap_bitwise.cmo src/memory_state/function_Froms.cmo src/memory_state/cvalue.cmo src/memory_state/widen_type.cmo src/kernel/visitor.cmo src/kernel/clone.cmo src/kernel/loop.cmo src/memory_state/inout_type.cmo src/pdg_types/pdgIndex.cmo src/pdg_types/pdgTypes.cmo src/pdg_types/pdgMarks.cmo src/slicing_types/slicingInternals.cmo src/slicing_types/slicingTypes.cmo src/memory_state/value_types.cmo src/kernel/db.cmo src/kernel/command.cmo src/kernel/task.cmo src/kernel/file.cmo src/kernel/exn_flow.cmo src/logic/translate_lightweight.cmo src/kernel/unroll_loops.cmo src/misc/filter.cmo src/kernel/special_hooks.cmo src/logic/logic_interp.cmo src/logic/infer_annotations.cmo src/logic/allocates.cmo \
/build/frama-c-20150201+sodium+dfsg/lib/plugins/RteGen.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/Users.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/Constant_Propagation.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/Postdominators.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/Inout.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/Semantic_callgraph.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/Pdg.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/Sparecode.cmo \
src/gui/gui_parameters.cmo src/gui/gtk_helper.cmo src/gui/gtk_form.cmo src/gui/toolbox.cmo src/gui/source_viewer.cmo src/gui/pretty_source.cmo src/gui/source_manager.cmo src/gui/book_manager.cmo src/gui/warning_manager.cmo src/gui/filetree.cmo src/gui/launcher.cmo src/gui/menu_manager.cmo src/gui/history.cmo src/gui/design.cmo src/gui/analyses_manager.cmo src/gui/file_manager.cmo src/gui/project_manager.cmo src/gui/debug_manager.cmo src/gui/help_manager.cmo src/gui/property_navigator.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Metrics.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Syntactic_callgraph.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Value.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Occurrence.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/From.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Scope.cmo /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Slicing.cmo src/kernel/boot.cmo
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/gui -I +lablgtk2 src/kernel/gui_init.ml
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/metrics -I +lablgtk2 -for-pack Metrics src/metrics/metrics_gui.ml
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/metrics -I +lablgtk2 -for-pack Metrics src/metrics/register_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Metrics.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/metrics -pack \
\
src/metrics/metrics_parameters.cmx src/metrics/css_html.cmx src/metrics/metrics_base.cmx src/metrics/metrics_acsl.cmx src/metrics/metrics_cabs.cmx src/metrics/metrics_cilast.cmx src/metrics/metrics_coverage.cmx src/metrics/register.cmx src/metrics/metrics_gui.cmx src/metrics/register_gui.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/syntactic_callgraph -I +lablgtk2 -for-pack Syntactic_callgraph src/syntactic_callgraph/cg_viewer.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Syntactic_callgraph.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/syntactic_callgraph -pack \
\
src/syntactic_callgraph/options.cmx src/syntactic_callgraph/register.cmx src/syntactic_callgraph/cg_viewer.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/value -I +lablgtk2 -for-pack Value src/value/register_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Value.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/value -pack \
\
src/value/split_strategy.cmx src/value/value_parameters.cmx src/value/stop_at_nth.cmx src/value/value_perf.cmx src/value/value_util.cmx src/value/library_functions.cmx src/value/mark_noresults.cmx src/value/separate.cmx src/value/state_set.cmx src/value/state_imp.cmx src/value/value_results.cmx src/value/widen.cmx src/value/valarms.cmx src/value/warn.cmx src/value/eval_op.cmx src/value/eval_exprs.cmx src/value/non_linear.cmx src/value/initial_state.cmx src/value/locals_scoping.cmx src/value/builtins.cmx src/value/eval_terms.cmx src/value/eval_annots.cmx src/value/mem_exec.cmx src/value/function_args.cmx src/value/split_return.cmx src/value/eval_stmt.cmx src/value/per_stmt_slevel.cmx src/value/eval_slevel.cmx src/value/eval_funs.cmx src/value/register.cmx src/value/register_gui.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/occurrence -I +lablgtk2 -for-pack Occurrence src/occurrence/register_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Occurrence.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/occurrence -pack \
\
src/occurrence/options.cmx src/occurrence/register.cmx src/occurrence/register_gui.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/from -I +lablgtk2 -for-pack From src/from/from_register_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/From.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/from -pack \
\
src/from/from_parameters.cmx src/from/from_compute.cmx src/from/functionwise.cmx src/from/callwise.cmx src/from/path_dependencies.cmx src/from/mem_dependencies.cmx src/from/from_register.cmx src/from/from_register_gui.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/scope -I +lablgtk2 -for-pack Scope src/scope/dpds_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Scope.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/scope -pack \
\
src/scope/datascope.cmx src/scope/zones.cmx src/scope/defs.cmx src/scope/dpds_gui.cmx
ocamlopt.opt -c -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/slicing -I +lablgtk2 -for-pack Slicing src/slicing/register_gui.ml
mkdir -p /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui
ocamlopt.opt -o /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Slicing.cmx -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/slicing -pack \
\
src/slicing/slicingParameters.cmx src/slicing/slicingMacros.cmx src/slicing/slicingMarks.cmx src/slicing/slicingActions.cmx src/slicing/fct_slice.cmx src/slicing/printSlice.cmx src/slicing/slicingProject.cmx src/slicing/slicingTransform.cmx src/slicing/slicingCmds.cmx src/slicing/register.cmx src/slicing/register_gui.cmx
ocamlopt.opt -w +a-3-4-6-9-41-44-45-48 -annot -bin-annot -g -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/printer -I src/project -I src/type -I src/buckx -I src/gui -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I /build/frama-c-20150201+sodium+dfsg/lib/plugins -I lib -I +ocamlgraph -I /usr/lib/ocaml/zarith -compact -I src/gui -I +lablgtk2 -linkall -o bin/viewer.opt nums.cmxa unix.cmxa bigarray.cmxa str.cmxa dynlink.cmxa src/buckx/buckx_c.o graph.cmxa zarith.cmxa lablgtk.cmxa lablgnomecanvas.cmxa lablgtksourceview2.cmxa /usr/lib/ocaml/ocamlgraph/dgraph.cmx \
src/kernel/frama_c_init.cmx external/unmarshal.cmx external/unmarshal_nums.cmx external/sysutil.cmx external/unz.cmx src/lib/dynlink_common_interface.cmx src/type/structural_descr.cmx src/type/type.cmx src/type/descr.cmx src/lib/FCSet.cmx src/lib/FCMap.cmx src/lib/FCHashtbl.cmx src/lib/extlib.cmx src/lib/pretty_utils.cmx src/lib/hook.cmx src/lib/bag.cmx src/lib/indexer.cmx src/lib/vector.cmx src/lib/bitvector.cmx src/lib/qstack.cmx src/lib/integer.cmx src/lib/filepath.cmx src/kernel/config.cmx src/kernel/gui_init.cmx src/kernel/log.cmx src/kernel/cmdline.cmx src/project/project_skeleton.cmx src/type/datatype.cmx src/kernel/journal.cmx src/project/state.cmx src/project/state_dependency_graph.cmx src/project/state_topological.cmx src/project/state_selection.cmx src/project/project.cmx src/project/state_builder.cmx src/lib/binary_cache.cmx external/hptmap.cmx src/lib/hptset.cmx cil/src/cil_datatype.cmx src/kernel/typed_parameter.cmx src/kernel/dynamic.cmx src/kernel/parameter_category.cmx src/kernel/parameter_customize.cmx src/kernel/parameter_state.cmx src/kernel/parameter_builder.cmx src/kernel/plugin.cmx src/kernel/kernel.cmx src/kernel/emitter.cmx src/lib/floating_point.cmx src/lib/rangemap.cmx src/printer/printer_builder.cmx cil/src/cilmsg.cmx cil/ocamlutil/alpha.cmx cil/ocamlutil/cilconfig.cmx cil/src/cil_state_builder.cmx cil/src/logic/utf8_logic.cmx cil/src/machdeps.cmx cil/src/cil_const.cmx cil/src/logic/logic_env.cmx cil/src/escape.cmx cil/src/logic/logic_const.cmx cil/src/cil.cmx src/printer/cil_printer.cmx src/printer/cil_descriptive_printer.cmx cil/src/frontc/errorloc.cmx cil/src/frontc/cabs.cmx cil/src/frontc/cabs_debug.cmx cil/src/frontc/cabshelper.cmx cil/src/logic/logic_utils.cmx cil/src/logic/logic_builtin.cmx cil/src/logic/logic_print.cmx cil/src/logic/logic_parser.cmx cil/src/logic/logic_lexer.cmx cil/src/frontc/lexerhack.cmx cil/src/mergecil.cmx cil/src/rmtmps.cmx cil/src/logic/logic_typing.cmx cil/src/frontc/cprint.cmx cil/src/frontc/cabsvisit.cmx cil/src/frontc/cabs2cil.cmx cil/src/frontc/clexer.cmx cil/src/frontc/cparser.cmx cil/src/logic/logic_preprocess.cmx cil/src/frontc/frontc.cmx cil/src/ext/callgraph.cmx cil/src/ext/dataflow.cmx cil/src/ext/oneret.cmx cil/src/ext/cfg.cmx src/kernel/ast_info.cmx src/kernel/ast.cmx src/kernel/globals.cmx src/kernel/kernel_function.cmx src/logic/property.cmx src/logic/property_status.cmx src/logic/annotations.cmx src/printer/printer.cmx src/kernel/stmts_graph.cmx cil/src/ext/ordered_stmt.cmx cil/src/ext/dataflows.cmx cil/src/ext/dataflow2.cmx src/kernel/dominators.cmx src/logic/description.cmx src/logic/statuses_by_call.cmx src/kernel/alarms.cmx src/kernel/messages.cmx src/ai/abstract_interp.cmx src/ai/int_Base.cmx src/kernel/unicode.cmx src/misc/service_graph.cmx src/ai/ival.cmx src/misc/bit_utils.cmx src/ai/base.cmx src/ai/origin.cmx src/ai/map_Lattice.cmx src/ai/trace.cmx src/memory_state/value_messages.cmx src/kernel/cilE.cmx src/memory_state/tr_offset.cmx src/memory_state/offsetmap.cmx src/ai/int_Intervals.cmx src/memory_state/locations.cmx src/memory_state/precise_locs.cmx src/memory_state/lmap.cmx src/memory_state/lmap_bitwise.cmx src/memory_state/function_Froms.cmx src/memory_state/cvalue.cmx src/memory_state/widen_type.cmx src/kernel/visitor.cmx src/kernel/clone.cmx src/kernel/loop.cmx src/memory_state/inout_type.cmx src/pdg_types/pdgIndex.cmx src/pdg_types/pdgTypes.cmx src/pdg_types/pdgMarks.cmx src/slicing_types/slicingInternals.cmx src/slicing_types/slicingTypes.cmx src/memory_state/value_types.cmx src/kernel/db.cmx src/kernel/command.cmx src/kernel/task.cmx src/kernel/file.cmx src/kernel/exn_flow.cmx src/logic/translate_lightweight.cmx src/kernel/unroll_loops.cmx src/misc/filter.cmx src/kernel/special_hooks.cmx src/logic/logic_interp.cmx src/logic/infer_annotations.cmx src/logic/allocates.cmx \
/build/frama-c-20150201+sodium+dfsg/lib/plugins/RteGen.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/Users.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/Constant_Propagation.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/Postdominators.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/Inout.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/Semantic_callgraph.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/Pdg.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/Sparecode.cmx \
src/gui/gui_parameters.cmx src/gui/gtk_helper.cmx src/gui/gtk_form.cmx src/gui/toolbox.cmx src/gui/source_viewer.cmx src/gui/pretty_source.cmx src/gui/source_manager.cmx src/gui/book_manager.cmx src/gui/warning_manager.cmx src/gui/filetree.cmx src/gui/launcher.cmx src/gui/menu_manager.cmx src/gui/history.cmx src/gui/design.cmx src/gui/analyses_manager.cmx src/gui/file_manager.cmx src/gui/project_manager.cmx src/gui/debug_manager.cmx src/gui/help_manager.cmx src/gui/property_navigator.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Metrics.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Syntactic_callgraph.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Value.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Occurrence.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/From.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Scope.cmx /build/frama-c-20150201+sodium+dfsg/lib/plugins/gui/Slicing.cmx src/kernel/boot.cmx
/srv/reproducible-results/rbuild-debian-TT7jmD3l/tmp.DtOy4lrAjV: 44.0% -- replaced with /srv/reproducible-results/rbuild-debian-TT7jmD3l/tmp.DtOy4lrAjV.gz
Terminated
Sun 24 Jan 16:35:30 UTC 2016 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-rRU2avxN, which will now be removed.
Sun 24 Jan 16:35:30 UTC 2016 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-rRU2avxN, which will now be removed.
INFO: Starting at 2016-01-24 16:35:30.306254
FATAL: null
java.lang.NullPointerException
at hudson.plugins.build_timeout.BuildTimeoutWrapper$EnvironmentImpl.tearDown(BuildTimeoutWrapper.java:199)
at hudson.model.Build$BuildExecution.doRun(Build.java:173)
at hudson.model.AbstractBuild$AbstractBuildExecution.run(AbstractBuild.java:537)
at hudson.model.Run.execute(Run.java:1741)
at hudson.model.FreeStyleBuild.run(FreeStyleBuild.java:43)
at hudson.model.ResourceController.execute(ResourceController.java:98)
at hudson.model.Executor.run(Executor.java:408)
More information about the Qa-jenkins-scm
mailing list