[*] /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 conf1031.dir
<.> /bin/mkdir -p conf1031.dir
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf22589.dir
<.> /bin/mkdir -p conf22589.dir
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf18319.dir
<.> /bin/mkdir -p conf18319.dir
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] cc -DCONFIGURATION_ONLY -x c cil/ocamlutil/perfcount.c.in -lm -o bin/cycles.exe
<.> /scratch/devel/frama-c/work/.gcc/bin/gcc -DCONFIGURATION_ONLY -x c cil/ocamlutil/perfcount.c.in -lm -o bin/cycles.exe -I/scratch/devel/frama-c/work/.buildlink/include -L/scratch/devel/frama-c/work/.buildlink/lib
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf2921.dir
<.> /bin/mkdir -p conf2921.dir
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf2060.dir
<.> /bin/mkdir -p conf2060.dir
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf2990.dir
<.> /bin/mkdir -p conf2990.dir
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] as -o lib/unionfind.o /tmp/camlasme9553b.s
<.> as -o lib/unionfind.o /tmp/camlasme9553b.s
[*] as -o lib/heap.o /tmp/camlasm807354.s
<.> as -o lib/heap.o /tmp/camlasm807354.s
[*] as -o lib/bitv.o /tmp/camlasm52f38d.s
<.> as -o lib/bitv.o /tmp/camlasm52f38d.s
[*] as -o src/version.o /tmp/camlasm21bb6a.s
<.> as -o src/version.o /tmp/camlasm21bb6a.s
[*] as -o src/util.o /tmp/camlasmd353d6.s
<.> as -o src/util.o /tmp/camlasmd353d6.s
[*] as -o src/blocks.o /tmp/camlasmd45067.s
<.> as -o src/blocks.o /tmp/camlasmd45067.s
[*] as -o src/persistent.o /tmp/camlasm031dd5.s
<.> as -o src/persistent.o /tmp/camlasm031dd5.s
[*] as -o src/imperative.o /tmp/camlasmb6bf66.s
<.> as -o src/imperative.o /tmp/camlasmb6bf66.s
[*] as -o src/delaunay.o /tmp/camlasm087069.s
<.> as -o src/delaunay.o /tmp/camlasm087069.s
[*] as -o src/builder.o /tmp/camlasmd173dd.s
<.> as -o src/builder.o /tmp/camlasmd173dd.s
[*] as -o src/classic.o /tmp/camlasmb9a558.s
<.> as -o src/classic.o /tmp/camlasmb9a558.s
[*] as -o src/rand.o /tmp/camlasmdf4bfb.s
<.> as -o src/rand.o /tmp/camlasmdf4bfb.s
[*] as -o src/oper.o /tmp/camlasm319961.s
<.> as -o src/oper.o /tmp/camlasm319961.s
[*] as -o src/path.o /tmp/camlasm69e7b7.s
<.> as -o src/path.o /tmp/camlasm69e7b7.s
[*] as -o src/traverse.o /tmp/camlasm7dcb59.s
<.> as -o src/traverse.o /tmp/camlasm7dcb59.s
[*] as -o src/coloring.o /tmp/camlasme4b784.s
<.> as -o src/coloring.o /tmp/camlasme4b784.s
[*] as -o src/topological.o /tmp/camlasmfe5da7.s
<.> as -o src/topological.o /tmp/camlasmfe5da7.s
[*] as -o src/components.o /tmp/camlasma51f72.s
<.> as -o src/components.o /tmp/camlasma51f72.s
[*] as -o src/kruskal.o /tmp/camlasm94c1f0.s
<.> as -o src/kruskal.o /tmp/camlasm94c1f0.s
[*] as -o src/flow.o /tmp/camlasm006f08.s
<.> as -o src/flow.o /tmp/camlasm006f08.s
[*] as -o src/graphviz.o /tmp/camlasmde8a72.s
<.> as -o src/graphviz.o /tmp/camlasmde8a72.s
[*] as -o src/gml.o /tmp/camlasm581083.s
<.> as -o src/gml.o /tmp/camlasm581083.s
[*] as -o src/dot_parser.o /tmp/camlasm7eb7fd.s
<.> as -o src/dot_parser.o /tmp/camlasm7eb7fd.s
[*] as -o src/dot_lexer.o /tmp/camlasm861832.s
<.> as -o src/dot_lexer.o /tmp/camlasm861832.s
[*] as -o src/dot.o /tmp/camlasm603a97.s
<.> as -o src/dot.o /tmp/camlasm603a97.s
[*] as -o src/pack.o /tmp/camlasm27939e.s
<.> as -o src/pack.o /tmp/camlasm27939e.s
[*] as -o src/gmap.o /tmp/camlasm64535f.s
<.> as -o src/gmap.o /tmp/camlasm64535f.s
[*] as -o src/minsep.o /tmp/camlasm8e713f.s
<.> as -o src/minsep.o /tmp/camlasm8e713f.s
[*] as -o src/cliquetree.o /tmp/camlasma18f95.s
<.> as -o src/cliquetree.o /tmp/camlasma18f95.s
[*] as -o src/mcs_m.o /tmp/camlasm001b90.s
<.> as -o src/mcs_m.o /tmp/camlasm001b90.s
[*] as -o src/md.o /tmp/camlasmd49bf0.s
<.> as -o src/md.o /tmp/camlasmd49bf0.s
[*] as -o src/strat.o /tmp/camlasm4f7246.s
<.> as -o src/strat.o /tmp/camlasm4f7246.s
[*] as -o /tmp/camlGraph__0c3ef3.o /tmp/camlasme7051c.s
<.> as -o /tmp/camlGraph__0c3ef3.o /tmp/camlasme7051c.s
[*] ld -r -o graph.o /tmp/camlGraph__0c3ef3.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/path.o src/traverse.o src/coloring.o src/topological.o src/components.o src/kruskal.o src/flow.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
<.> ld -r -o graph.o /tmp/camlGraph__0c3ef3.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/path.o src/traverse.o src/coloring.o src/topological.o src/components.o src/kruskal.o src/flow.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
[*] as -o view_graph/viewGraph.o /tmp/camlasm8c87e1.s
<.> as -o view_graph/viewGraph.o /tmp/camlasm8c87e1.s
[*] as -o view_graph/viewGraph_select.o /tmp/camlasm578bd8.s
<.> as -o view_graph/viewGraph_select.o /tmp/camlasm578bd8.s
[*] as -o view_graph/viewGraph_utils.o /tmp/camlasmd61da4.s
<.> as -o view_graph/viewGraph_utils.o /tmp/camlasmd61da4.s
[*] as -o view_graph/viewGraph_test.o /tmp/camlasma406ef.s
<.> as -o view_graph/viewGraph_test.o /tmp/camlasma406ef.s
[*] as -o /tmp/camlstartup4bac03.o /tmp/camlstartup10c3d3.s
<.> as -o /tmp/camlstartup4bac03.o /tmp/camlstartup10c3d3.s
[*] cc -o view_graph/viewgraph.opt -L/usr/pkg/lib/ocaml/lablgtk2 -Lview_graph -Lsrc -Llib -L. -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -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/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -lnspr4 -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -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/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -lnspr4 -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -pthread -L/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -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/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -lnspr4 -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -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/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -lnspr4 -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -pthread -L/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup4bac03.o /usr/pkg/lib/ocaml/std_exit.o view_graph/viewGraph_test.o view_graph/viewGraph_utils.o view_graph/viewGraph_select.o view_graph/viewGraph.o graph.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/lablgtk2/gtkInit.o /usr/pkg/lib/ocaml/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -lunix -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -latk-1.0 -lpangocairo-1.0 -lXext -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lgio-2.0 -lXfixes -lcairo -lX11 -lpng15 -lpango-1.0 -lm -lfreetype -lfontconfig -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -latk-1.0 -lpangocairo-1.0 -lXext -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lgio-2.0 -lXfixes -lcairo -lX11 -lpng15 -lpango-1.0 -lm -lfreetype -lfontconfig -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/devel/frama-c/work/.gcc/bin/gcc -o view_graph/viewgraph.opt -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml/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/usr/include -I/scratch/devel/frama-c/work/.buildlink/include/freetype2 -L/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/usr/lib -Wl,-rpath,/usr/lib -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -O2 -I/scratch/devel/frama-c/work/.buildlink/include/nspr -I/scratch/devel/frama-c/work/.buildlink/include/db4 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -L/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -lnspr4 -L/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib/nss -lnspr4 -Wl,-rpath,/usr/pkg/lib/nspr -pthread -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib/nss -lnspr4 -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib/nss -lnspr4 -Wl,-rpath,/usr/pkg/lib/nspr -pthread -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup4bac03.o /usr/pkg/lib/ocaml/std_exit.o view_graph/viewGraph_test.o view_graph/viewGraph_utils.o view_graph/viewGraph_select.o view_graph/viewGraph.o graph.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/lablgtk2/gtkInit.o /usr/pkg/lib/ocaml/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -lunix -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -latk-1.0 -lpangocairo-1.0 -lXext -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lgio-2.0 -lXfixes -lcairo -lX11 -lpng15 -lpango-1.0 -lm -lfreetype -lfontconfig -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -latk-1.0 -lpangocairo-1.0 -lXext -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lgio-2.0 -lXfixes -lcairo -lX11 -lpng15 -lpango-1.0 -lm -lfreetype -lfontconfig -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir conf16443.dir
<.> /bin/mkdir -p conf16443.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 Building     ocamlgraph
<.> echo  Building ocamlgraph
[*] /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 Generating   src/kernel/config.ml
<.> echo  Generating src/kernel/config.ml
[*] /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/gui/Occurrence.mli
<.> echo  Generating lib/gui/Occurrence.mli
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/gui
<.> /bin/mkdir -p -p lib/gui
[*] /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/gui/Metrics.mli
<.> echo  Generating lib/gui/Metrics.mli
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/gui
<.> /bin/mkdir -p -p lib/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/gui/Syntactic_callgraph.mli
<.> echo  Generating lib/gui/Syntactic_callgraph.mli
[*] /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/mkdir -p lib/gui
<.> /bin/mkdir -p -p lib/gui
[*] /scratch/devel/frama-c/work/.tools/bin/echo Generating   lib/gui/Value.mli
<.> echo  Generating lib/gui/Value.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/mkdir -p lib/gui
<.> /bin/mkdir -p -p lib/gui
[*] /scratch/devel/frama-c/work/.tools/bin/echo Generating   lib/gui/From.mli
<.> echo  Generating lib/gui/From.mli
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/gui
<.> /bin/mkdir -p -p lib/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/Security.mli
<.> echo  Generating lib/plugins/Security.mli
[*] /scratch/devel/frama-c/work/.tools/bin/echo Generating   lib/gui/Security.mli
<.> echo  Generating lib/gui/Security.mli
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/gui
<.> /bin/mkdir -p -p lib/gui
[*] /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/gui/Impact.mli
<.> echo  Generating lib/gui/Impact.mli
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/gui
<.> /bin/mkdir -p -p lib/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/gui/Scope.mli
<.> echo  Generating lib/gui/Scope.mli
[*] /scratch/devel/frama-c/work/.tools/bin/mkdir -p lib/gui
<.> /bin/mkdir -p -p lib/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/Ltl_to_acsl.mli
<.> echo  Generating lib/plugins/Ltl_to_acsl.mli
[*] /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/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/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/value/.depend
<.> echo  Ocamldep src/value/.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/security/.depend
<.> echo  Ocamldep src/security/.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/ltl_to_acsl/.depend
<.> echo  Ocamldep src/ltl_to_acsl/.depend
[*] as -o lib/unionfind.o /tmp/camlasm8dff6e.s
<.> as -o lib/unionfind.o /tmp/camlasm8dff6e.s
[*] as -o lib/heap.o /tmp/camlasm96746d.s
<.> as -o lib/heap.o /tmp/camlasm96746d.s
[*] as -o lib/bitv.o /tmp/camlasma8c3a1.s
<.> as -o lib/bitv.o /tmp/camlasma8c3a1.s
[*] as -o src/version.o /tmp/camlasm6850e1.s
<.> as -o src/version.o /tmp/camlasm6850e1.s
[*] as -o src/util.o /tmp/camlasm065d75.s
<.> as -o src/util.o /tmp/camlasm065d75.s
[*] as -o src/blocks.o /tmp/camlasm4daab3.s
<.> as -o src/blocks.o /tmp/camlasm4daab3.s
[*] as -o src/persistent.o /tmp/camlasm0749ec.s
<.> as -o src/persistent.o /tmp/camlasm0749ec.s
[*] as -o src/imperative.o /tmp/camlasm8fdbfe.s
<.> as -o src/imperative.o /tmp/camlasm8fdbfe.s
[*] as -o src/delaunay.o /tmp/camlasma441a7.s
<.> as -o src/delaunay.o /tmp/camlasma441a7.s
[*] as -o src/builder.o /tmp/camlasm572299.s
<.> as -o src/builder.o /tmp/camlasm572299.s
[*] as -o src/classic.o /tmp/camlasm27affd.s
<.> as -o src/classic.o /tmp/camlasm27affd.s
[*] as -o src/rand.o /tmp/camlasm2a7731.s
<.> as -o src/rand.o /tmp/camlasm2a7731.s
[*] as -o src/oper.o /tmp/camlasm92f8f7.s
<.> as -o src/oper.o /tmp/camlasm92f8f7.s
[*] as -o src/path.o /tmp/camlasm7732d4.s
<.> as -o src/path.o /tmp/camlasm7732d4.s
[*] as -o src/traverse.o /tmp/camlasm02a148.s
<.> as -o src/traverse.o /tmp/camlasm02a148.s
[*] as -o src/coloring.o /tmp/camlasm18ee4a.s
<.> as -o src/coloring.o /tmp/camlasm18ee4a.s
[*] as -o src/topological.o /tmp/camlasmab280d.s
<.> as -o src/topological.o /tmp/camlasmab280d.s
[*] as -o src/components.o /tmp/camlasm417f91.s
<.> as -o src/components.o /tmp/camlasm417f91.s
[*] as -o src/kruskal.o /tmp/camlasm739afc.s
<.> as -o src/kruskal.o /tmp/camlasm739afc.s
[*] as -o src/flow.o /tmp/camlasm9419e1.s
<.> as -o src/flow.o /tmp/camlasm9419e1.s
[*] as -o src/graphviz.o /tmp/camlasm1b57c8.s
<.> as -o src/graphviz.o /tmp/camlasm1b57c8.s
[*] as -o src/gml.o /tmp/camlasmb236ce.s
<.> as -o src/gml.o /tmp/camlasmb236ce.s
[*] as -o src/dot_parser.o /tmp/camlasm184825.s
<.> as -o src/dot_parser.o /tmp/camlasm184825.s
[*] as -o src/dot_lexer.o /tmp/camlasmd44d8f.s
<.> as -o src/dot_lexer.o /tmp/camlasmd44d8f.s
[*] as -o src/dot.o /tmp/camlasm032c99.s
<.> as -o src/dot.o /tmp/camlasm032c99.s
[*] as -o src/pack.o /tmp/camlasmca44df.s
<.> as -o src/pack.o /tmp/camlasmca44df.s
[*] as -o src/gmap.o /tmp/camlasmb12375.s
<.> as -o src/gmap.o /tmp/camlasmb12375.s
[*] as -o src/minsep.o /tmp/camlasm521590.s
<.> as -o src/minsep.o /tmp/camlasm521590.s
[*] as -o src/cliquetree.o /tmp/camlasmcc348d.s
<.> as -o src/cliquetree.o /tmp/camlasmcc348d.s
[*] as -o src/mcs_m.o /tmp/camlasmd0b5e2.s
<.> as -o src/mcs_m.o /tmp/camlasmd0b5e2.s
[*] as -o src/md.o /tmp/camlasm606264.s
<.> as -o src/md.o /tmp/camlasm606264.s
[*] as -o src/strat.o /tmp/camlasmaae4cd.s
<.> as -o src/strat.o /tmp/camlasmaae4cd.s
[*] as -o /tmp/camlGraph__526f50.o /tmp/camlasmcd26e7.s
<.> as -o /tmp/camlGraph__526f50.o /tmp/camlasmcd26e7.s
[*] ld -r -o graph.o /tmp/camlGraph__526f50.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/path.o src/traverse.o src/coloring.o src/topological.o src/components.o src/kruskal.o src/flow.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
<.> ld -r -o graph.o /tmp/camlGraph__526f50.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/path.o src/traverse.o src/coloring.o src/topological.o src/components.o src/kruskal.o src/flow.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
[*] as -o view_graph/viewGraph.o /tmp/camlasm53e68b.s
<.> as -o view_graph/viewGraph.o /tmp/camlasm53e68b.s
[*] as -o view_graph/viewGraph_select.o /tmp/camlasm451dd2.s
<.> as -o view_graph/viewGraph_select.o /tmp/camlasm451dd2.s
[*] as -o view_graph/viewGraph_utils.o /tmp/camlasm44b4e1.s
<.> as -o view_graph/viewGraph_utils.o /tmp/camlasm44b4e1.s
[*] as -o view_graph/viewGraph_test.o /tmp/camlasmff1667.s
<.> as -o view_graph/viewGraph_test.o /tmp/camlasmff1667.s
[*] as -o /tmp/camlstartup718687.o /tmp/camlstartup9306ab.s
<.> as -o /tmp/camlstartup718687.o /tmp/camlstartup9306ab.s
[*] cc -o view_graph/viewgraph.opt -L/usr/pkg/lib/ocaml/lablgtk2 -Lview_graph -Lsrc -Llib -L. -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -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/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -lnspr4 -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -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/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -lnspr4 -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -pthread -L/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -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/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -lnspr4 -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/freetype2 -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/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -lnspr4 -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -pthread -L/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup718687.o /usr/pkg/lib/ocaml/std_exit.o view_graph/viewGraph_test.o view_graph/viewGraph_utils.o view_graph/viewGraph_select.o view_graph/viewGraph.o graph.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/lablgtk2/gtkInit.o /usr/pkg/lib/ocaml/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -lunix -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -latk-1.0 -lpangocairo-1.0 -lXext -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lgio-2.0 -lXfixes -lcairo -lX11 -lpng15 -lpango-1.0 -lm -lfreetype -lfontconfig -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -latk-1.0 -lpangocairo-1.0 -lXext -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lgio-2.0 -lXfixes -lcairo -lX11 -lpng15 -lpango-1.0 -lm -lfreetype -lfontconfig -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm
<.> /scratch/devel/frama-c/work/.gcc/bin/gcc -o view_graph/viewgraph.opt -L/scratch/devel/frama-c/work/.buildlink/lib/ocaml/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/usr/include -I/scratch/devel/frama-c/work/.buildlink/include/freetype2 -L/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/usr/lib -Wl,-rpath,/usr/lib -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -O2 -I/scratch/devel/frama-c/work/.buildlink/include/nspr -I/scratch/devel/frama-c/work/.buildlink/include/db4 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -L/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -lnspr4 -L/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib/nss -lnspr4 -Wl,-rpath,/usr/pkg/lib/nspr -pthread -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib/nss -lnspr4 -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib/nss -lnspr4 -Wl,-rpath,/usr/pkg/lib/nspr -pthread -Wl,-rpath,/usr/pkg/lib /tmp/camlstartup718687.o /usr/pkg/lib/ocaml/std_exit.o view_graph/viewGraph_test.o view_graph/viewGraph_utils.o view_graph/viewGraph_select.o view_graph/viewGraph.o graph.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/lablgtk2/lablgnomecanvas.a /usr/pkg/lib/ocaml/lablgtk2/gtkInit.o /usr/pkg/lib/ocaml/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -lunix -llablgnomecanvas -lgnomecanvas-2 -lart_lgpl_2 -lgtk-x11-2.0 -lgdk-x11-2.0 -latk-1.0 -lpangocairo-1.0 -lXext -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lgio-2.0 -lXfixes -lcairo -lX11 -lpng15 -lpango-1.0 -lm -lfreetype -lfontconfig -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -latk-1.0 -lpangocairo-1.0 -lXext -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lgdk_pixbuf-2.0 -lpangoft2-1.0 -lgio-2.0 -lXfixes -lcairo -lX11 -lpng15 -lpango-1.0 -lm -lfreetype -lfontconfig -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 -lintl /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/lib -Wl,-rpath,/usr/pkg/lib -lm
