[*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf27715.dir <.> /bin/mkdir -p conf27715.dir [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf26045.dir <.> /bin/mkdir -p conf26045.dir [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf16595.dir <.> /bin/mkdir -p conf16595.dir [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /scratch/devel/frama-c/work/.wrapper/bin/gcc /scratch/devel/frama-c/work/.wrapper/bin/gcc -DCONFIGURATION_ONLY -x c cil/ocamlutil/perfcount.c.in -lm -o bin/cycles.exe WARNING: [transform-gcc] passing unknown option -x <.> /scratch/devel/frama-c/work/.gcc/bin/gcc -DCONFIGURATION_ONLY -x c cil/ocamlutil/perfcount.c.in -o bin/cycles.exe -I/scratch/devel/frama-c/work/.buildlink/include -L/scratch/devel/frama-c/work/.buildlink/lib -lm [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o test_dynlink.o /tmp/camlasmb13670.s <.> /usr/bin/as -o test_dynlink.o /tmp/camlasmb13670.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o test_dynlink.cmxs.startup.o /tmp/camlstartup2b3bec.s <.> /usr/bin/as -o test_dynlink.cmxs.startup.o /tmp/camlstartup2b3bec.s [*] /scratch/devel/frama-c/work/.wrapper/bin/gcc /scratch/devel/frama-c/work/.wrapper/bin/gcc -shared -o test_dynlink.cmxs -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr test_dynlink.cmxs.startup.o test_dynlink.o <.> /scratch/devel/frama-c/work/.gcc/bin/gcc -shared -o test_dynlink.cmxs -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml -O2 -I/scratch/devel/frama-c/work/.buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/scratch/devel/frama-c/work/.x11-buildlink/include/libdrm -I/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/scratch/devel/frama-c/work/.buildlink/include/nspr -I/scratch/devel/frama-c/work/.buildlink/include/db4 -L/scratch/devel/frama-c/work/.buildlink/lib -Wl,-R/usr/pkg/lib -L/scratch/devel/frama-c/work/.x11-buildlink/lib -Wl,-R/usr/X11R7/lib -L/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-R/usr/pkg/lib/nss -L/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-R/usr/pkg/lib/nspr test_dynlink.cmxs.startup.o test_dynlink.o [*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf27515.dir <.> /bin/mkdir -p conf27515.dir [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating src/lib/my_bigint.ml <.> echo Generating src/lib/my_bigint.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Building ocamlgraph <.> echo Building ocamlgraph [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating src/lib/printexc_common_interface.ml <.> echo Generating src/lib/printexc_common_interface.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating src/lib/map_common_interface.mli <.> echo Generating src/lib/map_common_interface.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating src/lib/map_common_interface.ml <.> echo Generating src/lib/map_common_interface.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating src/lib/dynlink_common_interface.ml <.> echo Generating src/lib/dynlink_common_interface.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamllex cil/src/frontc/clexer.ml <.> echo Ocamllex cil/src/frontc/clexer.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc cil/src/frontc/cparser.ml <.> echo Ocamlyacc cil/src/frontc/cparser.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamllex cil/src/logic/logic_lexer.ml <.> echo Ocamllex cil/src/logic/logic_lexer.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc cil/src/logic/logic_parser.ml <.> echo Ocamlyacc cil/src/logic/logic_parser.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamllex cil/src/logic/logic_preprocess.ml <.> echo Ocamllex cil/src/logic/logic_preprocess.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating src/kernel/config.ml <.> echo Generating src/kernel/config.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating share/frama-c.rc <.> echo Generating share/frama-c.rc [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating ptests/ptests_config.ml <.> echo Generating ptests/ptests_config.ml [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating share/Makefile.dynamic_config <.> echo Generating share/Makefile.dynamic_config [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating share/Makefile.kernel <.> echo Generating share/Makefile.kernel [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Metrics.mli <.> echo Generating lib/plugins/Metrics.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/Metrics.mli <.> echo Generating lib/plugins/gui/Metrics.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Syntactic_callgraph.mli <.> echo Generating lib/plugins/Syntactic_callgraph.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/Syntactic_callgraph.mli <.> echo Generating lib/plugins/gui/Syntactic_callgraph.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Value.mli <.> echo Generating lib/plugins/Value.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/Value.mli <.> echo Generating lib/plugins/gui/Value.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Occurrence.mli <.> echo Generating lib/plugins/Occurrence.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/Occurrence.mli <.> echo Generating lib/plugins/gui/Occurrence.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/RteGen.mli <.> echo Generating lib/plugins/RteGen.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/From.mli <.> echo Generating lib/plugins/From.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/From.mli <.> echo Generating lib/plugins/gui/From.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Users.mli <.> echo Generating lib/plugins/Users.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Constant_Propagation.mli <.> echo Generating lib/plugins/Constant_Propagation.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Postdominators.mli <.> echo Generating lib/plugins/Postdominators.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Inout.mli <.> echo Generating lib/plugins/Inout.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Semantic_callgraph.mli <.> echo Generating lib/plugins/Semantic_callgraph.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Impact.mli <.> echo Generating lib/plugins/Impact.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/Impact.mli <.> echo Generating lib/plugins/gui/Impact.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Pdg.mli <.> echo Generating lib/plugins/Pdg.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Scope.mli <.> echo Generating lib/plugins/Scope.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/Scope.mli <.> echo Generating lib/plugins/gui/Scope.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Sparecode.mli <.> echo Generating lib/plugins/Sparecode.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Aorai.mli <.> echo Generating lib/plugins/Aorai.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Obfuscator.mli <.> echo Generating lib/plugins/Obfuscator.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Report.mli <.> echo Generating lib/plugins/Report.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Security_slicing.mli <.> echo Generating lib/plugins/Security_slicing.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/Security_slicing.mli <.> echo Generating lib/plugins/gui/Security_slicing.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/Wp.mli <.> echo Generating lib/plugins/Wp.mli [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating lib/plugins/gui/Wp.mli <.> echo Generating lib/plugins/gui/Wp.mli [*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/plugins/gui <.> /bin/mkdir -p -p lib/plugins/gui [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/metrics/.depend <.> echo Ocamldep src/metrics/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/syntactic_callgraph/.depend <.> echo Ocamldep src/syntactic_callgraph/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/value/.depend <.> echo Ocamldep src/value/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/occurrence/.depend <.> echo Ocamldep src/occurrence/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/rte/.depend <.> echo Ocamldep src/rte/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/from/.depend <.> echo Ocamldep src/from/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/users/.depend <.> echo Ocamldep src/users/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/constant_propagation/.depend <.> echo Ocamldep src/constant_propagation/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/postdominators/.depend <.> echo Ocamldep src/postdominators/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/inout/.depend <.> echo Ocamldep src/inout/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/semantic_callgraph/.depend <.> echo Ocamldep src/semantic_callgraph/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/impact/.depend <.> echo Ocamldep src/impact/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/pdg/.depend <.> echo Ocamldep src/pdg/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/scope/.depend <.> echo Ocamldep src/scope/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/sparecode/.depend <.> echo Ocamldep src/sparecode/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/slicing/.depend <.> echo Ocamldep src/slicing/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/aorai/.depend <.> echo Ocamldep src/aorai/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/obfuscator/.depend <.> echo Ocamldep src/obfuscator/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/report/.depend <.> echo Ocamldep src/report/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/security_slicing/.depend <.> echo Ocamldep src/security_slicing/.depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/wp/.depend <.> echo Ocamldep src/wp/.depend [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o lib/unionfind.o /tmp/camlasm91c814.s <.> /usr/bin/as -o lib/unionfind.o /tmp/camlasm91c814.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o lib/heap.o /tmp/camlasmbe0ef2.s <.> /usr/bin/as -o lib/heap.o /tmp/camlasmbe0ef2.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o lib/bitv.o /tmp/camlasm1f49a8.s <.> /usr/bin/as -o lib/bitv.o /tmp/camlasm1f49a8.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/version.o /tmp/camlasmc1b4fa.s <.> /usr/bin/as -o src/version.o /tmp/camlasmc1b4fa.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/util.o /tmp/camlasmfb111c.s <.> /usr/bin/as -o src/util.o /tmp/camlasmfb111c.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/blocks.o /tmp/camlasm74429a.s <.> /usr/bin/as -o src/blocks.o /tmp/camlasm74429a.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/persistent.o /tmp/camlasme189b6.s <.> /usr/bin/as -o src/persistent.o /tmp/camlasme189b6.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/imperative.o /tmp/camlasm6cd4b1.s <.> /usr/bin/as -o src/imperative.o /tmp/camlasm6cd4b1.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/delaunay.o /tmp/camlasm61b8ab.s <.> /usr/bin/as -o src/delaunay.o /tmp/camlasm61b8ab.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/builder.o /tmp/camlasm6da5cc.s <.> /usr/bin/as -o src/builder.o /tmp/camlasm6da5cc.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/classic.o /tmp/camlasm24e4d4.s <.> /usr/bin/as -o src/classic.o /tmp/camlasm24e4d4.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/rand.o /tmp/camlasm48b2c7.s <.> /usr/bin/as -o src/rand.o /tmp/camlasm48b2c7.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/oper.o /tmp/camlasm60ab00.s <.> /usr/bin/as -o src/oper.o /tmp/camlasm60ab00.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/components.o /tmp/camlasmddfd7a.s <.> /usr/bin/as -o src/components.o /tmp/camlasmddfd7a.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/path.o /tmp/camlasmce5047.s <.> /usr/bin/as -o src/path.o /tmp/camlasmce5047.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/nonnegative.o /tmp/camlasm185c8c.s <.> /usr/bin/as -o src/nonnegative.o /tmp/camlasm185c8c.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/traverse.o /tmp/camlasm80318b.s <.> /usr/bin/as -o src/traverse.o /tmp/camlasm80318b.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/coloring.o /tmp/camlasm228927.s <.> /usr/bin/as -o src/coloring.o /tmp/camlasm228927.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/topological.o /tmp/camlasm5417b0.s <.> /usr/bin/as -o src/topological.o /tmp/camlasm5417b0.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/kruskal.o /tmp/camlasm6c0325.s <.> /usr/bin/as -o src/kruskal.o /tmp/camlasm6c0325.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/flow.o /tmp/camlasmbe9dd5.s <.> /usr/bin/as -o src/flow.o /tmp/camlasmbe9dd5.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/dominator.o /tmp/camlasm2f2302.s <.> /usr/bin/as -o src/dominator.o /tmp/camlasm2f2302.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/graphviz.o /tmp/camlasm125907.s <.> /usr/bin/as -o src/graphviz.o /tmp/camlasm125907.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/gml.o /tmp/camlasm7aecdf.s <.> /usr/bin/as -o src/gml.o /tmp/camlasm7aecdf.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/dot_parser.o /tmp/camlasm657cb2.s <.> /usr/bin/as -o src/dot_parser.o /tmp/camlasm657cb2.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/dot_lexer.o /tmp/camlasmdec98b.s <.> /usr/bin/as -o src/dot_lexer.o /tmp/camlasmdec98b.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/dot.o /tmp/camlasmc52ddf.s <.> /usr/bin/as -o src/dot.o /tmp/camlasmc52ddf.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/pack.o /tmp/camlasm993513.s <.> /usr/bin/as -o src/pack.o /tmp/camlasm993513.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/gmap.o /tmp/camlasmbc6e3f.s <.> /usr/bin/as -o src/gmap.o /tmp/camlasmbc6e3f.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/minsep.o /tmp/camlasmf064d5.s <.> /usr/bin/as -o src/minsep.o /tmp/camlasmf064d5.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/cliquetree.o /tmp/camlasmd6007f.s <.> /usr/bin/as -o src/cliquetree.o /tmp/camlasmd6007f.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/mcs_m.o /tmp/camlasm5ae356.s <.> /usr/bin/as -o src/mcs_m.o /tmp/camlasm5ae356.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/md.o /tmp/camlasme6056b.s <.> /usr/bin/as -o src/md.o /tmp/camlasme6056b.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/strat.o /tmp/camlasm846477.s <.> /usr/bin/as -o src/strat.o /tmp/camlasm846477.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/fixpoint.o /tmp/camlasme24f60.s <.> /usr/bin/as -o src/fixpoint.o /tmp/camlasme24f60.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/leaderlist.o /tmp/camlasmcb5c3c.s <.> /usr/bin/as -o src/leaderlist.o /tmp/camlasmcb5c3c.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/contraction.o /tmp/camlasm87c1b1.s <.> /usr/bin/as -o src/contraction.o /tmp/camlasm87c1b1.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o /tmp/camlGraph__d34e4c.o /tmp/camlasm58d9b1.s <.> /usr/bin/as -o /tmp/camlGraph__d34e4c.o /tmp/camlasm58d9b1.s [*] /scratch/devel/frama-c/work/.wrapper/bin/ld /scratch/devel/frama-c/work/.wrapper/bin/ld -r -o graph.o /tmp/camlGraph__d34e4c.o lib/unionfind.o lib/heap.o lib/bitv.o src/version.o src/util.o src/blocks.o src/persistent.o src/imperative.o src/delaunay.o src/builder.o src/classic.o src/rand.o src/oper.o src/components.o src/path.o src/nonnegative.o src/traverse.o src/coloring.o src/topological.o src/kruskal.o src/flow.o src/dominator.o src/graphviz.o src/gml.o src/dot_parser.o src/dot_lexer.o src/dot.o src/pack.o src/gmap.o src/minsep.o src/cliquetree.o src/mcs_m.o src/md.o src/strat.o src/fixpoint.o src/leaderlist.o src/contraction.o <.> /usr/bin/ld -r -o graph.o /tmp/camlGraph__d34e4c.o lib/unionfind.o lib/heap.o lib/bitv.o src/version.o src/util.o src/blocks.o src/persistent.o src/imperative.o src/delaunay.o src/builder.o src/classic.o src/rand.o src/oper.o src/components.o src/path.o src/nonnegative.o src/traverse.o src/coloring.o src/topological.o src/kruskal.o src/flow.o src/dominator.o src/graphviz.o src/gml.o src/dot_parser.o src/dot_lexer.o src/dot.o src/pack.o src/gmap.o src/minsep.o src/cliquetree.o src/mcs_m.o src/md.o src/strat.o src/fixpoint.o src/leaderlist.o src/contraction.o -L/scratch/devel/frama-c/work/.buildlink/lib [*] /scratch/devel/frama-c/work/.wrapper/bin/ar /scratch/devel/frama-c/work/.wrapper/bin/ar rc graph.a graph.o <.> /usr/bin/ar rc graph.a graph.o [*] /scratch/devel/frama-c/work/.wrapper/bin/ranlib /scratch/devel/frama-c/work/.wrapper/bin/ranlib graph.a <.> /usr/bin/ranlib graph.a [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o view_graph/viewGraph_core.o /tmp/camlasme5c2e5.s <.> /usr/bin/as -o view_graph/viewGraph_core.o /tmp/camlasme5c2e5.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o view_graph/viewGraph_select.o /tmp/camlasm837bf6.s <.> /usr/bin/as -o view_graph/viewGraph_select.o /tmp/camlasm837bf6.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o view_graph/viewGraph_utils.o /tmp/camlasm70147d.s <.> /usr/bin/as -o view_graph/viewGraph_utils.o /tmp/camlasm70147d.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o /tmp/camlViewgraph__e73afd.o /tmp/camlasmc5298b.s <.> /usr/bin/as -o /tmp/camlViewgraph__e73afd.o /tmp/camlasmc5298b.s [*] /scratch/devel/frama-c/work/.wrapper/bin/ld /scratch/devel/frama-c/work/.wrapper/bin/ld -r -o view_graph/viewgraph.o /tmp/camlViewgraph__e73afd.o view_graph/viewGraph_core.o view_graph/viewGraph_select.o view_graph/viewGraph_utils.o <.> /usr/bin/ld -r -o view_graph/viewgraph.o /tmp/camlViewgraph__e73afd.o view_graph/viewGraph_core.o view_graph/viewGraph_select.o view_graph/viewGraph_utils.o -L/scratch/devel/frama-c/work/.buildlink/lib [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o /tmp/camlstartup3495c4.o /tmp/camlstartupf000ee.s <.> /usr/bin/as -o /tmp/camlstartup3495c4.o /tmp/camlstartupf000ee.s [*] /scratch/devel/frama-c/work/.wrapper/bin/gcc /scratch/devel/frama-c/work/.wrapper/bin/gcc -o view_graph/viewgraph.opt -L/usr/pkg/lib/ocaml/site-lib/lablgtk2 -Lview_graph -Lsrc -Llib -L. -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -Wl,-rpath,/usr/pkg/lib:/usr/X11R7/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -Wl,-rpath,/usr/pkg/lib:/usr/X11R7/lib /tmp/camlstartup3495c4.o /usr/pkg/lib/ocaml/std_exit.o view_graph/viewgraph.o graph.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/gtkInit.o /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -lunix -llablgnomecanvas -L/usr/X11R7/lib -L/usr/pkg/lib -L/usr/X11R7/lib -L/usr/pkg/lib -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -L/usr/X11R7/lib -L/usr/pkg/lib -L/usr/X11R7/lib -L/usr/pkg/lib -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm ==> Reordering libraries: -lunix -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -lm <.> /scratch/devel/frama-c/work/.gcc/bin/gcc -o view_graph/viewgraph.opt -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml/site-lib/lablgtk2 -Lview_graph -Lsrc -Llib -L. -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml -O2 -I/scratch/devel/frama-c/work/.buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/scratch/devel/frama-c/work/.x11-buildlink/include/libdrm -I/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/scratch/devel/frama-c/work/.buildlink/include/nspr -I/scratch/devel/frama-c/work/.buildlink/include/db4 -L/scratch/devel/frama-c/work/.buildlink/lib -Wl,-R/usr/pkg/lib -L/scratch/devel/frama-c/work/.x11-buildlink/lib -Wl,-R/usr/X11R7/lib -L/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-R/usr/pkg/lib/nss -L/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -O2 -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/X11R7/lib -O2 -O2 /tmp/camlstartup3495c4.o /usr/pkg/lib/ocaml/std_exit.o view_graph/viewgraph.o graph.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/gtkInit.o /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -lunix -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -lm [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/xDotDraw.o /tmp/camlasm2b0ce3.s <.> /usr/bin/as -o dgraph/xDotDraw.o /tmp/camlasm2b0ce3.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/xDot.o /tmp/camlasmc29fed.s <.> /usr/bin/as -o dgraph/xDot.o /tmp/camlasmc29fed.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphModel.o /tmp/camlasmadf59a.s <.> /usr/bin/as -o dgraph/dGraphModel.o /tmp/camlasmadf59a.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphTreeLayout.o /tmp/camlasm4a33ad.s <.> /usr/bin/as -o dgraph/dGraphTreeLayout.o /tmp/camlasm4a33ad.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphSubTree.o /tmp/camlasm8276d2.s <.> /usr/bin/as -o dgraph/dGraphSubTree.o /tmp/camlasm8276d2.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphTreeModel.o /tmp/camlasm9eb5c4.s <.> /usr/bin/as -o dgraph/dGraphTreeModel.o /tmp/camlasm9eb5c4.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphViewItem.o /tmp/camlasm058865.s <.> /usr/bin/as -o dgraph/dGraphViewItem.o /tmp/camlasm058865.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphView.o /tmp/camlasm10752c.s <.> /usr/bin/as -o dgraph/dGraphView.o /tmp/camlasm10752c.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphRandModel.o /tmp/camlasm6a5dad.s <.> /usr/bin/as -o dgraph/dGraphRandModel.o /tmp/camlasm6a5dad.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphContainer.o /tmp/camlasm593ac4.s <.> /usr/bin/as -o dgraph/dGraphContainer.o /tmp/camlasm593ac4.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o /tmp/camlDgraph__ce8ebd.o /tmp/camlasm1294b9.s <.> /usr/bin/as -o /tmp/camlDgraph__ce8ebd.o /tmp/camlasm1294b9.s [*] /scratch/devel/frama-c/work/.wrapper/bin/ld /scratch/devel/frama-c/work/.wrapper/bin/ld -r -o dgraph/dgraph.o /tmp/camlDgraph__ce8ebd.o dgraph/xDotDraw.o dgraph/xDot.o dgraph/dGraphModel.o dgraph/dGraphTreeLayout.o dgraph/dGraphSubTree.o dgraph/dGraphTreeModel.o dgraph/dGraphViewItem.o dgraph/dGraphView.o dgraph/dGraphRandModel.o dgraph/dGraphContainer.o <.> /usr/bin/ld -r -o dgraph/dgraph.o /tmp/camlDgraph__ce8ebd.o dgraph/xDotDraw.o dgraph/xDot.o dgraph/dGraphModel.o dgraph/dGraphTreeLayout.o dgraph/dGraphSubTree.o dgraph/dGraphTreeModel.o dgraph/dGraphViewItem.o dgraph/dGraphView.o dgraph/dGraphRandModel.o dgraph/dGraphContainer.o -L/scratch/devel/frama-c/work/.buildlink/lib [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o dgraph/dGraphViewer.o /tmp/camlasme7218a.s <.> /usr/bin/as -o dgraph/dGraphViewer.o /tmp/camlasme7218a.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o /tmp/camlstartupc2afb4.o /tmp/camlstartup74e60f.s <.> /usr/bin/as -o /tmp/camlstartupc2afb4.o /tmp/camlstartup74e60f.s [*] /scratch/devel/frama-c/work/.wrapper/bin/gcc /scratch/devel/frama-c/work/.wrapper/bin/gcc -o dgraph/dgraph.opt -L/usr/pkg/lib/ocaml/site-lib/lablgtk2 -Ldgraph -Lsrc -Llib -L. -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -Wl,-rpath,/usr/pkg/lib:/usr/X11R7/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -Wl,-rpath,/usr/pkg/lib:/usr/X11R7/lib /tmp/camlstartupc2afb4.o /usr/pkg/lib/ocaml/std_exit.o dgraph/dGraphViewer.o dgraph/dgraph.o graph.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/gtkInit.o /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -llablgnomecanvas -L/usr/X11R7/lib -L/usr/pkg/lib -L/usr/X11R7/lib -L/usr/pkg/lib -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -L/usr/X11R7/lib -L/usr/pkg/lib -L/usr/X11R7/lib -L/usr/pkg/lib -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm ==> Reordering libraries: -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -lm <.> /scratch/devel/frama-c/work/.gcc/bin/gcc -o dgraph/dgraph.opt -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml/site-lib/lablgtk2 -Ldgraph -Lsrc -Llib -L. -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml -O2 -I/scratch/devel/frama-c/work/.buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/scratch/devel/frama-c/work/.x11-buildlink/include/libdrm -I/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/scratch/devel/frama-c/work/.buildlink/include/nspr -I/scratch/devel/frama-c/work/.buildlink/include/db4 -L/scratch/devel/frama-c/work/.buildlink/lib -Wl,-R/usr/pkg/lib -L/scratch/devel/frama-c/work/.x11-buildlink/lib -Wl,-R/usr/X11R7/lib -L/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-R/usr/pkg/lib/nss -L/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -O2 -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/X11R7/lib -O2 -O2 /tmp/camlstartupc2afb4.o /usr/pkg/lib/ocaml/std_exit.o dgraph/dGraphViewer.o dgraph/dgraph.o graph.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/gtkInit.o /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -lm [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o editor/ed_hyper.o /tmp/camlasm2d4930.s <.> /usr/bin/as -o editor/ed_hyper.o /tmp/camlasm2d4930.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o editor/ed_graph.o /tmp/camlasm9e1237.s <.> /usr/bin/as -o editor/ed_graph.o /tmp/camlasm9e1237.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o editor/ed_draw.o /tmp/camlasm07c5ff.s <.> /usr/bin/as -o editor/ed_draw.o /tmp/camlasm07c5ff.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o editor/ed_display.o /tmp/camlasm8b5fe8.s <.> /usr/bin/as -o editor/ed_display.o /tmp/camlasm8b5fe8.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o editor/ed_main.o /tmp/camlasmcac983.s <.> /usr/bin/as -o editor/ed_main.o /tmp/camlasmcac983.s [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o /tmp/camlstartupbc3774.o /tmp/camlstartup9b70b2.s <.> /usr/bin/as -o /tmp/camlstartupbc3774.o /tmp/camlstartup9b70b2.s [*] /scratch/devel/frama-c/work/.wrapper/bin/gcc /scratch/devel/frama-c/work/.wrapper/bin/gcc -o editor/editor.opt -L/usr/pkg/lib/ocaml/site-lib/lablgtk2 -L/usr/pkg/lib/ocaml/threads -Leditor -Lsrc -Llib -L. -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -Wl,-rpath,/usr/pkg/lib:/usr/X11R7/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -Wl,-rpath,/usr/pkg/lib:/usr/X11R7/lib /tmp/camlstartupbc3774.o /usr/pkg/lib/ocaml/std_exit.o editor/ed_main.o editor/ed_display.o editor/ed_draw.o editor/ed_graph.o editor/ed_hyper.o graph.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -lunix -llablgnomecanvas -L/usr/X11R7/lib -L/usr/pkg/lib -L/usr/X11R7/lib -L/usr/pkg/lib -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -L/usr/X11R7/lib -L/usr/pkg/lib -L/usr/X11R7/lib -L/usr/pkg/lib -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm ==> Reordering libraries: -lunix -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -lm <.> /scratch/devel/frama-c/work/.gcc/bin/gcc -o editor/editor.opt -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml/site-lib/lablgtk2 -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml/threads -Leditor -Lsrc -Llib -L. -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml -O2 -I/scratch/devel/frama-c/work/.buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/scratch/devel/frama-c/work/.x11-buildlink/include/libdrm -I/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/scratch/devel/frama-c/work/.buildlink/include/nspr -I/scratch/devel/frama-c/work/.buildlink/include/db4 -L/scratch/devel/frama-c/work/.buildlink/lib -Wl,-R/usr/pkg/lib -L/scratch/devel/frama-c/work/.x11-buildlink/lib -Wl,-R/usr/X11R7/lib -L/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-R/usr/pkg/lib/nss -L/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -O2 -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/X11R7/lib -O2 -O2 /tmp/camlstartupbc3774.o /usr/pkg/lib/ocaml/std_exit.o editor/ed_main.o editor/ed_display.o editor/ed_draw.o editor/ed_graph.o editor/ed_hyper.o graph.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -lunix -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lgio-2.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lm -lgobject-2.0 -lglib-2.0 -lintl -lfontconfig -lfreetype -lz -lm [*] /scratch/devel/frama-c/work/.tools/bin/echo Copying to lib/graph.cmi <.> echo Copying to lib/graph.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Copying to lib/graph.cmx <.> echo Copying to lib/graph.cmx [*] /scratch/devel/frama-c/work/.tools/bin/echo Copying to lib/graph.cmo <.> echo Copying to lib/graph.cmo [*] /scratch/devel/frama-c/work/.tools/bin/echo Copying to lib/graph.o [*] /scratch/devel/frama-c/work/.tools/bin/echo Copying to lib/dgraph.cmi <.> echo Copying to lib/graph.o <.> echo Copying to lib/dgraph.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Copying to lib/dgraph.cmo <.> echo Copying to lib/dgraph.cmo [*] /scratch/devel/frama-c/work/.tools/bin/echo Copying to lib/dgraph.o <.> echo Copying to lib/dgraph.o [*] /scratch/devel/frama-c/work/.tools/bin/echo Copying to lib/dgraph.cmx <.> echo Copying to lib/dgraph.cmx [*] /scratch/devel/frama-c/work/.tools/bin/echo Generating .depend <.> echo Generating .depend [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc external/unmarshal.cmi <.> echo Ocamlc external/unmarshal.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/printexc_common_interface.cmi <.> echo Ocamlc src/lib/printexc_common_interface.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/map_common_interface.cmi <.> echo Ocamlc src/lib/map_common_interface.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/dynlink_common_interface.cmi <.> echo Ocamlc src/lib/dynlink_common_interface.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/type/structural_descr.cmi <.> echo Ocamlc src/type/structural_descr.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/hashtbl_common_interface.cmi <.> echo Ocamlc src/lib/hashtbl_common_interface.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/extlib.cmi <.> echo Ocamlc src/lib/extlib.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/pretty_utils.cmi <.> echo Ocamlc src/lib/pretty_utils.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/hook.cmi <.> echo Ocamlc src/lib/hook.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/bag.cmi <.> echo Ocamlc src/lib/bag.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/indexer.cmi <.> echo Ocamlc src/lib/indexer.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/bitvector.cmi <.> echo Ocamlc src/lib/bitvector.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/qstack.cmi <.> echo Ocamlc src/lib/qstack.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/lib/my_bigint.cmi <.> echo Ocamlc src/lib/my_bigint.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/config.cmi <.> echo Ocamlc src/kernel/config.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/log.cmi <.> echo Ocamlc src/kernel/log.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/cmdline.cmi <.> echo Ocamlc src/kernel/cmdline.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/cil_types.cmi <.> echo Ocamlc cil/src/cil_types.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/floating_point.cmi <.> echo Ocamlc src/kernel/floating_point.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/cilmsg.cmi <.> echo Ocamlc cil/src/cilmsg.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/ocamlutil/alpha.cmi <.> echo Ocamlc cil/ocamlutil/alpha.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/ocamlutil/clist.cmi <.> echo Ocamlc cil/ocamlutil/clist.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/ocamlutil/growArray.cmi <.> echo Ocamlc cil/ocamlutil/growArray.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/logic/logic_ptree.cmi <.> echo Ocamlc cil/src/logic/logic_ptree.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/logic/utf8_logic.cmi <.> echo Ocamlc cil/src/logic/utf8_logic.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/cilglobopt.cmo <.> echo Ocamlc cil/src/cilglobopt.cmo [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/machdep_x86_16.cmi <.> echo Ocamlc cil/src/machdep_x86_16.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/machdep_x86_32.cmi <.> echo Ocamlc cil/src/machdep_x86_32.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/machdep_x86_64.cmi <.> echo Ocamlc cil/src/machdep_x86_64.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/machdep_ppc_32.cmo <.> echo Ocamlc cil/src/machdep_ppc_32.cmo [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/machdep.cmi <.> echo Ocamlc cil/src/machdep.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/escape.cmi <.> echo Ocamlc cil/src/escape.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/frontc/errorloc.cmi <.> echo Ocamlc cil/src/frontc/errorloc.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/logic/logic_utils.cmi <.> echo Ocamlc cil/src/logic/logic_utils.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/logic/logic_builtin.cmi <.> echo Ocamlc cil/src/logic/logic_builtin.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/logic/logic_print.cmi <.> echo Ocamlc cil/src/logic/logic_print.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/mergecil.cmi <.> echo Ocamlc cil/src/mergecil.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/rmtmps.cmi <.> echo Ocamlc cil/src/rmtmps.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/logic/logic_typing.cmi <.> echo Ocamlc cil/src/logic/logic_typing.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/logic/logic_preprocess.cmi <.> echo Ocamlc cil/src/logic/logic_preprocess.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/ext/obfuscate.cmi <.> echo Ocamlc cil/src/ext/obfuscate.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/ext/dataflow.cmi <.> echo Ocamlc cil/src/ext/dataflow.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/ext/oneret.cmi <.> echo Ocamlc cil/src/ext/oneret.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/ext/cfg.cmi <.> echo Ocamlc cil/src/ext/cfg.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/ext/deadcodeelim.cmi <.> echo Ocamlc cil/src/ext/deadcodeelim.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/ast_info.cmi <.> echo Ocamlc src/kernel/ast_info.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/ast_printer.cmi <.> echo Ocamlc src/kernel/ast_printer.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/unicode.cmi <.> echo Ocamlc src/kernel/unicode.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/misc/subst.cmi <.> echo Ocamlc src/misc/subst.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc cil/src/frontc/cabsbranches.cmi <.> echo Ocamlc cil/src/frontc/cabsbranches.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/command.cmi <.> echo Ocamlc src/kernel/command.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/task.cmi <.> echo Ocamlc src/kernel/task.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/logic/translate_lightweight.cmi <.> echo Ocamlc src/logic/translate_lightweight.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel/special_hooks.cmi <.> echo Ocamlc src/kernel/special_hooks.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Value.cmi <.> echo Ocamlc lib/plugins/Value.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/From.cmi <.> echo Ocamlc lib/plugins/From.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/memory_state/bit_model_access.cmi <.> echo Ocamlc src/memory_state/bit_model_access.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/logic/logic_interp.cmi <.> echo Ocamlc src/logic/logic_interp.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/logic/infer_annotations.cmi <.> echo Ocamlc src/logic/infer_annotations.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/metrics/css_html.cmo <.> echo Ocamlc src/metrics/css_html.cmo [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Metrics.cmi <.> echo Ocamlc lib/plugins/Metrics.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/metrics/metrics_cabs.cmi <.> echo Ocamlc src/metrics/metrics_cabs.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Syntactic_callgraph.cmi <.> echo Ocamlc lib/plugins/Syntactic_callgraph.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/value/kf_state.cmi <.> echo Ocamlc src/value/kf_state.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/value/separate.cmi <.> echo Ocamlc src/value/separate.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/value/builtins_malloc.cmi <.> echo Ocamlc src/value/builtins_malloc.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/value/local_slevel_compute.cmi <.> echo Ocamlc src/value/local_slevel_compute.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/value/eval_funs.cmi <.> echo Ocamlc src/value/eval_funs.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Occurrence.cmi <.> echo Ocamlc lib/plugins/Occurrence.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/RteGen.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Postdominators.cmi <.> echo Ocamlc lib/plugins/RteGen.cmi <.> echo Ocamlc lib/plugins/Postdominators.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/from/callwise.cmi <.> echo Ocamlc src/from/callwise.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/from/functionwise.cmi <.> echo Ocamlc src/from/functionwise.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Users.cmi <.> echo Ocamlc lib/plugins/Users.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/from/from_register.cmi <.> echo Ocamlc src/from/from_register.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/constant_propagation/register.cmi <.> echo Ocamlc src/constant_propagation/register.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Constant_Propagation.cmi <.> echo Ocamlc lib/plugins/Constant_Propagation.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/inout/inputs.cmi <.> echo Ocamlc src/inout/inputs.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/inout/outputs.cmi <.> echo Ocamlc src/inout/outputs.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/inout/derefs.cmi <.> echo Ocamlc src/inout/derefs.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/inout/access_path.cmi <.> echo Ocamlc src/inout/access_path.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Semantic_callgraph.cmi <.> echo Ocamlc lib/plugins/Semantic_callgraph.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Inout.cmi <.> echo Ocamlc lib/plugins/Inout.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Impact.cmi <.> echo Ocamlc lib/plugins/Impact.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/scope/zones.cmi <.> echo Ocamlc src/scope/zones.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/scope/defs.cmi <.> echo Ocamlc src/scope/defs.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Scope.cmi <.> echo Ocamlc lib/plugins/Scope.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Sparecode.cmi <.> echo Ocamlc lib/plugins/Sparecode.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/buckx/mybigarray.o <.> echo Ocamlc src/buckx/mybigarray.o [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/buckx/buckx_c.o <.> echo Ocamlc src/buckx/buckx_c.o [*] /scratch/devel/frama-c/work/.wrapper/bin/gcc /scratch/devel/frama-c/work/.wrapper/bin/gcc -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -o src/buckx/mybigarray.o -Isrc/misc -Isrc/ai -Isrc/memory_state -Isrc/toplevel -Isrc/slicing_types -Isrc/pdg_types -Isrc/kernel -Isrc/logic -Isrc/lib -Isrc/type -Isrc/project -Isrc/buckx -Isrc/gui -Iexternal -Icil/src -Icil/src/ext -Icil/src/frontc -Icil/src/logic -Icil/ocamlutil -Ilib/plugins -Ilib -I/usr/pkg/lib/ocaml src/buckx/mybigarray.c [*] /scratch/devel/frama-c/work/.wrapper/bin/gcc /scratch/devel/frama-c/work/.wrapper/bin/gcc -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O3 -fno-pic -fomit-frame-pointer -o src/buckx/buckx_c.o -Isrc/misc -Isrc/ai -Isrc/memory_state -Isrc/toplevel -Isrc/slicing_types -Isrc/pdg_types -Isrc/kernel -Isrc/logic -Isrc/lib -Isrc/type -Isrc/project -Isrc/buckx -Isrc/gui -Iexternal -Icil/src -Icil/src/ext -Icil/src/frontc -Icil/src/logic -Icil/ocamlutil -Ilib/plugins -Ilib -I/usr/pkg/lib/ocaml src/buckx/buckx_c.c WARNING: [transform-gcc] passing unknown option -fno-pic <.> /scratch/devel/frama-c/work/.gcc/bin/gcc -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/scratch/devel/frama-c/work/.buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/scratch/devel/frama-c/work/.x11-buildlink/include/libdrm -I/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/scratch/devel/frama-c/work/.buildlink/include/nspr -I/scratch/devel/frama-c/work/.buildlink/include/db4 -L/scratch/devel/frama-c/work/.buildlink/lib -Wl,-R/usr/pkg/lib -L/scratch/devel/frama-c/work/.x11-buildlink/lib -Wl,-R/usr/X11R7/lib -L/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-R/usr/pkg/lib/nss -L/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-R/usr/pkg/lib/nspr -o src/buckx/mybigarray.o -Isrc/misc -Isrc/ai -Isrc/memory_state -Isrc/toplevel -Isrc/slicing_types -Isrc/pdg_types -Isrc/kernel -Isrc/logic -Isrc/lib -Isrc/type -Isrc/project -Isrc/buckx -Isrc/gui -Iexternal -Icil/src -Icil/src/ext -Icil/src/frontc -Icil/src/logic -Icil/ocamlutil -Ilib/plugins -Ilib -I/scratch/devel/frama-c/work/.buildlink/lib/ocaml src/buckx/mybigarray.c [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/aorai/bool3.cmi <.> echo Ocamlc src/aorai/bool3.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/aorai/ltlast.cmi <.> echo Ocamlc src/aorai/ltlast.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/aorai/aorai_dataflow.cmi <.> echo Ocamlc src/aorai/aorai_dataflow.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Aorai.cmi <.> echo Ocamlc lib/plugins/Aorai.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Obfuscator.cmi <.> echo Ocamlc lib/plugins/Obfuscator.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/report/register.cmi <.> echo Ocamlc src/report/register.cmi <.> /scratch/devel/frama-c/work/.gcc/bin/gcc -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/scratch/devel/frama-c/work/.buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include -I/scratch/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/scratch/devel/frama-c/work/.x11-buildlink/include/libdrm -I/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/scratch/devel/frama-c/work/.buildlink/include/nspr -I/scratch/devel/frama-c/work/.buildlink/include/db4 -L/scratch/devel/frama-c/work/.buildlink/lib -Wl,-R/usr/pkg/lib -L/scratch/devel/frama-c/work/.x11-buildlink/lib -Wl,-R/usr/X11R7/lib -L/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-R/usr/pkg/lib/nss -L/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O3 -fno-pic -fomit-frame-pointer -o src/buckx/buckx_c.o -Isrc/misc -Isrc/ai -Isrc/memory_state -Isrc/toplevel -Isrc/slicing_types -Isrc/pdg_types -Isrc/kernel -Isrc/logic -Isrc/lib -Isrc/type -Isrc/project -Isrc/buckx -Isrc/gui -Iexternal -Icil/src -Icil/src/ext -Icil/src/frontc -Icil/src/logic -Icil/ocamlutil -Ilib/plugins -Ilib -I/scratch/devel/frama-c/work/.buildlink/lib/ocaml src/buckx/buckx_c.c [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Report.cmi <.> echo Ocamlc lib/plugins/Report.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Security_slicing.cmi <.> echo Ocamlc lib/plugins/Security_slicing.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/rformat.cmi <.> echo Ocamlc src/wp/rformat.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/wp_error.cmi <.> echo Ocamlc src/wp/wp_error.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/ctypes.cmi <.> echo Ocamlc src/wp/ctypes.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/clabels.cmi <.> echo Ocamlc src/wp/clabels.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/VarUsage.cmi <.> echo Ocamlc src/wp/VarUsage.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/variables_analysis.cmi <.> echo Ocamlc src/wp/variables_analysis.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/normAtLabels.cmi <.> echo Ocamlc src/wp/normAtLabels.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/Context.cmi <.> echo Ocamlc src/wp/Context.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/Warning.cmi <.> echo Ocamlc src/wp/Warning.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/VCS.cmi <.> echo Ocamlc src/wp/VCS.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/script.cmi <.> echo Ocamlc src/wp/script.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/wpReport.cmi <.> echo Ocamlc src/wp/wpReport.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/ProverTask.cmi <.> echo Ocamlc src/wp/ProverTask.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/formula.cmi <.> echo Ocamlc src/wp/formula.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/wp/kreal.cmi <.> echo Ocamlc src/wp/kreal.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlc lib/plugins/Wp.cmi <.> echo Ocamlc lib/plugins/Wp.cmi [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt external/unmarshal.cmx <.> echo Ocamlopt external/unmarshal.cmx [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o external/unmarshal.o /tmp/camlasm0f564c.s <.> /usr/bin/as -o external/unmarshal.o /tmp/camlasm0f564c.s [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/lib/printexc_common_interface.cmx <.> echo Ocamlopt src/lib/printexc_common_interface.cmx [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/lib/printexc_common_interface.o /tmp/camlasmdcc98b.s <.> /usr/bin/as -o src/lib/printexc_common_interface.o /tmp/camlasmdcc98b.s [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/lib/map_common_interface.cmx <.> echo Ocamlopt src/lib/map_common_interface.cmx [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/lib/map_common_interface.o /tmp/camlasmfa199c.s <.> /usr/bin/as -o src/lib/map_common_interface.o /tmp/camlasmfa199c.s [*] /scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/lib/dynlink_common_interface.cmx <.> echo Ocamlopt src/lib/dynlink_common_interface.cmx [*] /scratch/devel/frama-c/work/.wrapper/bin/as /scratch/devel/frama-c/work/.wrapper/bin/as -o src/lib/dynlink_common_interface.o /tmp/camlasm4c8915.s <.> /usr/bin/as -o src/lib/dynlink_common_interface.o /tmp/camlasm4c8915.s