[*] /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 conf13611.dir <.> /bin/mkdir -p conf13611.dir [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] cc -c -o test_dynlink.o /tmp/camlasm4d58e3.s <.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o test_dynlink.o /tmp/camlasm4d58e3.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/camlstartup3d2ae5.s <.> /tmp/devel/frama-c/work/.gcc/bin/gcc -fcommon -Wl,-zrelro -c -o test_dynlink.cmxs.startup.o /tmp/camlstartup3d2ae5.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/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 -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 [*] 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/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 -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/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 -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/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 -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/pkg/include/glib-2.0 -I/usr/pkg/include/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -g -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -c -O2 -fPIC -D_FORTIFY_SOURCE=2 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -E -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -E -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -E -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 conftest.c -fPIC -D_FORTIFY_SOURCE=2 -fstack-protector-strong [*] cc -E -I/usr/pkg/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/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/pkg/include/harfbuzz -I/usr/X11R7/include/libdrm -I/usr/pkg/include/python3.10 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 -I/tmp/devel/frama-c/work/.x11-buildlink/include/libdrm -I/tmp/devel/frama-c/work/.buildlink/include/python3.10 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 [*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf12599.dir <.> /bin/mkdir -p conf12599.dir [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /tmp/devel/frama-c/work/.tools/bin/mkdir conf25036.dir <.> /bin/mkdir -p conf25036.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 'Generating ' src/plugins/metrics/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/metrics/.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/reduc/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/value/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/callgraph/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/reduc/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/occurrence/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/value/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/occurrence/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/rte/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/from/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/users/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/from/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/constant_propagation/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/postdominators/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/rte/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/constant_propagation/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/users/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/postdominators/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/inout/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/impact/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/inout/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/pdg/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/scope/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/impact/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/pdg/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/scope/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/sparecode/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/sparecode/.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 [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/dive/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/slicing/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/dive/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/aorai/.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/instantiate/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/loop_analysis/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/instantiate/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/loop_analysis/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/markdown-report/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/nonterm/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/markdown-report/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/nonterm/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/obfuscator/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/print_api/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/obfuscator/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/qed/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/report/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/print_api/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/qed/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/report/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/security_slicing/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/security_slicing/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/server/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/studia/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/server/.Makefile.plugin.generated [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/variadic/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/studia/.Makefile.plugin.generated <.> echo 'Generating ' src/plugins/variadic/.Makefile.plugin.generated [*] /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 'Ocamllex ' src/kernel_internals/parsing/clexer.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 [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc ' src/kernel_internals/parsing/logic_parser.ml <.> echo 'Ocamlyacc ' src/kernel_internals/parsing/cparser.ml <.> echo 'Ocamlyacc ' src/kernel_internals/parsing/logic_parser.ml <.> echo 'Ocamllex ' src/kernel_internals/parsing/logic_lexer.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 'Ocamllex ' src/libraries/utils/json.ml <.> echo 'Ocamllex ' src/libraries/utils/json.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/libraries/stdlib/transitioning.ml <.> echo 'Generating ' src/libraries/stdlib/transitioning.ml [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p lib/fc/ <.> /bin/mkdir -p -p lib/fc/ [*] /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 ' META.frama-c-metrics <.> echo 'Generating ' META.frama-c-metrics [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/value/Eva.mli <.> echo 'Generating ' src/plugins/value/Eva.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/qed/Qed.mli <.> echo 'Generating ' src/plugins/qed/Qed.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/wp/Wp.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-callgraph <.> echo 'Generating ' META.frama-c-callgraph <.> echo 'Generating ' src/plugins/wp/Wp.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-reduc <.> echo 'Generating ' META.frama-c-reduc [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-occurrence [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-rtegen <.> echo 'Generating ' META.frama-c-occurrence [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Generating ' META.frama-c-rtegen <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-from <.> echo 'Generating ' META.frama-c-from [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-users <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Generating ' META.frama-c-users [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-constant_propagation <.> echo 'Generating ' META.frama-c-constant_propagation [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-postdominators <.> echo 'Generating ' META.frama-c-postdominators [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-inout [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-impact [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Generating ' META.frama-c-inout <.> echo 'Generating ' META.frama-c-impact <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-pdg <.> echo 'Generating ' META.frama-c-pdg [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-scope <.> echo 'Generating ' META.frama-c-scope [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-sparecode [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Generating ' META.frama-c-sparecode <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-slicing <.> echo 'Generating ' META.frama-c-slicing [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/aorai/aorai_eva_analysis.ml <.> echo 'Generating ' src/plugins/aorai/aorai_eva_analysis.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex ' src/plugins/aorai/promelalexer_withexps.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc ' src/plugins/aorai/promelaparser_withexps.ml <.> echo 'Ocamllex ' src/plugins/aorai/promelalexer_withexps.ml <.> echo 'Ocamlyacc ' src/plugins/aorai/promelaparser_withexps.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex ' src/plugins/aorai/promelalexer.ml [*] /tmp/devel/frama-c/work/.tools/bin/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/promelalexer.ml <.> echo 'Ocamllex ' src/plugins/aorai/ltllexer.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc ' src/plugins/aorai/ltlparser.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex ' src/plugins/aorai/yalexer.ml <.> echo 'Ocamlyacc ' src/plugins/aorai/ltlparser.ml <.> echo 'Ocamllex ' src/plugins/aorai/yalexer.ml <.> echo 'Ocamlyacc ' src/plugins/aorai/promelaparser.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 ' META.frama-c-aorai [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-dive [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/e-acsl/src/local_config.ml <.> echo 'Generating ' META.frama-c-aorai <.> echo 'Generating ' META.frama-c-dive [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Generating ' src/plugins/e-acsl/src/local_config.ml <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-e_acsl <.> echo 'Generating ' META.frama-c-e_acsl [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-instantiate <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Generating ' META.frama-c-instantiate [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-loopanalysis [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Generating ' META.frama-c-loopanalysis <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-nonterm [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-obfuscator <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Generating ' META.frama-c-nonterm <.> echo 'Generating ' META.frama-c-obfuscator [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlyacc ' src/plugins/print_api/grammar.ml <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex ' src/plugins/print_api/lexer.ml <.> echo 'Ocamlyacc ' src/plugins/print_api/grammar.ml <.> echo 'Ocamllex ' src/plugins/print_api/lexer.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-print_api <.> echo 'Generating ' META.frama-c-print_api [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-qed <.> echo 'Generating ' META.frama-c-qed [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-report <.> echo 'Generating ' META.frama-c-report [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-security_slicing <.> echo 'Generating ' META.frama-c-security_slicing [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-server <.> echo 'Generating ' META.frama-c-server [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-studia <.> echo 'Generating ' META.frama-c-studia [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-variadic <.> echo 'Generating ' META.frama-c-variadic [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex ' src/plugins/wp/script.ml <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> echo 'Ocamllex ' src/plugins/wp/script.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex ' src/plugins/wp/rformat.ml <.> echo 'Ocamllex ' src/plugins/wp/rformat.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamllex ' src/plugins/wp/driver.ml <.> echo 'Ocamllex ' src/plugins/wp/driver.ml [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-wp [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Metrics.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Callgraph.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Metrics.mli <.> echo 'Generating ' META.frama-c-wp [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Reduc.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Callgraph.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Reduc.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Occurrence.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/RteGen.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Occurrence.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/From.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/RteGen.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/From.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Users.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Users.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Constant_Propagation.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Constant_Propagation.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Postdominators.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Postdominators.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Inout.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Inout.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Impact.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Impact.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Pdg.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Pdg.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Scope.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Scope.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Sparecode.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Slicing.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Sparecode.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Slicing.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Aorai.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Aorai.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Dive.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Dive.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/E_ACSL.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/E_ACSL.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Instantiate.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Nonterm.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Instantiate.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/LoopAnalysis.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Nonterm.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/LoopAnalysis.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Obfuscator.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Print_api.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Obfuscator.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Print_api.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Report.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Security_slicing.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Report.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Security_slicing.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Studia.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Variadic.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Variadic.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Studia.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Metrics.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Metrics.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Metrics.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Metrics.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Reduc.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Callgraph.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Reduc.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Callgraph.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Occurrence.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Occurrence.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Occurrence.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Occurrence.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/RteGen.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/RteGen.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/From.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/From.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/From.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/From.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Users.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Constant_Propagation.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Users.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Postdominators.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Constant_Propagation.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Postdominators.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Inout.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Inout.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Impact.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Impact.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Impact.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Impact.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Pdg.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Pdg.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Scope.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Scope.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Scope.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Scope.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Sparecode.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Sparecode.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Slicing.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Slicing.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Slicing.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Slicing.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Aorai.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Dive.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Aorai.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Dive.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/E_ACSL.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/E_ACSL.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Instantiate.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Instantiate.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/LoopAnalysis.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/LoopAnalysis.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Obfuscator.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Print_api.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Nonterm.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Print_api.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Obfuscator.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Nonterm.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Qed.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Qed.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Report.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Security_slicing.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Report.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Security_slicing.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Security_slicing.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Security_slicing.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Server.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Studia.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Studia.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Server.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Studia.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Studia.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Variadic.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Variadic.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Wp.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/Wp.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Qed.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Qed.mli <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Server.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Server.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Wp.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top/Wp.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Wp.mli <.> echo 'Generating ' /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui/Wp.mli [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/top [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/gui [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/value/Eva.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' META.frama-c-eva <.> echo 'Generating ' src/plugins/value/Eva.mli <.> echo 'Generating ' META.frama-c-eva [*] /tmp/devel/frama-c/work/.tools/bin/mkdir -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ <.> /bin/mkdir -p -p /tmp/devel/frama-c/work/frama-c-25.0-Manganese/lib/plugins/ [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Generating ' src/plugins/value/Eva.mli <.> echo 'Generating ' src/plugins/value/Eva.mli [*] /tmp/devel/frama-c/work/.tools/bin/echo 'Ocamlc ' src/plugins/aorai/bool3.cmo <.> echo 'Ocamlc ' src/plugins/aorai/bool3.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/promelaoutput.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/promelaoutput.cmo <.> echo 'Ocamlc ' src/plugins/aorai/path_analysis.cmo