=> 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/printexc_common_interface.ml Generating src/lib/my_bigint.ml Generating src/lib/map_common_interface.ml Generating src/lib/map_common_interface.mli Generating src/lib/dynlink_common_interface.ml Ocamllex cil/src/frontc/clexer.ml Ocamlyacc cil/src/frontc/cparser.ml Ocamllex cil/src/logic/logic_lexer.ml Building ocamlgraph Ocamlyacc cil/src/logic/logic_parser.ml Ocamllex cil/src/logic/logic_preprocess.ml Generating src/kernel/config.ml 1 shift/reduce conflict. Generating ptests/ptests_config.ml Generating share/Makefile.dynamic_config 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 Generating share/Makefile.kernel Generating share/frama-c.rc Generating lib/plugins/Metrics.mli Generating lib/plugins/gui/Metrics.mli Generating lib/plugins/Syntactic_callgraph.mli rm -f src/version.ml 142 states, 1819 transitions, table size 8128 bytes 1897 additional bytes used for bindings 118 states, 565 transitions, table size 2968 bytes 2787 additional bytes used for bindings echo "let version = \""1.8.2+svn"\"" > src/version.ml 357 states, 4346 transitions, table size 19526 bytes 3185 additional bytes used for bindings Generating lib/plugins/gui/Syntactic_callgraph.mli Generating lib/plugins/Value.mli Generating lib/plugins/gui/Value.mli echo "let date = \""`date`"\"" >> src/version.ml Generating lib/plugins/Occurrence.mli Generating lib/plugins/gui/Occurrence.mli Generating lib/plugins/RteGen.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/gui/From.mli Generating lib/plugins/Users.mli Generating lib/plugins/From.mli Generating lib/plugins/Constant_Propagation.mli Generating lib/plugins/Postdominators.mli Generating lib/plugins/Inout.mli Generating lib/plugins/Semantic_callgraph.mli Generating lib/plugins/Impact.mli Generating lib/plugins/Pdg.mli Generating lib/plugins/Scope.mli Generating lib/plugins/gui/Scope.mli Generating lib/plugins/gui/Impact.mli Generating lib/plugins/Sparecode.mli Generating lib/plugins/Aorai.mli Generating lib/plugins/Obfuscator.mli Generating lib/plugins/Report.mli Generating lib/plugins/Security_slicing.mli Generating lib/plugins/gui/Security_slicing.mli Generating lib/plugins/Wp.mli ocamlc.opt -c -I src -I lib -g -dtypes src/sig.mli Generating lib/plugins/gui/Wp.mli Ocamldep src/metrics/.depend ocamlc.opt -c -I src -I lib -g -dtypes src/sig_pack.mli Ocamldep src/syntactic_callgraph/.depend Ocamldep src/value/.depend ocamlc.opt -c -I src -I lib -g -dtypes src/dot_ast.mli Ocamldep src/occurrence/.depend Ocamldep src/rte/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.mli Ocamldep src/from/.depend Ocamldep src/users/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.ml 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. Ocamldep src/scope/.depend Ocamldep src/sparecode/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.mli Ocamldep src/slicing/.depend Ocamldep src/aorai/.depend ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.ml Ocamldep src/obfuscator/.depend Ocamldep src/report/.depend Ocamldep src/security_slicing/.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. Ocamldep src/wp/.depend File "lib/bitv.ml", line 464, characters 27-39: Warning 3: deprecated: String.set Use Bytes.set instead. 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/dgraph.cmi Copying to lib/dgraph.cmo Copying to lib/graph.cmo Copying to lib/graph.cmx Copying to lib/dgraph.cmx Copying to lib/dgraph.o Copying to lib/graph.o Generating .depend Ocamlc src/lib/hashtbl_common_interface.cmi Ocamlc src/lib/bag.cmi Ocamlc src/lib/map_common_interface.cmi Ocamlc src/lib/indexer.cmi Ocamlc external/unmarshal.cmi Ocamlc src/lib/qstack.cmi Ocamlc src/kernel/log.cmi Ocamlc src/kernel/cmdline.cmi Ocamlc src/lib/bitvector.cmi Ocamlc src/lib/dynlink_common_interface.cmi Ocamlc src/kernel/config.cmi Ocamlc src/kernel/floating_point.cmi Ocamlc src/lib/printexc_common_interface.cmi Ocamlc src/lib/extlib.cmi Ocamlc src/lib/pretty_utils.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/src/cilmsg.cmi Ocamlc src/lib/hook.cmi 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 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 cil/ocamlutil/alpha.cmi Ocamlc cil/src/cilglobopt.cmo Ocamlc cil/src/logic/utf8_logic.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 Ocamlc cil/src/logic/logic_preprocess.cmi Ocamlc src/kernel/unicode.cmi Ocamlc src/kernel/command.cmi Ocamlc cil/src/escape.cmi Ocamlc src/kernel/special_hooks.cmi Ocamlc lib/plugins/Value.cmi Ocamlc lib/plugins/From.cmi Ocamlc src/kernel/task.cmi Ocamlc src/memory_state/bit_model_access.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/metrics/metrics_cabs.cmi Ocamlc lib/plugins/Metrics.cmi Ocamlc lib/plugins/Syntactic_callgraph.cmi Ocamlc src/value/local_slevel_compute.cmi Ocamlc src/value/builtins_malloc.cmi Ocamlc src/value/eval_funs.cmi File "src/lib/pretty_utils.mli", line 65, characters 0-344: Warning 50: unattached documentation comment (ignored) Ocamlc lib/plugins/RteGen.cmi Ocamlc src/from/functionwise.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 commentOcamlc lib/plugins/Occurrence.cmi Ocamlc src/logic/infer_annotations.cmi Ocamlc src/from/callwise.cmi Ocamlc src/from/from_register.cmi Ocamlc lib/plugins/Postdominators.cmi Ocamlc lib/plugins/Constant_Propagation.cmi Ocamlc lib/plugins/Users.cmi Ocamlc src/metrics/css_html.cmo Ocamlc lib/plugins/Inout.cmi Ocamlc lib/plugins/Impact.cmi Ocamlc lib/plugins/Semantic_callgraph.cmi Ocamlc src/scope/defs.cmi Ocamlc src/constant_propagation/register.cmi Ocamlc src/scope/zones.cmi Ocamlc src/inout/access_path.cmi Ocamlc src/buckx/buckx_c.o Ocamlc lib/plugins/Scope.cmi Ocamlc lib/plugins/Sparecode.cmi Ocamlc src/aorai/bool3.cmi Ocamlc src/buckx/mybigarray.o Ocamlc src/aorai/aorai_dataflow.cmi Ocamlc src/aorai/ltlast.cmi Ocamlc lib/plugins/Aorai.cmi Ocamlc src/report/register.cmi Ocamlc lib/plugins/Obfuscator.cmi Ocamlc lib/plugins/Security_slicing.cmi Ocamlc lib/plugins/Report.cmi Compiling Qed (byte.opt) Ocamlc src/wp/Warning.cmi Ocamlc src/wp/rformat.cmi Ocamlc src/wp/VCS.cmi Ocamlc src/wp/script.cmi 43 states, 639 transitions, table size 2814 bytes Ocamlc src/wp/wpReport.cmi Ocamlc src/wp/ProverTask.cmi Ocamlc lib/plugins/Wp.cmi Ocamlc src/wp/kreal.cmi Ocamlopt src/lib/printexc_common_interface.cmx Ocamlopt external/unmarshal.cmx Ocamlopt src/lib/map_common_interface.cmx Ocamlopt src/lib/dynlink_common_interface.cmx src/buckx/buckx_c.c:38:10: warning: 'FE_DOWNWARD' macro redefined [-Wmacro-redefined] # define FE_DOWNWARD FP_RM ^ Ocamlopt src/lib/hashtbl_common_interface.cmx /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 */ ^ Ocamlopt src/lib/pretty_utils.cmx Ocamlopt src/lib/hook.cmx Ocamlopt src/lib/bag.cmx 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 src/kernel/config.cmx File "external/unmarshal.ml", line 174, characters 4-21: Warning 3: deprecated: String.unsafe_set File "external/unmarshal.ml", line 280, characters 10-23: Warning 3: deprecated: String.create Use Bytes.create instead. 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 "external/unmarshal.ml", line 544, characters 22-35: Warning 3: deprecated: String.create Use Bytes.create instead. Ocamlopt src/lib/qstack.cmx Ocamlopt src/lib/bitvector.cmx 5 warnings generated. Ocamlopt src/lib/indexer.cmx 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 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. Ocamlopt src/kernel/log.cmx Ocamlopt cil/src/escape.cmx Ocamlopt cil/src/logic/utf8_logic.cmx Ocamlopt cil/src/cilglobopt.cmx Ocamlopt src/metrics/css_html.cmx File "src/kernel/log.ml", line 626, characters 49-76: Warning 50: ambiguous documentation comment File "cil/src/logic/utf8_logic.ml", line 38, characters 6-23: Warning 3: deprecated: String.unsafe_set File "src/kernel/log.ml", line 193, characters 19-32: Warning 3: deprecated: String.create Use Bytes.create instead. 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 "src/kernel/log.ml", line 230, characters 16-29: Warning 3: deprecated: String.create Use Bytes.create instead. File "cil/src/logic/utf8_logic.ml", line 48, characters 10-23: 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. Ocamlopt src/aorai/bool3.cmx Ocamlopt src/wp/rformat.cmx 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. Ocamlopt src/wp/script.cmx 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. 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/wp/kreal.cmx 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.... Linking bin/ptests.byte 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/gui/warning_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 lib/plugins/gui/Security_slicing.cmi Ocamlc src/security_slicing/register_gui.cmi Ocamlc src/gui/source_viewer.cmi Ocamlc lib/plugins/gui/Wp.cmi Ocamlc src/gui/source_manager.cmi Ocamlc src/wp/po_navigator.cmi Ocamlc src/gui/gtk_form.cmi Ocamlc src/kernel/gui_init.cmi Ocamlc src/gui/analyses_manager.cmi Ocamlc src/gui/book_manager.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.... File "src/gui/source_manager.mli", line 36, characters 37-70: Warning 50: ambiguous documentation comment *** 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