=> Bootstrap dependency digest>=20010302: found digest-20160304 ===> Skipping vulnerability checks. WARNING: No /var/db/pkg/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'. ===> Building for frama-c-20120901nb37 Makefile:2428: .depend: No such file or directory Generating src/lib/my_bigint.ml Generating src/lib/printexc_common_interface.ml Building ocamlgraph Generating src/lib/map_common_interface.ml Generating src/lib/dynlink_common_interface.ml Ocamlyacc cil/src/frontc/cparser.ml Ocamllex cil/src/logic/logic_lexer.ml Generating src/lib/map_common_interface.mli Ocamllex cil/src/logic/logic_preprocess.ml Ocamllex cil/src/frontc/clexer.ml Ocamlyacc cil/src/logic/logic_parser.ml Generating src/kernel/config.ml Generating share/Makefile.dynamic_config 118 states, 565 transitions, table size 2968 bytes 2787 additional bytes used for bindings gmake[1]: Entering directory '/data/scratch/devel/frama-c/work/frama-c-Oxygen-20120901/ocamlgraph' sed -e s/VERSION/1.8.2+svn/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \ META.in > META 142 states, 1819 transitions, table size 8128 bytes 1897 additional bytes used for bindings Generating ptests/ptests_config.ml Generating share/Makefile.kernel Generating share/frama-c.rc 1 shift/reduce conflict. Generating lib/plugins/Metrics.mli Generating lib/plugins/gui/Metrics.mli Generating lib/plugins/Syntactic_callgraph.mli Generating lib/plugins/gui/Syntactic_callgraph.mli rm -f src/version.ml 357 states, 4346 transitions, table size 19526 bytes 3185 additional bytes used for bindings Generating lib/plugins/Value.mli echo "let version = \""1.8.2+svn"\"" > src/version.ml Generating lib/plugins/Occurrence.mli Generating lib/plugins/gui/Value.mli Generating lib/plugins/gui/Occurrence.mli echo "let date = \""`date`"\"" >> src/version.ml Generating lib/plugins/RteGen.mli Generating lib/plugins/From.mli Generating lib/plugins/gui/From.mli Generating lib/plugins/Users.mli 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 Generating lib/plugins/Constant_Propagation.mli Generating lib/plugins/Inout.mli Generating lib/plugins/Postdominators.mli Generating lib/plugins/Semantic_callgraph.mli Generating lib/plugins/Impact.mli Generating lib/plugins/gui/Impact.mli Generating lib/plugins/Pdg.mli Generating lib/plugins/Scope.mli Generating lib/plugins/gui/Scope.mli Generating lib/plugins/Sparecode.mli Generating lib/plugins/Obfuscator.mli ocamlc.opt -c -I src -I lib -g -dtypes src/sig.mli Generating lib/plugins/Report.mli Generating lib/plugins/Aorai.mli Generating lib/plugins/Security_slicing.mli Generating lib/plugins/gui/Security_slicing.mli Generating lib/plugins/Wp.mli Generating lib/plugins/gui/Wp.mli ocamlc.opt -c -I src -I lib -g -dtypes src/sig_pack.mli Ocamldep src/metrics/.depend Ocamldep src/syntactic_callgraph/.depend ocamlc.opt -c -I src -I lib -g -dtypes src/dot_ast.mli Ocamldep src/value/.depend Ocamldep src/occurrence/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.mli Ocamldep src/rte/.depend Ocamldep src/from/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.ml Ocamldep src/users/.depend Ocamldep src/constant_propagation/.depend Ocamldep src/postdominators/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.mli Ocamldep src/inout/.depend Ocamldep src/semantic_callgraph/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.ml Ocamldep src/impact/.depend Ocamldep src/pdg/.depend File "lib/heap.ml", line 54, characters 13-25: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/heap.ml", line 61, characters 16-28: Warning 3: deprecated: Array.create Use Array.make instead. ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.mli Ocamldep src/scope/.depend Ocamldep src/sparecode/.depend Ocamldep src/slicing/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.ml Ocamldep src/aorai/.depend Ocamldep src/obfuscator/.depend Ocamldep src/report/.depend File "lib/bitv.ml", line 51, characters 15-27: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 68, characters 25-37: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 71, characters 12-24: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 113, characters 11-13: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 118, characters 11-13: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 205, characters 13-15: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 205, characters 25-27: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 206, characters 13-15: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 206, characters 25-27: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 214, characters 13-15: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 214, characters 24-26: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 289, characters 13-15: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 289, characters 24-26: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 368, characters 10-22: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 380, characters 10-22: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 392, characters 10-22: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 401, characters 10-22: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 464, characters 27-39: Warning 3: deprecated: String.set Use Bytes.set instead. Ocamldep src/security_slicing/.depend Ocamldep src/wp/.depend ocamlc.opt -c -I src -I lib -g -dtypes src/version.ml ocamlc.opt -c -I src -I lib -g -dtypes src/util.mli ocamlc.opt -c -I src -I lib -g -dtypes src/util.ml ocamlc.opt -c -I src -I lib -g -dtypes src/blocks.ml ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.mli ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.ml ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.mli ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.ml ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.mli ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.ml File "src/delaunay.ml", line 260, characters 19-31: Warning 3: deprecated: Array.create Use Array.make instead. ocamlc.opt -c -I src -I lib -g -dtypes src/builder.mli ocamlc.opt -c -I src -I lib -g -dtypes src/builder.ml ocamlc.opt -c -I src -I lib -g -dtypes src/classic.mli ocamlc.opt -c -I src -I lib -g -dtypes src/classic.ml ocamlc.opt -c -I src -I lib -g -dtypes src/rand.mli ocamlc.opt -c -I src -I lib -g -dtypes src/rand.ml ocamlc.opt -c -I src -I lib -g -dtypes src/oper.mli ocamlc.opt -c -I src -I lib -g -dtypes src/oper.ml ocamlc.opt -c -I src -I lib -g -dtypes src/components.mli ocamlc.opt -c -I src -I lib -g -dtypes src/components.ml ocamlc.opt -c -I src -I lib -g -dtypes src/path.mli ocamlc.opt -c -I src -I lib -g -dtypes src/path.ml ocamlc.opt -c -I src -I lib -g -dtypes src/nonnegative.mli ocamlc.opt -c -I src -I lib -g -dtypes src/nonnegative.ml ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.mli ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.ml ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.mli ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.ml ocamlc.opt -c -I src -I lib -g -dtypes src/topological.mli ocamlc.opt -c -I src -I lib -g -dtypes src/topological.ml ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.mli ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.ml ocamlc.opt -c -I src -I lib -g -dtypes src/flow.mli ocamlc.opt -c -I src -I lib -g -dtypes src/flow.ml File "src/flow.ml", line 53, characters 54-56: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/flow.ml", line 137, characters 6-8: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/flow.ml", line 136, characters 44-46: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/flow.ml", line 137, characters 47-49: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/flow.ml", line 141, characters 40-42: Warning 3: deprecated: Pervasives.or Use (||) instead. ocamlc.opt -c -I src -I lib -g -dtypes src/dominator.mli ocamlc.opt -c -I src -I lib -g -dtypes src/dominator.ml ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.mli ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.ml ocamlc.opt -c -I src -I lib -g -dtypes src/gml.mli ocamlc.opt -c -I src -I lib -g -dtypes src/gml.ml File "src/gml.ml", line 418, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. File "src/gml.ml", line 455, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. ocamlc.opt -c -I src -I lib -g -dtypes src/dot_parser.mli ocamlc.opt -c -I src -I lib -g -dtypes src/dot_parser.ml ocamlc.opt -c -I src -I lib -g -dtypes src/dot_lexer.ml File "src/dot_lexer.mll", line 39, characters 21-37: Warning 3: deprecated: String.lowercase Use String.lowercase_ascii instead. ocamlc.opt -c -I src -I lib -g -dtypes src/dot.mli ocamlc.opt -c -I src -I lib -g -dtypes src/dot.ml ocamlc.opt -c -I src -I lib -g -dtypes src/pack.mli ocamlc.opt -c -I src -I lib -g -dtypes src/pack.ml ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.mli ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.ml ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.mli ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.ml ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.mli ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.ml ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.mli ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.ml ocamlc.opt -c -I src -I lib -g -dtypes src/md.mli ocamlc.opt -c -I src -I lib -g -dtypes src/md.ml ocamlc.opt -c -I src -I lib -g -dtypes src/strat.mli ocamlc.opt -c -I src -I lib -g -dtypes src/strat.ml ocamlc.opt -c -I src -I lib -g -dtypes src/fixpoint.mli ocamlc.opt -c -I src -I lib -g -dtypes src/fixpoint.ml ocamlc.opt -c -I src -I lib -g -dtypes src/leaderlist.mli ocamlc.opt -c -I src -I lib -g -dtypes src/leaderlist.ml ocamlc.opt -c -I src -I lib -g -dtypes src/contraction.mli ocamlc.opt -c -I src -I lib -g -dtypes src/contraction.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 ocamlc.opt -I src -I lib -a -g -o graph.cma graph.cmo ocamlopt.opt -c -I src -I lib -for-pack Graph lib/unionfind.ml ocamlopt.opt -c -I src -I lib -for-pack Graph lib/heap.ml File "lib/heap.ml", line 54, characters 13-25: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/heap.ml", line 61, characters 16-28: Warning 3: deprecated: Array.create Use Array.make instead. ocamlopt.opt -c -I src -I lib -for-pack Graph lib/bitv.ml File "lib/bitv.ml", line 51, characters 15-27: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 68, characters 25-37: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 71, characters 12-24: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 113, characters 11-13: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 118, characters 11-13: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 205, characters 13-15: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 205, characters 25-27: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 206, characters 13-15: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 206, characters 25-27: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 214, characters 13-15: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 214, characters 24-26: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 289, characters 13-15: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 289, characters 24-26: Warning 3: deprecated: Pervasives.or Use (||) instead. File "lib/bitv.ml", line 368, characters 10-22: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 380, characters 10-22: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 392, characters 10-22: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 401, characters 10-22: Warning 3: deprecated: Array.create Use Array.make instead. File "lib/bitv.ml", line 464, characters 27-39: Warning 3: deprecated: String.set Use Bytes.set instead. ocamlopt.opt -c -I src -I lib -for-pack Graph src/version.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/util.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/blocks.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/persistent.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/imperative.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/delaunay.ml File "src/delaunay.ml", line 260, characters 19-31: Warning 3: deprecated: Array.create Use Array.make instead. ocamlopt.opt -c -I src -I lib -for-pack Graph src/builder.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/classic.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/rand.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/oper.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/components.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/path.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/nonnegative.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/traverse.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/coloring.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/topological.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/kruskal.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/flow.ml File "src/flow.ml", line 53, characters 54-56: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/flow.ml", line 137, characters 6-8: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/flow.ml", line 136, characters 44-46: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/flow.ml", line 137, characters 47-49: Warning 3: deprecated: Pervasives.or Use (||) instead. File "src/flow.ml", line 141, characters 40-42: Warning 3: deprecated: Pervasives.or Use (||) instead. ocamlopt.opt -c -I src -I lib -for-pack Graph src/dominator.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphviz.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/gml.ml File "src/gml.ml", line 418, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. File "src/gml.ml", line 455, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_parser.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_lexer.ml File "src/dot_lexer.mll", line 39, characters 21-37: Warning 3: deprecated: String.lowercase Use String.lowercase_ascii instead. ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/pack.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/gmap.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/minsep.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/cliquetree.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/mcs_m.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/md.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/strat.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/fixpoint.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/leaderlist.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/contraction.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 ocamlopt.opt -I src -I lib -a -o graph.cmxa graph.cmx ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I view_graph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I view_graph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I view_graph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I view_graph -I src -I lib -I . view_graph/viewGraph_utils.ml ocamlc.opt -o view_graph/viewgraph.cmo -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/xDotDraw.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/xDotDraw.ml File "dgraph/xDotDraw.ml", line 78, characters 38-52: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "dgraph/xDotDraw.ml", line 221, characters 14-29: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "dgraph/xDotDraw.ml", line 230, characters 14-31: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/xDot.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/xDot.ml File "dgraph/xDot.ml", line 102, characters 38-52: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "dgraph/xDot.ml", line 149, characters 15-30: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphTreeLayout.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphTreeLayout.ml File "dgraph/dGraphTreeLayout.ml", line 517, characters 12-29: Warning 26: unused variable cut_corners_array. ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphSubTree.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphSubTree.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphTreeModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphTreeModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphViewItem.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphViewItem.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphView.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphView.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphRandModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphRandModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphContainer.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphContainer.ml ocamlc.opt -o dgraph/dgraph.cmo -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . dgraph/dGraphViewer.ml ocamlc.opt -g -o dgraph/dgraph.byte -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/xDotDraw.ml File "dgraph/xDotDraw.ml", line 78, characters 38-52: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "dgraph/xDotDraw.ml", line 221, characters 14-29: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "dgraph/xDotDraw.ml", line 230, characters 14-31: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/xDot.ml File "dgraph/xDot.ml", line 102, characters 38-52: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "dgraph/xDot.ml", line 149, characters 15-30: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphModel.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphTreeLayout.ml File "dgraph/dGraphTreeLayout.ml", line 517, characters 12-29: Warning 26: unused variable cut_corners_array. ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphSubTree.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphTreeModel.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphViewItem.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphView.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphRandModel.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphContainer.ml ocamlopt.opt -o dgraph/dgraph.cmx -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I dgraph -I src -I lib -I . -for-pack Dgraph dgraph/dGraphViewer.ml ocamlopt.opt -o dgraph/dgraph.opt -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_main.ml ocamlc.opt -g -o editor/editor.byte -I /usr/pkg/lib/ocaml/site-lib/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/pkg/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_hyper.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_graph.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_draw.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_display.ml ocamlopt.opt -c -I src -I lib -I /usr/pkg/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I src -I lib -I . editor/ed_main.ml ocamlopt.opt -o editor/editor.opt -I /usr/pkg/lib/ocaml/site-lib/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 gmake[1]: Leaving directory '/data/scratch/devel/frama-c/work/frama-c-Oxygen-20120901/ocamlgraph' Copying to lib/graph.cmi Copying to lib/graph.o Copying to lib/graph.cmx Copying to lib/graph.cmo Copying to lib/dgraph.cmi Copying to lib/dgraph.cmx Copying to lib/dgraph.o Copying to lib/dgraph.cmo Generating .depend Ocamlc src/lib/printexc_common_interface.cmi Ocamlc src/lib/dynlink_common_interface.cmi Ocamlc external/unmarshal.cmi Ocamlc src/lib/map_common_interface.cmi Ocamlc src/lib/extlib.cmi Ocamlc src/lib/hashtbl_common_interface.cmi Ocamlc src/lib/hook.cmi Ocamlc src/lib/bitvector.cmi Ocamlc src/kernel/config.cmi Ocamlc src/lib/bag.cmi Ocamlc src/lib/qstack.cmi Ocamlc src/kernel/floating_point.cmi Ocamlc src/lib/pretty_utils.cmi Ocamlc src/kernel/log.cmi Ocamlc src/lib/indexer.cmi Ocamlc src/kernel/cmdline.cmi Ocamlc cil/src/cilmsg.cmi File "external/unmarshal.mli", line 74, characters 0-1970: Warning 50: unattached documentation comment (ignored) File "external/unmarshal.mli", line 122, characters 0-118: Warning 50: unattached documentation comment (ignored) File "external/unmarshal.mli", line 128, characters 0-307: Warning 50: unattached documentation comment (ignored) File "external/unmarshal.mli", line 136, characters 0-174: Warning 50: unattached documentation comment (ignored) Ocamlc cil/ocamlutil/alpha.cmi File "src/lib/pretty_utils.mli", line 65, characters 0-344: Warning 50: unattached documentation comment (ignored) File "src/lib/indexer.mli", line 38, characters 22-81: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 39, characters 29-51: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 40, characters 28-68: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 44, characters 26-48: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 45, characters 29-51: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 46, characters 39-53: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 52, characters 40-54: Warning 50: ambiguous documentation comment Ocamlc cil/src/logic/logic_preprocess.cmi Ocamlc src/kernel/unicode.cmi Ocamlc cil/src/logic/utf8_logic.cmi Ocamlc cil/src/escape.cmi Ocamlc cil/src/cilglobopt.cmo Ocamlc src/kernel/command.cmi File "src/kernel/log.mli", line 76, characters 2-94: Warning 50: unattached documentation comment (ignored) File "src/kernel/log.mli", line 80, characters 2-98: Warning 50: unattached documentation comment (ignored) File "src/kernel/log.mli", line 104, characters 4-128: Warning 50: ambiguous documentation comment File "src/kernel/cmdline.mli", line 170, characters 9-41: Warning 50: ambiguous documentation comment File "src/kernel/cmdline.mli", line 171, characters 17-49: Warning 50: ambiguous documentation comment File "src/kernel/cmdline.mli", line 173, characters 4-368: Warning 50: ambiguous documentation comment Ocamlc lib/plugins/Value.cmi Ocamlc src/kernel/special_hooks.cmi Ocamlc src/kernel/task.cmi Ocamlc src/memory_state/bit_model_access.cmi Ocamlc lib/plugins/From.cmi Ocamlc src/metrics/metrics_cabs.cmi Ocamlc src/metrics/css_html.cmo Ocamlc lib/plugins/Metrics.cmi Ocamlc lib/plugins/Syntactic_callgraph.cmi Ocamlc src/logic/infer_annotations.cmi Ocamlc src/value/builtins_malloc.cmi File "src/kernel/task.mli", line 44, characters 34-66: Warning 50: ambiguous documentation comment File "src/kernel/task.mli", line 103, characters 57-77: Warning 50: ambiguous documentation comment File "src/kernel/task.mli", line 104, characters 51-75: Warning 50: ambiguous documentation comment File "src/kernel/task.mli", line 105, characters 54-77: Warning 50: ambiguous documentation comment File "src/kernel/task.mli", line 198, characters 31-65: Warning 50: ambiguous documentation comment Ocamlc src/value/local_slevel_compute.cmi File "src/kernel/command.mli", line 51, characters 2-59: Warning 50: ambiguous documentation comment File "src/kernel/command.mli", line 53, characters 2-45: Warning 50: ambiguous documentation comment File "src/kernel/command.mli", line 55, characters 2-59: Warning 50: ambiguous documentation comment Ocamlc src/value/eval_funs.cmi Ocamlc lib/plugins/Occurrence.cmi Ocamlc lib/plugins/Postdominators.cmi Ocamlc lib/plugins/RteGen.cmi Ocamlc src/from/callwise.cmi Ocamlc src/from/from_register.cmi Ocamlc src/from/functionwise.cmi Ocamlc lib/plugins/Users.cmi Ocamlc src/constant_propagation/register.cmi Ocamlc lib/plugins/Semantic_callgraph.cmi Ocamlc src/inout/access_path.cmi Ocamlc lib/plugins/Constant_Propagation.cmi Ocamlc src/scope/zones.cmi Ocamlc lib/plugins/Inout.cmi Ocamlc src/scope/defs.cmi Ocamlc lib/plugins/Scope.cmi Ocamlc src/buckx/mybigarray.o Ocamlc lib/plugins/Sparecode.cmi Ocamlc src/aorai/bool3.cmi Ocamlc src/buckx/buckx_c.o Ocamlc src/aorai/ltlast.cmi Ocamlc lib/plugins/Obfuscator.cmi Ocamlc lib/plugins/Aorai.cmi Ocamlc lib/plugins/Impact.cmi Ocamlc src/aorai/aorai_dataflow.cmi Ocamlc lib/plugins/Report.cmi Ocamlc src/wp/rformat.cmi Ocamlc lib/plugins/Security_slicing.cmi Ocamlc src/report/register.cmi Ocamlc src/wp/Warning.cmi Ocamlc src/wp/VCS.cmi Compiling Qed (byte.opt) Ocamlc src/wp/script.cmi Ocamlc src/wp/wpReport.cmi Ocamlc src/wp/ProverTask.cmi Ocamlc src/wp/kreal.cmi Ocamlc lib/plugins/Wp.cmi Ocamlopt external/unmarshal.cmx Ocamlopt src/lib/printexc_common_interface.cmx Ocamlopt src/lib/map_common_interface.cmx Ocamlopt src/lib/hashtbl_common_interface.cmx Ocamlopt src/lib/dynlink_common_interface.cmx Ocamlopt src/lib/pretty_utils.cmx 43 states, 639 transitions, table size 2814 bytes File "external/unmarshal.ml", line 174, characters 4-21: Warning 3: deprecated: String.unsafe_set Ocamlopt src/lib/hook.cmx File "external/unmarshal.ml", line 280, characters 10-23: Warning 3: deprecated: String.create Use Bytes.create instead. Ocamlopt src/lib/indexer.cmx File "external/unmarshal.ml", line 295, characters 14-25: Warning 3: deprecated: String.copy File "external/unmarshal.ml", line 298, characters 6-18: Warning 3: deprecated: String.set Use Bytes.set instead. File "src/wp/ProverTask.mli", line 46, characters 31-66: Warning 50: ambiguous documentation comment File "src/wp/ProverTask.mli", line 47, characters 19-56: Warning 50: ambiguous documentation comment File "src/wp/ProverTask.mli", line 48, characters 21-61: Warning 50: ambiguous documentation comment Ocamlopt src/lib/bag.cmx File "external/unmarshal.ml", line 544, characters 22-35: Warning 3: deprecated: String.create Use Bytes.create instead. Ocamlopt src/lib/bitvector.cmx Ocamlopt src/lib/qstack.cmx Ocamlopt src/kernel/log.cmx Ocamlopt src/kernel/config.cmx src/buckx/buckx_c.c:38:10:Ocamlopt cil/src/logic/utf8_logic.cmx warning: 'FE_DOWNWARD' macro redefined [-Wmacro-redefined] # define FE_DOWNWARD FP_RM ^ /usr/include/machine/fenv.h:74:9: note: previous definition is here #define FE_DOWNWARD 0x400 /* 010000000000 */ ^ src/buckx/buckx_c.c:39:10: warning: 'FE_UPWARD' macro redefined [-Wmacro-redefined] # define FE_UPWARD FP_RP ^ /usr/include/machine/fenv.h:75:9: note: previous definition is here #define FE_UPWARD 0x800 /* 100000000000 */ ^ src/buckx/buckx_c.c:40:10: warning: 'FE_TONEAREST' macro redefined [-Wmacro-redefined] # define FE_TONEAREST FP_RN ^ /usr/include/machine/fenv.h:73:9: note: previous definition is here #define FE_TONEAREST 0x000 /* 000000000000 */ ^ File "src/lib/bitvector.ml", line 66, characters 2-24: Warning 3: deprecated: String.set Use Bytes.set instead. File "src/lib/bitvector.ml", line 74, characters 2-24: Warning 3: deprecated: String.set Use Bytes.set instead. File "src/lib/bitvector.ml", line 113, characters 8-31: Warning 3: deprecated: String.set Use Bytes.set instead. File "src/lib/bitvector.ml", line 121, characters 8-31: Warning 3: deprecated: String.set Use Bytes.set instead. File "src/lib/bitvector.ml", line 123, characters 20-35: Warning 3: deprecated: String.set Use Bytes.set instead. src/buckx/buckx_c.c:139:4: warning: Does your system have kill()? [-W#warnings] #warning Does your system have kill()? ^ src/buckx/buckx_c.c:132:8: warning: unused variable 'pid' [-Wunused-variable] long pid = Long_val(v); ^ Ocamlopt cil/src/escape.cmx Ocamlopt cil/src/cilglobopt.cmx File "src/kernel/log.ml", line 626, characters 49-76: Warning 50: ambiguous documentation comment File "src/kernel/log.ml", line 193, characters 19-32: Warning 3: deprecated: String.create Use Bytes.create instead. File "src/kernel/log.ml", line 230, characters 16-29: Warning 3: deprecated: String.create Use Bytes.create instead. File "src/kernel/log.ml", line 246, characters 11-24: Warning 3: deprecated: String.create Use Bytes.create instead. 5 warnings generated. File "src/kernel/log.ml", line 566, characters 27-33: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 566, characters 11-19: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 577, characters 11-17: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 706, characters 31-37: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 706, characters 15-23: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 718, characters 31-37: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 718, characters 15-23: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 730, characters 31-37: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 730, characters 15-23: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 755, characters 31-37: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 755, characters 15-23: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 766, characters 29-35: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 766, characters 13-21: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 775, characters 29-35: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 775, characters 13-21: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 784, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 794, characters 29-35: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 794, characters 13-21: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 803, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 816, characters 15-21: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 825, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 833, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 841, characters 13-19: Warning 43: the label append is not optional. Ocamlopt src/aorai/bool3.cmx File "src/kernel/log.ml", line 849, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 858, characters 13-19: Warning 43: the label append is not optional. Ocamlopt src/metrics/css_html.cmx Ocamlopt src/wp/rformat.cmx Ocamlopt src/wp/script.cmx Linking bin/ptests.byte Ocamlopt src/wp/kreal.cmx Ocamlc lib/plugins/gui/Security_slicing.cmi File "cil/src/logic/utf8_logic.ml", line 38, characters 6-23: Warning 3: deprecated: String.unsafe_set File "cil/src/logic/utf8_logic.ml", line 40, characters 6-23: Warning 3: deprecated: String.unsafe_set File "cil/src/logic/utf8_logic.ml", line 42, characters 1-18: Warning 3: deprecated: String.unsafe_set File "cil/src/logic/utf8_logic.ml", line 48, characters 10-23: Warning 3: deprecated: String.create Use Bytes.create instead. Ocamlc src/gui/warning_manager.cmi Ocamlc src/gui/source_viewer.cmi Ocamlc src/gui/source_manager.cmi File "src/wp/rformat.ml", line 679, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. File "src/wp/rformat.ml", line 755, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. Ocamlc src/security_slicing/register_gui.cmi Ocamlc lib/plugins/gui/Wp.cmi Ocamlc src/wp/po_navigator.cmi File "src/gui/source_manager.mli", line 36, characters 37-70: Warning 50: ambiguous documentation comment Ocamlc src/kernel/gui_init.cmi Ocamlc src/gui/gtk_form.cmi Ocamlc src/gui/book_manager.cmi Ocamlc src/gui/project_manager.cmi Ocamlc src/gui/analyses_manager.cmi Ocamlc src/gui/file_manager.cmi Ocamlc src/gui/debug_manager.cmi Ocamlc src/gui/help_manager.cmi Ocamlc src/gui/property_navigator.cmi Ocamlc src/metrics/metrics_gui.cmi Ocamlc lib/plugins/gui/Metrics.cmi File "intmap.ml", line 40, characters 15-27: Warning 3: deprecated: Array.create Use Array.make instead. File "intmap.ml", line 56, characters 15-27: Warning 3: deprecated: Array.create Use Array.make instead. Ocamlc src/value/register_gui.cmi Ocamlc lib/plugins/gui/Value.cmi Ocamlc lib/plugins/gui/Syntactic_callgraph.cmi Ocamlc src/occurrence/register_gui.cmi File "idxset.ml", line 1: Error: The implementation idxset.ml does not match the interface idxset.cmi: ... At position module Make(E) : The value `of_list' is required but not provided At position module Make(E) : The value `find' is required but not provided MakeOcaml:35: recipe for target 'idxset.cmo' failed gmake[1]: *** [idxset.cmo] Error 2 gmake[1]: *** Waiting for unfinished jobs.... Ocamlc lib/plugins/gui/From.cmi Ocamlc src/impact/register_gui.cmi Ocamlc lib/plugins/gui/Impact.cmi Ocamlc lib/plugins/gui/Occurrence.cmi Ocamlc lib/plugins/gui/Scope.cmi Ocamlc src/from/from_register_gui.cmi Ocamlopt src/kernel/gui_init.cmx Ocamlc src/slicing/register_gui.cmi src/wp/Makefile:250: recipe for target 'src/wp/qed/bin/Qed.cmo' failed gmake: *** [src/wp/qed/bin/Qed.cmo] Error 2 gmake: *** Waiting for unfinished jobs.... *** Error code 2 Stop. make[1]: stopped in /data/pkgsrc/devel/frama-c *** Error code 1 Stop. make: stopped in /data/pkgsrc/devel/frama-c