Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 168
    • Issues 168
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
    • Model experiments
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #1826

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

Attachments

  • Untitled_Document
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking