[*] /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 conf28385.dir
<.> /bin/mkdir -p conf28385.dir
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] cc -c -o test_native_threads.o /tmp/camlasm0e2418.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o test_native_threads.o /tmp/camlasm0e2418.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o /tmp/camlstartup2cefdf.o /tmp/camlstartupb08af6.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o /tmp/camlstartup2cefdf.o /tmp/camlstartupb08af6.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -O2 -fno-strict-aliasing -fwrapv -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -Wl,-E -Wl,-zrelro -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o test_native_threads -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -fPIC -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 -Wl,-zrelro -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/camlstartup2cefdf.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 -lunix /usr/pkg/lib/ocaml/libasmrun.a -lm
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -O2 -fno-strict-aliasing -fwrapv -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -O2 -D_FORTIFY_SOURCE=2 -Wl,-E -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib -o test_native_threads -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -fPIC -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 -Wl,-zrelro -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/camlstartup2cefdf.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 -lunix /usr/pkg/lib/ocaml/libasmrun.a -lm -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc --version
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro --version -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -v
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -v -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -V
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -V -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -qversion
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -qversion -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] 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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. -m32 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. -m32 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. -m64 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. -m64 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. -m16 conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. -m16 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf3224.dir
<.> /bin/mkdir -p conf3224.dir
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p .
<.> /bin/mkdir -p -p .
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf20187.dir
<.> /bin/mkdir -p conf20187.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 -Wl,-zrelro --version -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -v
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -v -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -V
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -V -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -qversion
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -qversion -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -version
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -version -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include -pie
[*] cc -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -g -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -g -C -I. conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -E -C -I. conftest.c
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -E -C -I. conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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. -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -o conftest -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] cc -c -O2 -fPIC -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 -Wl,-zrelro -c -O2 -fPIC -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf15248.dir
<.> /bin/mkdir -p conf15248.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
[*] cc -c -o test_dynlink.o /tmp/camlasmf1881b.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o test_dynlink.o /tmp/camlasmf1881b.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o test_dynlink.cmxs.startup.o /tmp/camlstartup92567a.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o test_dynlink.cmxs.startup.o /tmp/camlstartup92567a.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -shared -Wl,-zrelro -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o test_dynlink.cmxs -L/usr/pkg/lib/ocaml -O2 -fPIC -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 -Wl,-zrelro -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 -Wl,-zrelro -shared -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib -o test_dynlink.cmxs -L/usr/pkg/lib/ocaml -O2 -fPIC -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 -Wl,-zrelro -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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf3826.dir
<.> /bin/mkdir -p conf3826.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/libraries/utils/json.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/kernel_internals/parsing/clexer.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/clexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/kernel_internals/parsing/logic_lexer.ml
<.> echo  'Ocamlyacc   ' src/kernel_internals/parsing/cparser.ml
<.> echo  'Ocamllex    ' src/kernel_internals/parsing/logic_lexer.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
<.> echo  'Generating  ' src/plugins/security_slicing/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/print_api/.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
<.> echo  'Generating  ' src/plugins/obfuscator/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/nonterm/.Makefile.plugin.generated
<.> 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/loop_analysis/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/e-acsl/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/e-acsl/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/slicing/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/aorai/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/slicing/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/sparecode/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/aorai/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/scope/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/sparecode/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/scope/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/impact/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/pdg/.Makefile.plugin.generated
<.> 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
<.> 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/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
<.> echo  'Generating  ' src/plugins/users/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/from/.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/rte/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/occurrence/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/callgraph/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/metrics/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/callgraph/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/occurrence/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/metrics/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/value/.Makefile.plugin.generated
<.> echo  'Generating  ' src/plugins/value/.Makefile.plugin.generated
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/kernel_internals/runtime/frama_c_config.ml
<.> echo  'Generating  ' src/kernel_internals/runtime/frama_c_config.ml
[*] /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/rformat.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/wp/why3_xml.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/wp/driver.ml
<.> echo  'Ocamllex    ' src/plugins/wp/rformat.ml
<.> echo  'Ocamllex    ' src/plugins/wp/why3_xml.ml
<.> echo  'Ocamllex    ' src/plugins/wp/script.ml
<.> echo  'Ocamllex    ' src/plugins/wp/driver.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/wp/qed/src/numbers.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 'Ocamlyacc   ' src/plugins/print_api/grammar.ml
<.> echo  'Ocamlyacc   ' src/plugins/print_api/grammar.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/e-acsl/local_config.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/print_api/lexer.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
<.> 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  '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 'Ocamllex    ' src/plugins/aorai/ltllexer.ml
<.> echo  'Ocamllex    ' src/plugins/aorai/ltllexer.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc   ' src/plugins/aorai/ltlparser.ml
<.> echo  'Ocamlyacc   ' src/plugins/aorai/ltlparser.ml
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex    ' src/plugins/aorai/yalexer.ml
<.> 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/yaparser.ml
[*] /tmp/devel/frama-c/work/.tools/bin/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/Metrics.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/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.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/Callgraph.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/Value.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.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/Occurrence.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli
[*] /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/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/From.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
<.> /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/Users.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.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/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli
<.> 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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.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
<.> /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/Inout.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
[*] /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/Impact.mli
[*] /tmp/devel/frama-c/work/.tools/bin/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/Pdg.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/Scope.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
<.> /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/Sparecode.mli
<.> 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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli
<.> 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/E_ACSL.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/Aorai.mli
<.> 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
<.> /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
[*] /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/LoopAnalysis.mli
<.> 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/Nonterm.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/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.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/Obfuscator.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/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli
<.> 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
<.> /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
[*] /tmp/devel/frama-c/work/.tools/bin/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/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/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/top/Nonterm.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/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/top/Nonterm.mli
<.> 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/Variadic.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/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
<.> /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/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/Slicing.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/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/Sparecode.mli
<.> /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/Aorai.mli
<.> 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/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
<.> 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
<.> /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
<.> /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/Impact.mli
<.> 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/Postdominators.mli
<.> 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/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/Postdominators.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/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
[*] /tmp/devel/frama-c/work/.tools/bin/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/Inout.mli
<.> 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/Users.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
[*] /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/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli
<.> /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/From.mli
<.> /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/RteGen.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.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/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
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli
<.> /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/Occurrence.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
[*] /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/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
[*] /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
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli
[*] /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/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/Report.mli
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.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/Report.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/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.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/Obfuscator.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/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/echo 'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/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
<.> 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
<.> /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/top/Wp.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/variadic/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/print_api/.depend
<.> echo  'Generating  ' /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/report/.depend
<.> echo  'Ocamldep    ' src/plugins/variadic/.depend
<.> echo  'Ocamldep    ' src/plugins/print_api/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top
<.> echo  'Ocamldep    ' src/plugins/report/.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/obfuscator/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/nonterm/.depend
<.> echo  'Ocamldep    ' src/plugins/obfuscator/.depend
<.> echo  'Ocamldep    ' src/plugins/nonterm/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/loop_analysis/.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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/slicing/.depend
<.> echo  'Ocamldep    ' src/plugins/aorai/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/sparecode/.depend
<.> echo  'Ocamldep    ' src/plugins/slicing/.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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/impact/.depend
<.> echo  'Ocamldep    ' src/plugins/pdg/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/inout/.depend
<.> echo  'Ocamldep    ' src/plugins/impact/.depend
<.> echo  'Ocamldep    ' src/plugins/inout/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/postdominators/.depend
<.> 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/from/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/users/.depend
<.> echo  'Ocamldep    ' src/plugins/constant_propagation/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/rte/.depend
<.> echo  'Ocamldep    ' src/plugins/users/.depend
<.> echo  'Ocamldep    ' src/plugins/rte/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/occurrence/.depend
<.> echo  'Ocamldep    ' src/plugins/from/.depend
<.> echo  'Ocamldep    ' src/plugins/occurrence/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/callgraph/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamldep    ' src/plugins/wp/.depend
<.> echo  'Ocamldep    ' src/plugins/metrics/.depend
<.> echo  'Ocamldep    ' src/plugins/wp/.depend
<.> echo  'Ocamldep    ' src/plugins/value/.depend
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' META.frama-c-aorai
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/unmarshal.cmi
[*] /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/stdlib/FCSet.cmi
<.> echo  'Ocamlc      ' src/libraries/datatype/unmarshal.cmi
<.> echo  'Ocamlc      ' src/libraries/stdlib/FCSet.cmi
<.> echo  'Generating  ' META.frama-c-aorai
<.> echo  'Ocamlc      ' src/plugins/aorai/bool3.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
[*] /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/FCMap.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
<.> echo  'Ocamlc      ' src/plugins/aorai/ltlast.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/wto.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/wto.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/aorai_dataflow.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/filepath.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/hook.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/escape.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/filepath.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_dataflow.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/hook.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/escape.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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/datatype/unmarshal.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/transitioning.cmi
<.> echo  'Ocamlopt    ' src/plugins/aorai/bool3.cmx
<.> echo  'Ocamlc      ' src/libraries/stdlib/transitioning.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/FCSet.cmx
<.> echo  'Ocamlopt    ' src/libraries/datatype/unmarshal.cmx
<.> echo  'Ocamlopt    ' src/libraries/stdlib/FCSet.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/FCBuffer.cmi
[*] cc -c -o src/plugins/aorai/bool3.o /tmp/camlasm1a233f.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/plugins/aorai/bool3.o /tmp/camlasm1a233f.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlc      ' src/libraries/stdlib/FCBuffer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/hook.cmx
<.> 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
[*] cc -c -o src/libraries/stdlib/FCSet.o /tmp/camlasm935d0f.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/stdlib/FCSet.o /tmp/camlasm935d0f.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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/qstack.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/qstack.cmi
[*] cc -c -o src/libraries/utils/hook.o /tmp/camlasm59e1e6.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/hook.o /tmp/camlasm59e1e6.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlopt    ' src/libraries/stdlib/FCMap.cmx
[*] cc -c -o src/libraries/datatype/unmarshal.o /tmp/camlasmf155d4.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/datatype/unmarshal.o /tmp/camlasmf155d4.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/utf8_logic.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/binary_cache.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/escape.cmx
[*] cc -c -o src/libraries/stdlib/FCMap.o /tmp/camlasm54788e.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/stdlib/FCMap.o /tmp/camlasm54788e.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlopt    ' src/libraries/utils/escape.cmx
<.> echo  'Ocamlc      ' src/libraries/utils/binary_cache.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/utf8_logic.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/alpha.cmi
[*] cc -c -o src/libraries/utils/escape.o /tmp/camlasm112de7.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/escape.o /tmp/camlasm112de7.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/errorloc.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/bitvector.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/errorloc.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/wto.cmx
<.> echo  'Ocamlc      ' src/kernel_internals/typing/alpha.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/bitvector.cmi
<.> echo  'Ocamlopt    ' src/libraries/utils/wto.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/logic_preprocess.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/logic_preprocess.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/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
<.> echo  'Ocamlc      ' src/libraries/utils/unicode.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/lattice_messages.cmi
[*] cc -c -o src/libraries/utils/wto.o /tmp/camlasm772b06.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/wto.o /tmp/camlasm772b06.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Generating  ' ptests/ptests_config.ml
[*] /tmp/devel/frama-c/work/.tools/bin/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
<.> echo  'Generating  ' tests/ptests_config
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/report/tests/ptests_config
[*] cc -c -o src/kernel_internals/runtime/frama_c_config.o /tmp/camlasm922f92.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_internals/runtime/frama_c_config.o /tmp/camlasm922f92.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Generating  ' src/plugins/report/tests/ptests_config
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p tests
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating  ' src/plugins/wp/tests/ptests_config
<.> /bin/mkdir -p -p tests
[*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p tests
[*] cc -c -o /tmp/camlstartup1cbef3.o /tmp/camlstartup3f5d3f.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o /tmp/camlstartup1cbef3.o /tmp/camlstartup3f5d3f.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Generating  ' src/plugins/wp/tests/ptests_config
[*] /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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/structural_descr.cmi
[*] cc -O2 -fno-strict-aliasing -fwrapv -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -Wl,-E -Wl,-zrelro -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o bin/frama-c-config -L/usr/pkg/lib/ocaml -O2 -fPIC -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 -Wl,-zrelro -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/camlstartup1cbef3.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 -Wl,-zrelro -O2 -fno-strict-aliasing -fwrapv -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -O2 -D_FORTIFY_SOURCE=2 -Wl,-E -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib -o bin/frama-c-config -L/usr/pkg/lib/ocaml -O2 -fPIC -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 -Wl,-zrelro -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/camlstartup1cbef3.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 -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
<.> /bin/mkdir -p -p tests
<.> 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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/stdlib/integer.cmi
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/log.cmi
<.> echo  'Ocamlc      ' src/libraries/stdlib/integer.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/ltl_output.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/datatype/structural_descr.cmx
<.> echo  'Ocamlc      ' src/plugins/aorai/ltl_output.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/transitioning.cmx
<.> echo  'Ocamlopt    ' src/libraries/datatype/structural_descr.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/FCBuffer.cmx
<.> echo  'Ocamlopt    ' src/libraries/stdlib/transitioning.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/integer.cmx
<.> echo  'Ocamlopt    ' src/libraries/stdlib/FCBuffer.cmx
[*] cc -c -o src/libraries/datatype/structural_descr.o /tmp/camlasm31785e.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/datatype/structural_descr.o /tmp/camlasm31785e.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlopt    ' src/libraries/stdlib/integer.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/stdlib/FCHashtbl.cmx
[*] cc -c -o src/libraries/stdlib/transitioning.o /tmp/camlasm9e7dfc.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/stdlib/transitioning.o /tmp/camlasm9e7dfc.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlopt    ' src/libraries/stdlib/FCHashtbl.cmx
[*] cc -c -o src/libraries/stdlib/FCBuffer.o /tmp/camlasmce3c08.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/stdlib/FCBuffer.o /tmp/camlasmce3c08.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/libraries/stdlib/integer.o /tmp/camlasmd72876.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/stdlib/integer.o /tmp/camlasmd72876.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/qstack.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/plugins/aorai/ltl_output.cmx
[*] cc -c -o src/libraries/stdlib/FCHashtbl.o /tmp/camlasma1c80d.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/stdlib/FCHashtbl.o /tmp/camlasma1c80d.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> 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/plugins/aorai/ltl_output.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/utf8_logic.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/bitvector.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/bitvector.cmx
[*] cc -c -o src/libraries/utils/qstack.o /tmp/camlasm5f029f.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/qstack.o /tmp/camlasm5f029f.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Linking     ' bin/ptests.opt
[*] cc -c -o src/libraries/utils/utf8_logic.o /tmp/camlasm333d03.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/utf8_logic.o /tmp/camlasm333d03.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/plugins/aorai/ltl_output.o /tmp/camlasm0255a4.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/plugins/aorai/ltl_output.o /tmp/camlasm0255a4.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Linking     ' bin/ptests.opt
[*] cc -c -o src/libraries/utils/bitvector.o /tmp/camlasm63bef6.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/bitvector.o /tmp/camlasm63bef6.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/project_skeleton.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/type.cmi
<.> echo  'Ocamlc      ' src/libraries/project/project_skeleton.cmi
<.> echo  'Ocamlc      ' src/libraries/datatype/type.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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/ltl_output.cmo
[*] cc -c -o ptests/ptests_config.o /tmp/camlasmc91a1f.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o ptests/ptests_config.o /tmp/camlasmc91a1f.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/cmdline.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/ltl_output.cmo
[*] /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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/plugin_entry_points/journal.cmi
<.> echo  'Ocamlopt    ' src/libraries/stdlib/extlib.cmx
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/journal.cmi
[*] cc -c -o src/libraries/datatype/type.o /tmp/camlasmd4fdd6.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/datatype/type.o /tmp/camlasmd4fdd6.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/floating_point.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/floating_point.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/runtime/machdeps.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/runtime/machdeps.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/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_queries/ast_info.cmi
[*] cc -c -o ptests/ptests.o /tmp/camlasme1c8c8.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o ptests/ptests.o /tmp/camlasme1c8c8.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/libraries/stdlib/extlib.o /tmp/camlasm5b9538.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/stdlib/extlib.o /tmp/camlasm5b9538.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> 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
[*] /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
[*] cc -c -o /tmp/camlstartupe84f80.o /tmp/camlstartupc7b30c.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o /tmp/camlstartupe84f80.o /tmp/camlstartupc7b30c.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlc      ' src/kernel_services/analysis/ordered_stmt.cmi
<.> echo  'Ocamlc      ' src/kernel_internals/typing/rmtmps.cmi
<.> echo  'Ocamlc      ' src/kernel_services/analysis/undefined_sequence.cmi
[*] cc -O2 -fno-strict-aliasing -fwrapv -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -Wl,-E -Wl,-zrelro -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o bin/ptests.opt -Lptests -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -fPIC -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 -Wl,-zrelro -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/camlstartupe84f80.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 -lunix /usr/pkg/lib/ocaml/libasmrun.a -lm
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -O2 -fno-strict-aliasing -fwrapv -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -O2 -D_FORTIFY_SOURCE=2 -Wl,-E -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib -o bin/ptests.opt -Lptests -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -fPIC -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 -Wl,-zrelro -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/camlstartupe84f80.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 -lunix /usr/pkg/lib/ocaml/libasmrun.a -lm -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -pie
[*] /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
<.> echo  'Ocamlopt    ' src/plugins/value_types/cilE.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/datatype/descr.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/printer_api.cmi
<.> echo  'Ocamlc      ' src/libraries/datatype/descr.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/parsetree/logic_ptree.cmi
<.> echo  'Ocamlc      ' src/kernel_services/parsetree/logic_ptree.cmi
[*] cc -c -o src/plugins/value_types/cilE.o /tmp/camlasm899f59.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/plugins/value_types/cilE.o /tmp/camlasm899f59.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/printer_api.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/cfg.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/pretty_utils.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlopt    ' src/libraries/utils/filepath.cmx
<.> echo  'Ocamlc      ' src/kernel_internals/typing/cfg.cmi
<.> echo  'Ocamlopt    ' src/libraries/utils/pretty_utils.cmx
<.> echo  'Ocamlopt    ' src/libraries/utils/filepath.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/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/libraries/datatype/descr.cmx
<.> echo  'Ocamlopt    ' src/kernel_internals/runtime/machdeps.cmx
[*] cc -c -o src/libraries/utils/filepath.o /tmp/camlasm92e4ec.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/filepath.o /tmp/camlasm92e4ec.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_printing/logic_print.cmi
[*] cc -c -o src/libraries/utils/pretty_utils.o /tmp/camlasm73afd1.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/pretty_utils.o /tmp/camlasm73afd1.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> echo  'Ocamlc      ' src/kernel_services/ast_printing/logic_print.cmi
[*] cc -c -o src/kernel_internals/runtime/machdeps.o /tmp/camlasmc61a1d.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_internals/runtime/machdeps.o /tmp/camlasmc61a1d.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/libraries/datatype/descr.o /tmp/camlasm316b56.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/datatype/descr.o /tmp/camlasm316b56.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/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/libraries/datatype/datatype.cmi
<.> 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
<.> 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/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
<.> 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  '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
[*] cc -c -o src/kernel_internals/runtime/config.o /tmp/camlasm3b48ac.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_internals/runtime/config.o /tmp/camlasm3b48ac.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/typing/frontc.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/state.cmi
<.> echo  'Ocamlopt    ' src/plugins/aorai/ltlparser.cmx
<.> echo  'Ocamlc      ' src/kernel_internals/typing/frontc.cmi
<.> echo  'Ocamlc      ' src/libraries/project/state.cmi
[*] /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
[*] cc -c -o src/plugins/aorai/ltlparser.o /tmp/camlasm0ed74b.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/plugins/aorai/ltlparser.o /tmp/camlasm0ed74b.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/kernel_services/plugin_entry_points/log.o /tmp/camlasm3a2371.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_services/plugin_entry_points/log.o /tmp/camlasm3a2371.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/plugins/aorai/promelaoutput.cmi
<.> echo  'Ocamlc      ' src/plugins/aorai/promelaoutput.cmi
[*] /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_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_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
<.> echo  'Ocamlc      ' src/plugins/aorai/ltlparser.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/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
<.> echo  'Ocamlc      ' src/plugins/aorai/ltllexer.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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_data/property.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/int_Base.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
<.> 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/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
[*] cc -c -o src/kernel_services/parsetree/cabs.o /tmp/camlasmd50d49.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_services/parsetree/cabs.o /tmp/camlasmd50d49.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/utils/hptmap_sig.cmi
<.> echo  'Ocamlc      ' src/libraries/utils/hptmap_sig.cmi
<.> echo  'Ocamlc      ' src/kernel_services/cmdline_parameters/parameter_category.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/analysis/dataflow2.cmi
<.> 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/abstract_interp/origin.cmi
[*] cc -c -o src/kernel_services/ast_printing/printer_builder.o /tmp/camlasm02ce79.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_services/ast_printing/printer_builder.o /tmp/camlasm02ce79.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/kernel_services/cmdline_parameters/cmdline.o /tmp/camlasm405694.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_services/cmdline_parameters/cmdline.o /tmp/camlasm405694.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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
[*] cc -c -o src/plugins/aorai/ltllexer.o /tmp/camlasmd8fa32.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/plugins/aorai/ltllexer.o /tmp/camlasmd8fa32.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/libraries/project/state_builder.cmi
<.> echo  'Ocamlopt    ' src/libraries/utils/binary_cache.cmx
<.> 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
[*] cc -c -o src/libraries/project/project_skeleton.o /tmp/camlasm9a2270.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/project/project_skeleton.o /tmp/camlasm9a2270.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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/ast_queries/cil_datatype.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/cil_datatype.cmi
[*] cc -c -o src/libraries/utils/binary_cache.o /tmp/camlasm54195f.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/binary_cache.o /tmp/camlasm54195f.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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/plugin_entry_points/emitter.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/ast_queries/logic_env.cmi
<.> echo  'Ocamlc      ' src/kernel_services/plugin_entry_points/emitter.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/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/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/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/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/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/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/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
<.> 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/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/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_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/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
[*] /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_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/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/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
<.> echo  'Ocamlc      ' src/plugins/aorai/aorai_option.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
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap.cmi
<.> echo  'Ocamlc      ' src/kernel_services/ast_queries/file.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/offsetmap.cmi
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_internals/parsing/lexerhack.cmo
<.> echo  'Ocamlc      ' src/kernel_internals/parsing/lexerhack.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/map_Lattice.cmo
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/map_Lattice.cmo
[*] /tmp/devel/frama-c/work/.tools/bin/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/aorai_option.cmo
<.> echo  'Ocamlc      ' src/plugins/aorai/path_analysis.cmo
[*] /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
[*] cc -c -o src/libraries/datatype/datatype.o /tmp/camlasm2865c7.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/datatype/datatype.o /tmp/camlasm2865c7.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
<.> 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/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 '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
[*] cc -c -o src/libraries/project/state.o /tmp/camlasm53700c.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/project/state.o /tmp/camlasm53700c.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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
[*] cc -c -o src/kernel_services/cmdline_parameters/typed_parameter.o /tmp/camlasm3ec5b5.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_services/cmdline_parameters/typed_parameter.o /tmp/camlasm3ec5b5.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/kernel_services/plugin_entry_points/journal.o /tmp/camlasmee8d59.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_services/plugin_entry_points/journal.o /tmp/camlasmee8d59.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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 'Ocamlopt    ' src/kernel_services/abstract_interp/bottom.cmx
[*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc      ' src/kernel_services/abstract_interp/locations.cmi
<.> echo  'Ocamlopt    ' src/kernel_services/abstract_interp/bottom.cmx
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/locations.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
[*] cc -c -o src/kernel_services/abstract_interp/bottom.o /tmp/camlasm1b33a3.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/kernel_services/abstract_interp/bottom.o /tmp/camlasm1b33a3.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /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
[*] cc -c -o src/libraries/utils/rangemap.o /tmp/camlasm8c9fd1.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/utils/rangemap.o /tmp/camlasm8c9fd1.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/libraries/project/state_dependency_graph.o /tmp/camlasm13fb84.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/project/state_dependency_graph.o /tmp/camlasm13fb84.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] cc -c -o src/libraries/project/state_topological.o /tmp/camlasm3b791e.s
<.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o src/libraries/project/state_topological.o /tmp/camlasm3b791e.s -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong -I/tmp/devel/frama-c/work/.buildlink/include
[*] /tmp/devel/frama-c/work/.tools/bin/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/plugins/value_types/precise_locs.cmi
<.> echo  'Ocamlc      ' src/kernel_services/abstract_interp/lmap_bitwise.cmi