=> 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-20120901nb34
Makefile:2428: .depend: No such file or directory
Generating src/lib/my_bigint.ml
Building ocamlgraph
Generating src/lib/map_common_interface.ml
Generating src/lib/map_common_interface.mli
Ocamllex cil/src/frontc/clexer.ml
Generating src/lib/dynlink_common_interface.ml
Ocamlyacc cil/src/frontc/cparser.ml
Ocamllex cil/src/logic/logic_lexer.ml
Ocamlyacc cil/src/logic/logic_parser.ml
Ocamllex cil/src/logic/logic_preprocess.ml
Generating src/lib/printexc_common_interface.ml
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
rm -f src/version.ml
Generating share/frama-c.rc
Generating src/kernel/config.ml
Generating ptests/ptests_config.ml
echo "let version = \""1.8.2+svn"\"" > src/version.ml
118 states, 565 transitions, table size 2968 bytes
2787 additional bytes used for bindings
Generating share/Makefile.kernel
Generating share/Makefile.dynamic_config
Generating lib/plugins/Metrics.mli
echo "let date = \""`date`"\"" >> src/version.ml
Generating lib/plugins/gui/Metrics.mli
rm -f .depend
1 shift/reduce conflict.
142 states, 1819 transitions, table size 8128 bytes
1897 additional bytes used for bindings
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/Syntactic_callgraph.mli
Generating lib/plugins/gui/Syntactic_callgraph.mli
Generating lib/plugins/Occurrence.mli
Generating lib/plugins/Value.mli
Generating lib/plugins/gui/Value.mli
357 states, 4346 transitions, table size 19526 bytes
3185 additional bytes used for bindings
Generating lib/plugins/gui/Occurrence.mli
Generating lib/plugins/RteGen.mli
Generating lib/plugins/From.mli
Generating lib/plugins/Users.mli
Generating lib/plugins/gui/From.mli
Generating lib/plugins/Constant_Propagation.mli
Generating lib/plugins/Postdominators.mli
Generating lib/plugins/Impact.mli
Generating lib/plugins/Semantic_callgraph.mli
ocamlc.opt -c -I src -I lib -g -dtypes src/sig.mli
Generating lib/plugins/gui/Impact.mli
Generating lib/plugins/Inout.mli
Generating lib/plugins/Pdg.mli
Generating lib/plugins/Scope.mli
Generating lib/plugins/gui/Scope.mli
Generating lib/plugins/Obfuscator.mli
Generating lib/plugins/Aorai.mli
Generating lib/plugins/Sparecode.mli
Generating lib/plugins/Security_slicing.mli
Generating lib/plugins/gui/Security_slicing.mli
Generating lib/plugins/Report.mli
ocamlc.opt -c -I src -I lib -g -dtypes src/sig_pack.mli
Generating lib/plugins/Wp.mli
Generating lib/plugins/gui/Wp.mli
Ocamldep src/metrics/.depend
ocamlc.opt -c -I src -I lib -g -dtypes src/dot_ast.mli
Ocamldep src/syntactic_callgraph/.depend
ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.mli
Ocamldep src/value/.depend
Ocamldep src/occurrence/.depend
Ocamldep src/rte/.depend
ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.ml
Ocamldep src/from/.depend
Ocamldep src/users/.depend
ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.mli
Ocamldep src/constant_propagation/.depend
Ocamldep src/postdominators/.depend
ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.ml
Ocamldep src/inout/.depend
Ocamldep src/semantic_callgraph/.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/impact/.depend
ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.mli
Ocamldep src/pdg/.depend
Ocamldep src/scope/.depend
ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.ml
Ocamldep src/sparecode/.depend
Ocamldep src/slicing/.depend
Ocamldep src/aorai/.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.
Ocamldep src/obfuscator/.depend
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/report/.depend
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.cmx
Copying to lib/graph.o
Copying to lib/dgraph.cmi
Copying to lib/dgraph.cmo
Copying to lib/graph.cmo
Copying to lib/dgraph.cmx
Copying to lib/dgraph.o
Generating .depend
Ocamlc external/unmarshal.cmi
Ocamlc src/lib/map_common_interface.cmi
Ocamlc src/lib/dynlink_common_interface.cmi
Ocamlc src/lib/hashtbl_common_interface.cmi
Ocamlc src/lib/extlib.cmi
Ocamlc src/lib/pretty_utils.cmi
Ocamlc src/lib/printexc_common_interface.cmi
Ocamlc src/lib/bag.cmi
Ocamlc src/lib/indexer.cmi
Ocamlc src/lib/bitvector.cmi
Ocamlc src/lib/qstack.cmi
Ocamlc src/lib/hook.cmi
Ocamlc src/kernel/config.cmi
Ocamlc src/kernel/cmdline.cmi
Ocamlc src/kernel/floating_point.cmi
Ocamlc src/kernel/log.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)
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/utf8_logic.cmi
Ocamlc cil/src/cilglobopt.cmo
Ocamlc cil/ocamlutil/alpha.cmi
Ocamlc cil/src/cilmsg.cmi
Ocamlc cil/src/escape.cmi
Ocamlc src/kernel/command.cmi
Ocamlc src/kernel/unicode.cmi
Ocamlc src/kernel/task.cmi
Ocamlc lib/plugins/Value.cmi
Ocamlc src/kernel/special_hooks.cmi
File "src/lib/pretty_utils.mli", line 65, characters 0-344:
Warning 50: unattached documentation comment (ignored)
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 lib/plugins/From.cmi
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 src/memory_state/bit_model_access.cmi
Ocamlc cil/src/logic/logic_preprocess.cmi
Ocamlc src/metrics/css_html.cmo
Ocamlc src/logic/infer_annotations.cmi
Ocamlc lib/plugins/Metrics.cmi
Ocamlc lib/plugins/Syntactic_callgraph.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
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 lib/plugins/Occurrence.cmi
Ocamlc src/value/builtins_malloc.cmi
Ocamlc src/value/local_slevel_compute.cmi
Ocamlc src/from/functionwise.cmi
Ocamlc src/value/eval_funs.cmi
Ocamlc lib/plugins/RteGen.cmi
Ocamlc src/from/from_register.cmi
Ocamlc src/from/callwise.cmi
Ocamlc src/metrics/metrics_cabs.cmi
Ocamlc lib/plugins/Users.cmi
Ocamlc lib/plugins/Postdominators.cmi
Ocamlc lib/plugins/Constant_Propagation.cmi
Ocamlc src/inout/access_path.cmi
Ocamlc src/constant_propagation/register.cmi
Ocamlc lib/plugins/Inout.cmi
Ocamlc lib/plugins/Impact.cmi
Ocamlc lib/plugins/Semantic_callgraph.cmi
Ocamlc src/scope/zones.cmi
Ocamlc lib/plugins/Scope.cmi
Ocamlc src/buckx/mybigarray.o
Ocamlc src/scope/defs.cmi
Ocamlc lib/plugins/Sparecode.cmi
Ocamlc src/buckx/buckx_c.o
Ocamlc src/aorai/aorai_dataflow.cmi
Ocamlc src/aorai/ltlast.cmi
Ocamlc lib/plugins/Obfuscator.cmi
Ocamlc lib/plugins/Aorai.cmi
Ocamlc lib/plugins/Report.cmi
Ocamlc src/report/register.cmi
Ocamlc src/wp/rformat.cmi
Ocamlc src/wp/Warning.cmi
Ocamlc src/aorai/bool3.cmi
Ocamlc src/wp/VCS.cmi
Ocamlc lib/plugins/Security_slicing.cmi
Compiling Qed (byte.opt)
Ocamlc src/wp/script.cmi
Ocamlc src/wp/kreal.cmi
Ocamlc src/wp/wpReport.cmi
Ocamlopt external/unmarshal.cmx
Ocamlopt src/lib/printexc_common_interface.cmx
43 states, 639 transitions, table size 2814 bytes
Ocamlc src/wp/ProverTask.cmi
Ocamlopt src/lib/map_common_interface.cmx
Ocamlc lib/plugins/Wp.cmi
Ocamlopt src/lib/hook.cmx
Ocamlopt src/lib/pretty_utils.cmx
Ocamlopt src/lib/dynlink_common_interface.cmx
Ocamlopt src/lib/hashtbl_common_interface.cmx
Ocamlopt src/lib/indexer.cmx
Ocamlopt src/lib/bag.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.
Ocamlopt src/lib/bitvector.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 "external/unmarshal.ml", line 544, characters 22-35:
Warning 3: deprecated: String.create
Use Bytes.create instead.
Ocamlopt src/lib/qstack.cmx
Ocamlopt src/kernel/config.cmx
Ocamlopt src/kernel/log.cmx
src/buckx/buckx_c.c:38:10: 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 */
^
Ocamlopt cil/src/cilglobopt.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);
^
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 cil/src/logic/utf8_logic.cmx
Ocamlopt cil/src/escape.cmx
Ocamlopt src/metrics/css_html.cmx
Ocamlopt src/aorai/bool3.cmx
5 warnings generated.
Ocamlopt src/wp/rformat.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.
Ocamlopt src/wp/script.cmx
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.
Ocamlopt src/wp/kreal.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.
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.
Linking bin/ptests.byte
Ocamlc lib/plugins/gui/Security_slicing.cmi
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.
Ocamlc src/gui/source_viewer.cmi
File "src/wp/rformat.ml", line 755, characters 27-39:
Warning 3: deprecated: Array.create
Use Array.make instead.
Ocamlc src/gui/source_manager.cmi
Ocamlc src/security_slicing/register_gui.cmi
Ocamlc lib/plugins/gui/Wp.cmi
Ocamlc src/wp/po_navigator.cmi
Ocamlc src/gui/gtk_form.cmi
Ocamlc src/kernel/gui_init.cmi
Ocamlc src/gui/book_manager.cmi
File "src/gui/source_manager.mli", line 36, characters 37-70:
Warning 50: ambiguous documentation comment
Ocamlc src/gui/analyses_manager.cmi
Ocamlc src/gui/file_manager.cmi
Ocamlc src/gui/project_manager.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/gui/debug_manager.cmi
Ocamlc src/gui/help_manager.cmi
File "idxset.ml", line 1:
Error: The implementation idxset.ml does not match the interface idxset.cmi:
...
At position module Make(E) : <here>
The value `of_list' is required but not provided
At position module Make(E) : <here>
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 src/metrics/metrics_gui.cmi
Ocamlc src/gui/property_navigator.cmi
Ocamlc lib/plugins/gui/Syntactic_callgraph.cmi
Ocamlc lib/plugins/gui/Metrics.cmi
Ocamlc src/value/register_gui.cmi
Ocamlc lib/plugins/gui/Value.cmi
Ocamlc src/occurrence/register_gui.cmi
Ocamlc lib/plugins/gui/Occurrence.cmi
Ocamlc src/from/from_register_gui.cmi
Ocamlc lib/plugins/gui/From.cmi
Ocamlc src/impact/register_gui.cmi
Ocamlc lib/plugins/gui/Impact.cmi
Ocamlc lib/plugins/gui/Scope.cmi
Ocamlc src/slicing/register_gui.cmi
Ocamlopt src/kernel/gui_init.cmx
Ocamlc external/unmarshal.cmo
Ocamlc external/unmarshal_nums.cmi
Ocamlc src/lib/printexc_common_interface.cmo
Ocamlc src/lib/map_common_interface.cmo
Ocamlc src/type/structural_descr.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....
Ocamlc src/lib/extlib.cmo
Ocamlc src/lib/dynlink_common_interface.cmo
Ocamlc src/lib/hashtbl_common_interface.cmo
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.
*** 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