[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf1555.dir
<.> /bin/mkdir -p conf1555.dir
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] as -o test_native_threads.o /tmp/camlasme48464.s
<.> as -o test_native_threads.o /tmp/camlasme48464.s
[*] as -o /tmp/camlstartupdbb83b.o /tmp/camlstartupc2edbc.s
<.> as -o /tmp/camlstartupdbb83b.o /tmp/camlstartupc2edbc.s
[*] cc -O2 -fno-strict-aliasing -fwrapv -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o test_native_threads -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -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 /tmp/camlstartupdbb83b.o /usr/pkg/lib/ocaml/std_exit.o test_native_threads.o /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -lm
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -O2 -fno-strict-aliasing -fwrapv -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o test_native_threads -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib /tmp/camlstartupdbb83b.o /usr/pkg/lib/ocaml/std_exit.o test_native_threads.o /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -lm -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc --version
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon --version -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -v
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -v -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -V
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -V -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -qversion
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -qversion -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -g -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -g -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. -m32 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. -m32 conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. -m64 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. -m64 conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. -m16 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. -m16 conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf6542.dir
<.> /bin/mkdir -p conf6542.dir
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf25625.dir
<.> /bin/mkdir -p conf25625.dir
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] cc --version
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon --version -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -v
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -v -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -V
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -V -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -qversion
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -qversion -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -version
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -version -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -g -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -g -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -E -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -Werror -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -Werror -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -Werror -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -Werror -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -Werror -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -Werror -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -Werror -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -Werror -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -Werror -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -Werror -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -Werror -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -Werror -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -Werror -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -Werror -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -Werror -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -Werror -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -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 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -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 conftest.c -lpthread
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -o conftest -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib conftest.c -lpthread -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] cc -c -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -c -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -fvisibility=hidden -C -I. -D_REENTRANT conftest.c -D_FORTIFY_SOURCE=2 -fstack-protector
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf977.dir
<.> /bin/mkdir -p conf977.dir
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc/internal
<.> /bin/mkdir -p -p include/jemalloc/internal
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc/internal
<.> /bin/mkdir -p -p include/jemalloc/internal
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc/internal
<.> /bin/mkdir -p -p include/jemalloc/internal
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc/internal
<.> /bin/mkdir -p -p include/jemalloc/internal
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc/internal
<.> /bin/mkdir -p -p include/jemalloc/internal
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc/internal
<.> /bin/mkdir -p -p include/jemalloc/internal
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc
<.> /bin/mkdir -p -p include/jemalloc
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc
<.> /bin/mkdir -p -p include/jemalloc
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc
<.> /bin/mkdir -p -p include/jemalloc
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc
<.> /bin/mkdir -p -p include/jemalloc
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p include/jemalloc
<.> /bin/mkdir -p -p include/jemalloc
[*] as -o test_dynlink.o /tmp/camlasmcb2313.s
<.> as -o test_dynlink.o /tmp/camlasmcb2313.s
[*] as -o test_dynlink.cmxs.startup.o /tmp/camlstartup99aead.s
<.> as -o test_dynlink.cmxs.startup.o /tmp/camlstartup99aead.s
[*] cc -shared -o test_dynlink.cmxs -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -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 test_dynlink.cmxs.startup.o test_dynlink.o
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -shared -o test_dynlink.cmxs -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib test_dynlink.cmxs.startup.o test_dynlink.o -D_FORTIFY_SOURCE=2 -fstack-protector
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf21771.dir
<.> /bin/mkdir -p conf21771.dir
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/true
<.> true 
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/kernel_internals/parsing/clexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/libraries/utils/json.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/kernel_internals/parsing/logic_lexer.ml
<.> echo  'Ocamllex    ' src/libraries/utils/json.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc   ' src/kernel_internals/parsing/cparser.ml
<.> echo  'Ocamllex    ' src/kernel_internals/parsing/logic_lexer.ml
<.> echo  'Ocamllex    ' src/kernel_internals/parsing/clexer.ml
<.> echo  'Ocamlyacc   ' src/kernel_internals/parsing/cparser.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc   ' src/kernel_internals/parsing/logic_parser.ml
<.> echo  'Ocamlyacc   ' src/kernel_internals/parsing/logic_parser.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/kernel_internals/parsing/logic_preprocess.ml
<.> echo  'Ocamllex    ' src/kernel_internals/parsing/logic_preprocess.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' share/frama-c.rc
<.> echo  'Generating  ' share/frama-c.rc
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' share/Makefile.dynamic_config
<.> echo  'Generating  ' share/Makefile.dynamic_config
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' share/Makefile.kernel
<.> echo  'Generating  ' share/Makefile.kernel
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/wp/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/wp/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/variadic/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/variadic/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/security_slicing/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/report/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/print_api/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/security_slicing/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/print_api/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/report/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/obfuscator/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/nonterm/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/loop_analysis/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/nonterm/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/obfuscator/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/loop_analysis/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/e-acsl/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/aorai/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/slicing/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/e-acsl/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/aorai/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/sparecode/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/slicing/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/sparecode/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/scope/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/scope/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/pdg/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/impact/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/pdg/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/inout/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/postdominators/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/inout/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/impact/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/postdominators/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/constant_propagation/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/constant_propagation/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/users/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/from/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/occurrence/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/users/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/from/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/rte/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/occurrence/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/value/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/rte/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/callgraph/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/value/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/metrics/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/kernel_internals/runtime/frama_c_config.ml
<.> echo  'Generating  ' src/plugins/callgraph/.Makefile.plugin.generated
<.> echo  'Generating  ' src/kernel_internals/runtime/frama_c_config.ml
<.> echo  'Generating  ' src/plugins/metrics/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' .depend
<.> echo  'Generating  ' .depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/wp/script.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/wp/driver.ml
<.> echo  'Ocamllex    ' src/plugins/wp/script.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/wp/why3_xml.ml
<.> echo  'Ocamllex    ' src/plugins/wp/driver.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/wp/rformat.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/wp/qed/src/numbers.ml
<.> echo  'Ocamllex    ' src/plugins/wp/why3_xml.ml
<.> echo  'Ocamllex    ' src/plugins/wp/rformat.ml
<.> echo  'Ocamllex    ' src/plugins/wp/qed/src/numbers.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/wp/Wp.mli
<.> echo  'Generating  ' src/plugins/wp/Wp.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/print_api/lexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc   ' src/plugins/print_api/grammar.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/e-acsl/local_config.ml
<.> echo  'Ocamlyacc   ' src/plugins/print_api/grammar.ml
<.> echo  'Generating  ' src/plugins/e-acsl/local_config.ml
<.> echo  'Ocamllex    ' src/plugins/print_api/lexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/aorai/promelalexer_withexps.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc   ' src/plugins/aorai/promelaparser_withexps.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/aorai/promelalexer.ml
<.> echo  'Ocamllex    ' src/plugins/aorai/promelalexer_withexps.ml
<.> echo  'Ocamlyacc   ' src/plugins/aorai/promelaparser_withexps.ml
<.> echo  'Ocamllex    ' src/plugins/aorai/promelalexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc   ' src/plugins/aorai/promelaparser.ml
<.> echo  'Ocamlyacc   ' src/plugins/aorai/promelaparser.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc   ' src/plugins/aorai/ltlparser.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/aorai/ltllexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/aorai/yalexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc   ' src/plugins/aorai/yaparser.ml
<.> echo  'Ocamlyacc   ' src/plugins/aorai/ltlparser.ml
<.> echo  'Ocamllex    ' src/plugins/aorai/yalexer.ml
<.> echo  'Ocamlyacc   ' src/plugins/aorai/yaparser.ml
<.> echo  'Ocamllex    ' src/plugins/aorai/ltllexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/variadic/.depend
<.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/print_api/.depend
<.> echo  'Ocamldep    ' src/plugins/variadic/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/nonterm/.depend
<.> echo  'Ocamldep    ' src/plugins/print_api/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/loop_analysis/.depend
<.> echo  'Ocamldep    ' src/plugins/nonterm/.depend
<.> echo  'Ocamldep    ' src/plugins/loop_analysis/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/e-acsl/.depend
<.> echo  'Ocamldep    ' src/plugins/e-acsl/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/aorai/.depend
<.> echo  'Ocamldep    ' src/plugins/aorai/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/slicing/.depend
<.> echo  'Ocamldep    ' src/plugins/slicing/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/sparecode/.depend
<.> echo  'Ocamldep    ' src/plugins/sparecode/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/scope/.depend
<.> echo  'Ocamldep    ' src/plugins/scope/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/pdg/.depend
<.> echo  'Ocamldep    ' src/plugins/pdg/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/impact/.depend
<.> echo  'Ocamldep    ' src/plugins/impact/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/inout/.depend
<.> echo  'Ocamldep    ' src/plugins/inout/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/postdominators/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/constant_propagation/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/users/.depend
<.> echo  'Ocamldep    ' src/plugins/postdominators/.depend
<.> echo  'Ocamldep    ' src/plugins/users/.depend
<.> echo  'Ocamldep    ' src/plugins/constant_propagation/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/from/.depend
<.> echo  'Ocamldep    ' src/plugins/from/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/rte/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/occurrence/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/value/.depend
<.> echo  'Ocamldep    ' src/plugins/occurrence/.depend
<.> echo  'Ocamldep    ' src/plugins/rte/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/callgraph/.depend
<.> echo  'Ocamldep    ' src/plugins/value/.depend
<.> echo  'Ocamldep    ' src/plugins/callgraph/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/metrics/.depend
<.> echo  'Ocamldep    ' src/plugins/metrics/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/wp/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/report/.depend
<.> echo  'Ocamldep    ' src/plugins/wp/.depend
<.> echo  'Ocamldep    ' src/plugins/report/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/obfuscator/.depend
<.> echo  'Ocamldep    ' src/plugins/obfuscator/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' META.frama-c-aorai
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/bool3.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/unmarshal.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/FCSet.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/bool3.cmi
<.> echo  'Ocamlc      ' src/libraries/datatype/unmarshal.cmi
<.> echo  'Generating  ' META.frama-c-aorai
<.> echo  'Ocamlc      ' src/libraries/stdlib/FCSet.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/pretty_utils.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/pretty_utils.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/FCMap.cmi
<.> echo  'Ocamlc      ' src/libraries/stdlib/FCMap.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/FCHashtbl.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/extlib.cmi
<.> echo  'Ocamlc      ' src/libraries/stdlib/FCHashtbl.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/ltlast.cmi
<.> echo  'Ocamlc      ' src/libraries/stdlib/extlib.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/wto.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/ltlast.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/aorai_dataflow.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/wto.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_dataflow.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/filepath.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/filepath.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/escape.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/escape.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/hook.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/hook.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/value_types/cilE.cmi
<.> echo  'Ocamlc      ' src/plugins/value_types/cilE.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/plugins/aorai/bool3.cmx
<.> echo  'Ocamlopt    ' src/plugins/aorai/bool3.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/datatype/unmarshal.cmx
<.> echo  'Ocamlopt    ' src/libraries/datatype/unmarshal.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/transitioning.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/FCSet.cmx
<.> echo  'Ocamlc      ' src/libraries/stdlib/transitioning.cmi
<.> echo  'Ocamlopt    ' src/libraries/stdlib/FCSet.cmx
[*] as -o src/plugins/aorai/bool3.o /tmp/camlasmae9a7e.s
<.> as -o src/plugins/aorai/bool3.o /tmp/camlasmae9a7e.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/FCBuffer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/hook.cmx
<.> echo  'Ocamlc      ' src/libraries/stdlib/FCBuffer.cmi
<.> echo  'Ocamlopt    ' src/libraries/utils/hook.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/runtime/config.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/runtime/config.cmi
[*] as -o src/libraries/datatype/unmarshal.o /tmp/camlasmf3d6eb.s
<.> as -o src/libraries/datatype/unmarshal.o /tmp/camlasmf3d6eb.s
[*] as -o src/libraries/stdlib/FCSet.o /tmp/camlasm9df589.s
<.> as -o src/libraries/stdlib/FCSet.o /tmp/camlasm9df589.s
[*] as -o src/libraries/utils/hook.o /tmp/camlasmbc904b.s
<.> as -o src/libraries/utils/hook.o /tmp/camlasmbc904b.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/FCMap.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/binary_cache.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/qstack.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/binary_cache.cmi
<.> echo  'Ocamlopt    ' src/libraries/stdlib/FCMap.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/utf8_logic.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/qstack.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/utf8_logic.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/escape.cmx
[*] as -o src/libraries/stdlib/FCMap.o /tmp/camlasm492ff3.s
<.> as -o src/libraries/stdlib/FCMap.o /tmp/camlasm492ff3.s
<.> echo  'Ocamlopt    ' src/libraries/utils/escape.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/alpha.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/typing/alpha.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/errorloc.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/errorloc.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/wto.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/wto.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/bitvector.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/logic_preprocess.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/bitvector.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/logic_preprocess.cmi
[*] as -o src/libraries/utils/escape.o /tmp/camlasmd9b55f.s
<.> as -o src/libraries/utils/escape.o /tmp/camlasmd9b55f.s
[*] as -o src/libraries/utils/wto.o /tmp/camlasm13be26.s
<.> as -o src/libraries/utils/wto.o /tmp/camlasm13be26.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/lattice_messages.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/lattice_messages.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/unicode.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' ptests/ptests_config.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' tests/ptests_config
<.> echo  'Ocamlc      ' src/libraries/utils/unicode.cmi
<.> echo  'Generating  ' ptests/ptests_config.ml
<.> echo  'Generating  ' tests/ptests_config
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/e-acsl/tests/ptests_config
<.> echo  'Generating  ' src/plugins/e-acsl/tests/ptests_config
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p tests
<.> /bin/mkdir -p -p tests
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/report/tests/ptests_config
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/wp/tests/ptests_config
<.> echo  'Generating  ' src/plugins/report/tests/ptests_config
<.> echo  'Generating  ' src/plugins/wp/tests/ptests_config
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p tests
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/bool3.cmo
<.> /bin/mkdir -p -p tests
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p tests
<.> echo  'Ocamlc      ' src/plugins/aorai/bool3.cmo
<.> /bin/mkdir -p -p tests
[*] as -o src/kernel_internals/runtime/frama_c_config.o /tmp/camlasme8ab5c.s
<.> as -o src/kernel_internals/runtime/frama_c_config.o /tmp/camlasme8ab5c.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/structural_descr.cmi
<.> echo  'Ocamlc      ' src/libraries/datatype/structural_descr.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/plugin_entry_points/log.cmi
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/log.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/integer.cmi
<.> echo  'Ocamlc      ' src/libraries/stdlib/integer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/ltl_output.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/ltl_output.cmi
[*] as -o /tmp/camlstartupe40069.o /tmp/camlstartupdb738c.s
<.> as -o /tmp/camlstartupe40069.o /tmp/camlstartupdb738c.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/datatype/structural_descr.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/transitioning.cmx
<.> echo  'Ocamlopt    ' src/libraries/datatype/structural_descr.cmx
[*] cc -O2 -fno-strict-aliasing -fwrapv -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o bin/frama-c-config -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -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 /tmp/camlstartupe40069.o /usr/pkg/lib/ocaml/std_exit.o src/kernel_internals/runtime/frama_c_config.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -lm
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -O2 -fno-strict-aliasing -fwrapv -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o bin/frama-c-config -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib /tmp/camlstartupe40069.o /usr/pkg/lib/ocaml/std_exit.o src/kernel_internals/runtime/frama_c_config.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -lm -D_FORTIFY_SOURCE=2 -fstack-protector
<.> echo  'Ocamlopt    ' src/libraries/stdlib/transitioning.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/FCBuffer.cmx
<.> echo  'Ocamlopt    ' src/libraries/stdlib/FCBuffer.cmx
[*] as -o src/libraries/stdlib/transitioning.o /tmp/camlasmcd0fc1.s
<.> as -o src/libraries/stdlib/transitioning.o /tmp/camlasmcd0fc1.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/integer.cmx
<.> echo  'Ocamlopt    ' src/libraries/stdlib/integer.cmx
[*] as -o src/libraries/datatype/structural_descr.o /tmp/camlasmf6020a.s
<.> as -o src/libraries/datatype/structural_descr.o /tmp/camlasmf6020a.s
[*] as -o src/libraries/stdlib/FCBuffer.o /tmp/camlasmad6ba0.s
<.> as -o src/libraries/stdlib/FCBuffer.o /tmp/camlasmad6ba0.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/FCHashtbl.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/qstack.cmx
<.> echo  'Ocamlopt    ' src/libraries/stdlib/FCHashtbl.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/qstack.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/utf8_logic.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/utf8_logic.cmx
[*] as -o src/libraries/stdlib/integer.o /tmp/camlasme072f2.s
<.> as -o src/libraries/stdlib/integer.o /tmp/camlasme072f2.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/plugins/aorai/ltl_output.cmx
<.> echo  'Ocamlopt    ' src/plugins/aorai/ltl_output.cmx
[*] as -o src/libraries/utils/utf8_logic.o /tmp/camlasmf004fe.s
<.> as -o src/libraries/utils/utf8_logic.o /tmp/camlasmf004fe.s
[*] as -o src/libraries/utils/qstack.o /tmp/camlasmbe40cb.s
<.> as -o src/libraries/utils/qstack.o /tmp/camlasmbe40cb.s
[*] as -o src/libraries/stdlib/FCHashtbl.o /tmp/camlasm2c3fb7.s
<.> as -o src/libraries/stdlib/FCHashtbl.o /tmp/camlasm2c3fb7.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/bitvector.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Linking     ' bin/ptests.opt
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/type.cmi
<.> echo  'Ocamlopt    ' src/libraries/utils/bitvector.cmx
<.> echo  'Ocamlc      ' src/libraries/datatype/type.cmi
<.> echo  'Linking     ' bin/ptests.opt
[*] as -o src/plugins/aorai/ltl_output.o /tmp/camlasm62ba55.s
<.> as -o src/plugins/aorai/ltl_output.o /tmp/camlasm62ba55.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/project_skeleton.cmi
[*] as -o ptests/ptests_config.o /tmp/camlasm4fdd99.s
<.> as -o ptests/ptests_config.o /tmp/camlasm4fdd99.s
<.> echo  'Ocamlc      ' src/libraries/project/project_skeleton.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/cil_types.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_data/cil_types.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/cmdline_parameters/cmdline.cmi
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/cmdline.cmi
[*] as -o src/libraries/utils/bitvector.o /tmp/camlasmd2a572.s
<.> as -o src/libraries/utils/bitvector.o /tmp/camlasmd2a572.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/ltl_output.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/cfg.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/ltl_output.cmo
<.> echo  'Ocamlc      ' src/kernel_internals/typing/cfg.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/datatype/type.cmx
<.> echo  'Ocamlopt    ' src/libraries/datatype/type.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/extlib.cmx
<.> echo  'Ocamlopt    ' src/libraries/stdlib/extlib.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/plugin_entry_points/journal.cmi
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/journal.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/floating_point.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/floating_point.cmi
[*] as -o src/libraries/stdlib/extlib.o /tmp/camlasm6d66a6.s
<.> as -o src/libraries/stdlib/extlib.o /tmp/camlasm6d66a6.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/runtime/machdeps.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/runtime/machdeps.cmi
[*] as -o src/libraries/datatype/type.o /tmp/camlasm3a21e5.s
<.> as -o src/libraries/datatype/type.o /tmp/camlasm3a21e5.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/ast_info.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/ast_info.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/cil_descriptive_printer.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/cil_descriptive_printer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/analysis/ordered_stmt.cmi
<.> echo  'Ocamlc      ' src/kernel_services/analysis/ordered_stmt.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/analysis/undefined_sequence.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/rmtmps.cmi
<.> echo  'Ocamlc      ' src/kernel_services/analysis/undefined_sequence.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/typing/rmtmps.cmi
[*] as -o ptests/ptests.o /tmp/camlasmfa3092.s
<.> as -o ptests/ptests.o /tmp/camlasmfa3092.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/oneret.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/mergecil.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/logic_builtin.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/typing/oneret.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/typing/mergecil.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/typing/logic_builtin.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/plugins/value_types/cilE.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/parsetree/logic_ptree.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/descr.cmi
<.> echo  'Ocamlopt    ' src/plugins/value_types/cilE.cmx
<.> echo  'Ocamlc      ' src/libraries/datatype/descr.cmi
<.> echo  'Ocamlc      ' src/kernel_services/parsetree/logic_ptree.cmi
[*] as -o /tmp/camlstartupfa9d98.o /tmp/camlstartup8a333d.s
<.> as -o /tmp/camlstartupfa9d98.o /tmp/camlstartup8a333d.s
[*] as -o src/plugins/value_types/cilE.o /tmp/camlasm88c6d7.s
<.> as -o src/plugins/value_types/cilE.o /tmp/camlasm88c6d7.s
[*] cc -O2 -fno-strict-aliasing -fwrapv -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o bin/ptests.opt -Lptests -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -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 -Wl,-E /tmp/camlstartupfa9d98.o /usr/pkg/lib/ocaml/std_exit.o ptests/ptests.o ptests/ptests_config.o /usr/pkg/lib/ocaml/dynlink.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -lm
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -O2 -fno-strict-aliasing -fwrapv -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o bin/ptests.opt -Lptests -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/tmp/devel/frama-c/work/.buildlink/include -I/tmp/devel/frama-c/work/.buildlink/include/glib-2.0 -I/tmp/devel/frama-c/work/.buildlink/include/gio-unix-2.0 -I/tmp/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/tmp/devel/frama-c/work/.x11-buildlink/include -I/tmp/devel/frama-c/work/.x11-buildlink/include/freetype2 -I/tmp/devel/frama-c/work/.buildlink/include/harfbuzz -L/tmp/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/tmp/devel/frama-c/work/.x11-buildlink/lib -Wl,-rpath,/usr/X11R7/lib -Wl,-E /tmp/camlstartupfa9d98.o /usr/pkg/lib/ocaml/std_exit.o ptests/ptests.o ptests/ptests_config.o /usr/pkg/lib/ocaml/dynlink.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -lm -D_FORTIFY_SOURCE=2 -fstack-protector
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/printer_api.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/printer_api.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/pretty_utils.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/pretty_utils.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/filepath.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/filepath.cmx
[*] as -o src/libraries/utils/filepath.o /tmp/camlasm63dbf1.s
<.> as -o src/libraries/utils/filepath.o /tmp/camlasm63dbf1.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/datatype/descr.cmx
<.> echo  'Ocamlopt    ' src/libraries/datatype/descr.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_internals/runtime/machdeps.cmx
<.> echo  'Ocamlopt    ' src/kernel_internals/runtime/machdeps.cmx
[*] as -o src/libraries/utils/pretty_utils.o /tmp/camlasm23ea62.s
<.> as -o src/libraries/utils/pretty_utils.o /tmp/camlasm23ea62.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/logic_print.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/logic_print.cmi
[*] as -o src/libraries/datatype/descr.o /tmp/camlasmed58d2.s
<.> as -o src/libraries/datatype/descr.o /tmp/camlasmed58d2.s
[*] as -o src/kernel_internals/runtime/machdeps.o /tmp/camlasmcc34cd.s
<.> as -o src/kernel_internals/runtime/machdeps.o /tmp/camlasmcc34cd.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/datatype.cmi
<.> echo  'Ocamlc      ' src/libraries/datatype/datatype.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/parsetree/cabs.cmo
<.> echo  'Ocamlc      ' src/kernel_services/parsetree/cabs.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelaast.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/printer.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/promelaast.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/printer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/logic_parser.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/logic_parser.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/cparser.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/cparser.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/ltlparser.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/yaparser.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/ltlparser.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/yaparser.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelaparser.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/promelaparser.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelaparser_withexps.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_services/plugin_entry_points/log.cmx
<.> echo  'Ocamlc      ' src/plugins/aorai/promelaparser_withexps.cmi
<.> echo  'Ocamlopt    ' src/kernel_services/plugin_entry_points/log.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_internals/runtime/config.cmx
<.> echo  'Ocamlopt    ' src/kernel_internals/runtime/config.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/printer_builder.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/printer_builder.cmi
[*] as -o src/kernel_internals/runtime/config.o /tmp/camlasmb69859.s
<.> as -o src/kernel_internals/runtime/config.o /tmp/camlasmb69859.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/cil_printer.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/cil_printer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/cprint.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/cprint.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/plugins/aorai/ltlparser.cmx
<.> echo  'Ocamlopt    ' src/plugins/aorai/ltlparser.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/frontc.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/typing/frontc.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/state.cmi
<.> echo  'Ocamlc      ' src/libraries/project/state.cmi
[*] as -o src/plugins/aorai/ltlparser.o /tmp/camlasm6eb2d9.s
<.> as -o src/plugins/aorai/ltlparser.o /tmp/camlasm6eb2d9.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/cmdline_parameters/typed_parameter.cmi
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/typed_parameter.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/logic_typing.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/logic_typing.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelaoutput.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/promelaoutput.cmi
[*] as -o src/kernel_services/plugin_entry_points/log.o /tmp/camlasmfb5eb5.s
<.> as -o src/kernel_services/plugin_entry_points/log.o /tmp/camlasmfb5eb5.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/logic_simplification.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/logic_simplification.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/logic_lexer.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/logic_lexer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/clexer.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/clexer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/ast.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_data/ast.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/ltlparser.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/ltllexer.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/ltlparser.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/ltllexer.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/yalexer.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/yalexer.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/analysis/wto_statement.cmi
<.> echo  'Ocamlc      ' src/kernel_services/analysis/wto_statement.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/plugin_entry_points/dynamic.cmi
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/dynamic.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/lattice_type.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/lattice_type.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/int_Base.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/int_Base.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/property.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_data/property.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/state_dependency_graph.cmi
<.> echo  'Ocamlc      ' src/libraries/project/state_dependency_graph.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_services/cmdline_parameters/cmdline.cmx
<.> echo  'Ocamlopt    ' src/kernel_services/cmdline_parameters/cmdline.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/state_topological.cmi
<.> echo  'Ocamlc      ' src/libraries/project/state_topological.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_services/parsetree/cabs.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_services/ast_printing/printer_builder.cmx
<.> echo  'Ocamlopt    ' src/kernel_services/parsetree/cabs.cmx
<.> echo  'Ocamlopt    ' src/kernel_services/ast_printing/printer_builder.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/parsetree/cabshelper.cmi
<.> echo  'Ocamlc      ' src/kernel_services/parsetree/cabshelper.cmi
[*] as -o src/kernel_services/parsetree/cabs.o /tmp/camlasm2937b8.s
<.> as -o src/kernel_services/parsetree/cabs.o /tmp/camlasm2937b8.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/rangemap.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/rangemap.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/state_selection.cmi
<.> echo  'Ocamlc      ' src/libraries/project/state_selection.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_category.cmi
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_category.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/hptmap_sig.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/hptmap_sig.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/globals.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_data/globals.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/analysis/dataflow2.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/origin.cmi
<.> echo  'Ocamlc      ' src/kernel_services/analysis/dataflow2.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/origin.cmi
[*] as -o src/kernel_services/ast_printing/printer_builder.o /tmp/camlasmdb0c75.s
<.> as -o src/kernel_services/ast_printing/printer_builder.o /tmp/camlasmdb0c75.s
[*] as -o src/kernel_services/cmdline_parameters/cmdline.o /tmp/camlasmac3e5a.s
<.> as -o src/kernel_services/cmdline_parameters/cmdline.o /tmp/camlasmac3e5a.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/bottom.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/bottom.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/plugins/aorai/ltllexer.cmx
<.> echo  'Ocamlopt    ' src/plugins/aorai/ltllexer.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/project.cmi
<.> echo  'Ocamlc      ' src/libraries/project/project.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/hptmap.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/hptmap.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi
[*] as -o src/plugins/aorai/ltllexer.o /tmp/camlasmadb872.s
<.> as -o src/plugins/aorai/ltllexer.o /tmp/camlasmadb872.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/project/project_skeleton.cmx
<.> echo  'Ocamlopt    ' src/libraries/project/project_skeleton.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/binary_cache.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/binary_cache.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/state_builder.cmi
<.> echo  'Ocamlc      ' src/libraries/project/state_builder.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/hptset.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/hptset.cmi
[*] as -o src/libraries/project/project_skeleton.o /tmp/camlasmd29e1a.s
<.> as -o src/libraries/project/project_skeleton.o /tmp/camlasmd29e1a.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/datatype/datatype.cmx
<.> echo  'Ocamlopt    ' src/libraries/datatype/datatype.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/plugin_entry_points/emitter.cmi
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/emitter.cmi
[*] as -o src/libraries/utils/binary_cache.o /tmp/camlasmbf3002.s
<.> as -o src/libraries/utils/binary_cache.o /tmp/camlasmbf3002.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/logic_env.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/logic_env.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/cil_const.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/cil_const.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/abstract_interp.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/abstract_interp.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/cil_state_builder.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/cil_state_builder.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/cil_datatype.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/cil_datatype.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/annotations.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_data/annotations.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/property_status.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_data/property_status.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/analysis/bit_utils.cmi
<.> echo  'Ocamlc      ' src/kernel_services/analysis/bit_utils.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/fval.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/fval.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/alarms.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_data/alarms.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/ival.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/ival.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/int_Intervals_sig.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/int_Intervals_sig.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/base.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/base.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_sig.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_customize.cmi
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_sig.cmi
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_customize.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/kernel_function.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_data/kernel_function.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/cil.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/cil.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/logic_const.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/logic_const.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/cabs2cil.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/data_for_aorai.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/typing/cabs2cil.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/data_for_aorai.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_state.cmi
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_state.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap_sig.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap_sig.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_builder.cmi
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_builder.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/visitors/cabsvisit.cmi
<.> echo  'Ocamlc      ' src/kernel_services/visitors/cabsvisit.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/tr_offset.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/tr_offset.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/plugin_entry_points/plugin.cmi
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/plugin.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/logic_utils.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/logic_utils.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/visitors/visitor.cmi
<.> echo  'Ocamlc      ' src/kernel_services/visitors/visitor.cmi
[*] as -o src/libraries/datatype/datatype.o /tmp/camlasm5ade67.s
<.> as -o src/libraries/datatype/datatype.o /tmp/camlasm5ade67.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/aorai_utils.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_utils.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/filecheck.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/filecheck.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/file.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/file.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/int_Intervals.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/int_Intervals.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/plugin_entry_points/kernel.cmi
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/kernel.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/aorai_option.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/locations.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_option.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/locations.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/project/state.cmx
<.> echo  'Ocamlopt    ' src/libraries/project/state.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_services/plugin_entry_points/journal.cmx
<.> echo  'Ocamlopt    ' src/kernel_services/plugin_entry_points/journal.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_services/cmdline_parameters/typed_parameter.cmx
<.> echo  'Ocamlopt    ' src/kernel_services/cmdline_parameters/typed_parameter.cmx
[*] as -o src/libraries/project/state.o /tmp/camlasm9980d2.s
<.> as -o src/libraries/project/state.o /tmp/camlasm9980d2.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/rangemap.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/rangemap.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/lexerhack.cmo
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/lexerhack.cmo
[*] as -o src/kernel_services/cmdline_parameters/typed_parameter.o /tmp/camlasm7509e4.s
<.> as -o src/kernel_services/cmdline_parameters/typed_parameter.o /tmp/camlasm7509e4.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/map_Lattice.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_services/abstract_interp/bottom.cmx
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/map_Lattice.cmo
<.> echo  'Ocamlopt    ' src/kernel_services/abstract_interp/bottom.cmx
[*] as -o src/kernel_services/plugin_entry_points/journal.o /tmp/camlasm83ed67.s
<.> as -o src/kernel_services/plugin_entry_points/journal.o /tmp/camlasm83ed67.s
[*] as -o src/kernel_services/abstract_interp/bottom.o /tmp/camlasmd69d87.s
<.> as -o src/kernel_services/abstract_interp/bottom.o /tmp/camlasmd69d87.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/aorai_option.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_option.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/path_analysis.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/path_analysis.cmo
[*] as -o src/libraries/utils/rangemap.o /tmp/camlasmec3c77.s
<.> as -o src/libraries/utils/rangemap.o /tmp/camlasmec3c77.s
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelaoutput.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/promelaoutput.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/logic_simplification.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/logic_simplification.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/data_for_aorai.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/data_for_aorai.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/aorai_utils.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_utils.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/utils_parser.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/utils_parser.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/yaparser.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/yaparser.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelaparser.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/promelaparser.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelalexer.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/promelalexer.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelaparser_withexps.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/promelaparser_withexps.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelalexer_withexps.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/promelalexer_withexps.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/aorai_dataflow.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_dataflow.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/aorai_visitors.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_visitors.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/value_types/precise_locs.cmi
<.> echo  'Ocamlc      ' src/plugins/value_types/precise_locs.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/lmap_bitwise.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/lmap_bitwise.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/lmap_sig.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/lmap_sig.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/pdg_types/pdgIndex.cmi
<.> echo  'Ocamlc      ' src/plugins/pdg_types/pdgIndex.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/value_types/inout_type.cmi
<.> echo  'Ocamlc      ' src/plugins/value_types/inout_type.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/project/state_dependency_graph.cmx
<.> echo  'Ocamlopt    ' src/libraries/project/state_dependency_graph.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/project/state_topological.cmx
<.> echo  'Ocamlopt    ' src/libraries/project/state_topological.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/kernel_services/plugin_entry_points/dynamic.cmx
<.> echo  'Ocamlopt    ' src/kernel_services/plugin_entry_points/dynamic.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/lmap.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/lmap.cmi
[*] as -o src/libraries/project/state_topological.o /tmp/camlasmba29e7.s
<.> as -o src/libraries/project/state_topological.o /tmp/camlasmba29e7.s
[*] as -o src/libraries/project/state_dependency_graph.o /tmp/camlasmfa92ba.s
<.> as -o src/libraries/project/state_dependency_graph.o /tmp/camlasmfa92ba.s