Error: Unbound module Z
ID0001554: This issue was created automatically from Mantis Issue 1554. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001554 | Frama-C | Kernel | public | 2013-11-08 | 2013-12-17 |
| Reporter | aogrcs | Assigned To | yakobowski | Resolution | unable to reproduce |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Fluorine-20130601 | Target Version | - | Fixed in Version | - |
Description :
/frama-c-Fluorine-20130601$ ./configure
configure: ******************
configure: * CONFIGURE MAKE *
configure: ******************
checking for make... make
make version is GNU Make 3.81: Good!
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
OCaml version is 3.12.1: good!
ocaml library path is /usr/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version and standard library... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version and standard library... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version and standard library... ok
configure: *******************************************
configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
configure: *******************************************
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for /usr/lib/ocaml/ocamlgraph/graph.cmx... yes
configure: OcamlGraph 1.8.1 is incompatible with Frama-C.
configure: switching to OcamlGraph provided by Frama-C
checking for ocamlgraph... yes
checking for ocamlgraph.tar.gz... yes
configure: configuring ocamlgraph...
configure: ******************************************
configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
configure: ******************************************
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for ocamlmktop... ocamlmktop
checking for ocamlcp... ocamlcp
checking for otags... otags
checking for ocamlfind... ocamlfind
OCamlfind detected and enabled
checking for /usr/local/lib/ocaml/3.12.1/zarith/zarith.cmxa... yes
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
Default preprocessor is gcc -C -E -I..
configure: ***************************
configure: * WISHED FRAMA-C PLUG-INS *
configure: ***************************
checking for src/constant_propagation... yes
semantic_constant_folding... yes
checking for src/from... yes
from_analysis... yes
checking for src/gui... yes
gui... yes
checking for src/impact... yes
impact... yes
checking for src/inout... yes
inout... yes
checking for src/metrics... yes
metrics... yes
checking for src/occurrence... yes
occurrence... yes
checking for src/pdg... yes
pdg... yes
checking for src/postdominators... yes
postdominators... yes
checking for src/rte... yes
rte_annotation... yes
checking for src/scope... yes
scope... yes
checking for src/semantic_callgraph... yes
semantic_callgraph... yes
checking for src/slicing... yes
slicing... yes
checking for src/sparecode... yes
sparecode... yes
checking for src/syntactic_callgraph... yes
syntactic_callgraph... yes
checking for src/users... yes
users... yes
checking for src/value... yes
value_analysis... yes
checking for src/aorai/Makefile.in... yes
aorai... yes
checking for ltl2ba... yes
checking for src/obfuscator/Makefile.in... yes
obfuscator... yes
checking for src/report/Makefile.in... yes
report... yes
checking for src/security_slicing/Makefile.in... yes
security_slicing... yes
checking for src/wp/Makefile.in... yes
wp... yes
checking for coqc... no
configure: rerun configure to make wp using coq 8.4
configure: *******************************************************
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure: *******************************************************
Ocamlfind -> using /usr/local/lib/ocaml/3.12.1/lablgtk2
checking for /usr/local/lib/ocaml/3.12.1/lablgtk2/lablgtk.cmxa... yes
checking for /usr/local/lib/ocaml/3.12.1/lablgtk2/lablgtksourceview2.cmxa... yes
checking for /usr/local/lib/ocaml/3.12.1/lablgtk2/lablgnomecanvas.cmxa... yes
checking for dot... yes
checking for /usr/lib/ocaml/dynlink.cmxa... yes
native dynlink works fine. Great.
configure: *************************************
configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
configure: *************************************
configure: *********************
configure: * CREATING MAKEFILE *
configure: *********************
configure: creating ./config.status
config.status: creating src/aorai/Makefile
config.status: creating src/obfuscator/Makefile
config.status: creating src/report/Makefile
config.status: creating src/security_slicing/Makefile
config.status: creating src/wp/Makefile
config.status: creating share/Makefile.config
configure: *******************************
configure: * SUMMARY: PLUG-INS AVAILABLE *
configure: *******************************
configure: semantic_constant_folding: yes
configure: from_analysis: yes
configure: gui: yes
configure: impact: yes
configure: inout: yes
configure: metrics: yes
configure: occurrence: yes
configure: pdg: yes
configure: postdominators: yes
configure: rte_annotation: yes
configure: scope: yes
configure: semantic_callgraph: yes
configure: slicing: yes
configure: sparecode: yes
configure: syntactic_callgraph: yes
configure: users: yes
configure: value_analysis: yes
configure: aorai: yes, dynamic
configure: obfuscator: yes, dynamic
configure: report: yes, dynamic
configure: security_slicing: yes, dynamic
configure: wp: yes, dynamic
talos@talos-virtual-machine:/frama-c-Fluorine-20130601$ sudo make
[sudo] password for talos:
Generating src/lib/dynlink_common_interface.ml
Generating src/kernel/config.ml
Generating ptests/ptests_config.ml
Generating share/Makefile.kernel
Generating .depend
Building ocamlgraph
make[1]: Entering directory /home/talos/frama-c-Fluorine-20130601/ocamlgraph' sed -e s/VERSION/1.8.3/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \ META.in > META rm -f src/version.ml echo "let version = \""1.8.3"\"" > src/version.ml echo "let date = \""date"\"" >> src/version.ml rm -f .depend ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\ lib/*.ml lib/*.mli \ src/*.ml src/*.mli \ editor/*.mli editor/*.ml \ view_graph/*.mli view_graph/*.ml \ dgraph/*.mli dgraph/*.ml > .depend make[1]: Leaving directory /home/talos/frama-c-Fluorine-20130601/ocamlgraph'
make[1]: Entering directory /home/talos/frama-c-Fluorine-20130601/ocamlgraph' ocamlc.opt -c -I src -I lib -g -dtypes src/version.ml ocamlc.opt -I src -I lib -pack -g -o graph.cmo src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmo lib/heap.cmo lib/bitv.cmo src/version.cmo src/util.cmo src/blocks.cmo src/persistent.cmo src/imperative.cmo src/delaunay.cmo src/builder.cmo src/classic.cmo src/rand.cmo src/oper.cmo src/components.cmo src/path.cmo src/nonnegative.cmo src/traverse.cmo src/coloring.cmo src/topological.cmo src/kruskal.cmo src/flow.cmo src/dominator.cmo src/graphviz.cmo src/gml.cmo src/dot_parser.cmo src/dot_lexer.cmo src/dot.cmo src/pack.cmo src/gmap.cmo src/minsep.cmo src/cliquetree.cmo src/mcs_m.cmo src/md.cmo src/strat.cmo src/fixpoint.cmo src/leaderlist.cmo src/contraction.cmo src/graphml.cmo src/merge.cmo ocamlc.opt -I src -I lib -a -g -o graph.cma graph.cmo ocamlopt.opt -c -I src -I lib -for-pack Graph src/version.ml ocamlopt.opt -I src -I lib -pack -o graph.cmx src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx src/version.cmx src/util.cmx src/blocks.cmx src/persistent.cmx src/imperative.cmx src/delaunay.cmx src/builder.cmx src/classic.cmx src/rand.cmx src/oper.cmx src/components.cmx src/path.cmx src/nonnegative.cmx src/traverse.cmx src/coloring.cmx src/topological.cmx src/kruskal.cmx src/flow.cmx src/dominator.cmx src/graphviz.cmx src/gml.cmx src/dot_parser.cmx src/dot_lexer.cmx src/dot.cmx src/pack.cmx src/gmap.cmx src/minsep.cmx src/cliquetree.cmx src/mcs_m.cmx src/md.cmx src/strat.cmx src/fixpoint.cmx src/leaderlist.cmx src/contraction.cmx src/graphml.cmx src/merge.cmx ocamlopt.opt -I src -I lib -a -o graph.cmxa graph.cmx ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . view_graph/viewGraph_core.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . view_graph/viewGraph_core.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . view_graph/viewGraph_select.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . view_graph/viewGraph_select.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . view_graph/viewGraph_utils.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . view_graph/viewGraph_utils.ml ocamlc.opt -o view_graph/viewgraph.cmo -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . -pack view_graph/viewGraph_core.cmo view_graph/viewGraph_select.cmo view_graph/viewGraph_utils.cmo ocamlc.opt -g -o view_graph/viewgraph.byte -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . \ lablgtk.cma gtkInit.cmo lablgnomecanvas.cma unix.cma graph.cma view_graph/viewgraph.cmo ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . -for-pack Viewgraph view_graph/viewGraph_core.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . -for-pack Viewgraph view_graph/viewGraph_select.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . -for-pack Viewgraph view_graph/viewGraph_utils.ml ocamlopt.opt -o view_graph/viewgraph.cmx -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . -pack view_graph/viewGraph_core.cmx view_graph/viewGraph_select.cmx view_graph/viewGraph_utils.cmx ocamlopt.opt -o view_graph/viewgraph.opt -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I view_graph -I src -I lib -I . \ lablgtk.cmxa gtkInit.cmx lablgnomecanvas.cmxa unix.cmxa graph.cmxa view_graph/viewgraph.cmx ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/xDotDraw.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/xDotDraw.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/xDot.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/xDot.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphTreeLayout.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphTreeLayout.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphSubTree.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphSubTree.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphTreeModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphTreeModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphViewItem.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphViewItem.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphView.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphView.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphRandModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphRandModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphContainer.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphContainer.ml ocamlc.opt -o dgraph/dgraph.cmo -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -pack dgraph/xDotDraw.cmo dgraph/xDot.cmo dgraph/dGraphModel.cmo dgraph/dGraphTreeLayout.cmo dgraph/dGraphSubTree.cmo dgraph/dGraphTreeModel.cmo dgraph/dGraphViewItem.cmo dgraph/dGraphView.cmo dgraph/dGraphRandModel.cmo dgraph/dGraphContainer.cmo ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphViewer.ml ocamlc.opt -g -o dgraph/dgraph.byte -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . \ lablgtk.cma gtkInit.cmo lablgnomecanvas.cma graph.cma dgraph/dgraph.cmo dgraph/dGraphViewer.cmo ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/xDotDraw.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/xDot.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphModel.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphTreeLayout.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphSubTree.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphTreeModel.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphViewItem.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphView.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphRandModel.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphContainer.ml ocamlopt.opt -o dgraph/dgraph.cmx -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -pack dgraph/xDotDraw.cmx dgraph/xDot.cmx dgraph/dGraphModel.cmx dgraph/dGraphTreeLayout.cmx dgraph/dGraphSubTree.cmx dgraph/dGraphTreeModel.cmx dgraph/dGraphViewItem.cmx dgraph/dGraphView.cmx dgraph/dGraphRandModel.cmx dgraph/dGraphContainer.cmx ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphViewer.ml ocamlopt.opt -o dgraph/dgraph.opt -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I dgraph -I src -I lib -I . \ lablgtk.cmxa gtkInit.cmx lablgnomecanvas.cmxa graph.cmxa dgraph/dgraph.cmx dgraph/dGraphViewer.cmx ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_hyper.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_graph.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_draw.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_display.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_main.ml ocamlc.opt -g -o editor/editor.byte -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . \ lablgtk.cma lablgnomecanvas.cma unix.cma graph.cma editor/ed_hyper.cmo editor/ed_graph.cmo editor/ed_draw.cmo editor/ed_display.cmo editor/ed_main.cmo ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_hyper.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_graph.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_draw.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_display.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_main.ml ocamlopt.opt -o editor/editor.opt -I /usr/local/lib/ocaml/3.12.1/lablgtk2 -I +threads -I editor -I src -I lib -I . \ lablgtk.cmxa lablgnomecanvas.cmxa unix.cmxa graph.cmxa editor/ed_hyper.cmx editor/ed_graph.cmx editor/ed_draw.cmx editor/ed_display.cmx editor/ed_main.cmx make[1]: Leaving directory /home/talos/frama-c-Fluorine-20130601/ocamlgraph'
Copying to lib/graph.cmi
Copying to lib/graph.cmo
Copying to lib/graph.cmx
Copying to lib/graph.o
Copying to lib/dgraph.cmi
Copying to lib/dgraph.cmo
Copying to lib/dgraph.cmx
Copying to lib/dgraph.o
Ocamlc external/unmarshal.cmi
Ocamlc external/unmarshal.cmo
Ocamlc external/unmarshal_nums.cmi
Ocamlc external/unmarshal_nums.cmo
Ocamlc external/sysutil.cmi
Ocamlc external/sysutil.cmo
Ocamlc external/unz.cmi
Ocamlc external/unz.cmo
File "external/unz.ml", line 39, characters 10-19:
Error: Unbound module Z
make: *** [external/unz.cmo] Error 2