[*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir conf14107.dir <.> /bin/mkdir -p conf14107.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] as -o test_native_threads.o /tmp/camlasm1d4563.s <.> as -o test_native_threads.o /tmp/camlasm1d4563.s [*] as -o /tmp/camlstartup21b493.o /tmp/camlstartup27f0f4.s <.> as -o /tmp/camlstartup21b493.o /tmp/camlstartup27f0f4.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -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 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr /tmp/camlstartup21b493.o /usr/pkg/lib/ocaml/std_exit.o test_native_threads.o /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o test_native_threads -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 -L/data/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr /tmp/camlstartup21b493.o /usr/pkg/lib/ocaml/std_exit.o test_native_threads.o /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] cc --version <.> /usr/bin/clang --version -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -v <.> /usr/bin/clang -v -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -V <.> /usr/bin/clang -V -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -qversion <.> /usr/bin/clang -qversion -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr conftest.c <.> /usr/bin/clang -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 -L/data/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr conftest.c -Qunused-arguments -fstack-protector [*] cc -o conftest -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr conftest.c <.> /usr/bin/clang -o conftest -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 -L/data/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr conftest.c -Qunused-arguments -fstack-protector [*] cc -o conftest -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr conftest.c <.> /usr/bin/clang -o conftest -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 -L/data/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -g -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -g -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -o conftest -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr conftest.c <.> /usr/bin/clang -o conftest -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 -L/data/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 conftest.c <.> /usr/bin/clang -E -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 conftest.c -Qunused-arguments -fstack-protector [*] cc -E -C -I. conftest.c <.> /usr/bin/clang -E -C -I. conftest.c -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -E -C -I. -m32 conftest.c <.> /usr/bin/clang -E -C -I. -m32 conftest.c -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -E -C -I. -m64 conftest.c <.> /usr/bin/clang -E -C -I. -m64 conftest.c -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -E -C -I. -m16 conftest.c <.> /usr/bin/clang -E -C -I. -m16 conftest.c -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -C -I. conftest.c <.> /usr/bin/clang -c -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 -C -I. conftest.c -Qunused-arguments -fstack-protector [*] cc -E -C -I. conftest.c <.> /usr/bin/clang -E -C -I. conftest.c -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir conf2902.dir <.> /bin/mkdir -p conf2902.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir conf15538.dir <.> /bin/mkdir -p conf15538.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] cc --version <.> /usr/bin/clang --version -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -v <.> /usr/bin/clang -v -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -V <.> /usr/bin/clang -V -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -qversion <.> /usr/bin/clang -qversion -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] cc -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -C -I. -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr conftest.c <.> /usr/bin/clang -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 -C -I. -L/data/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr conftest.c -Qunused-arguments -fstack-protector [*] as -o test_dynlink.o /tmp/camlasm0d2a38.s <.> as -o test_dynlink.o /tmp/camlasm0d2a38.s [*] as -o test_dynlink.cmxs.startup.o /tmp/camlstartup33c156.s <.> as -o test_dynlink.cmxs.startup.o /tmp/camlstartup33c156.s [*] cc -O2 -I/usr/include -shared -o test_dynlink.cmxs -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr test_dynlink.cmxs.startup.o test_dynlink.o <.> /usr/bin/clang -O2 -shared -o test_dynlink.cmxs -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/frama-c/work/.buildlink/include -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/frama-c/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/frama-c/work/.buildlink/include/freetype2 -I/data/scratch/devel/frama-c/work/.buildlink/include/libdrm -I/data/scratch/devel/frama-c/work/.buildlink/include/nss/nss -I/data/scratch/devel/frama-c/work/.buildlink/include/nspr -I/data/scratch/devel/frama-c/work/.buildlink/include/db4 -L/data/scratch/devel/frama-c/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/frama-c/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/frama-c/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr test_dynlink.cmxs.startup.o test_dynlink.o -Qunused-arguments -fstack-protector [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir conf22235.dir <.> /bin/mkdir -p conf22235.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/kernel_internals/parsing/clexer.ml <.> echo Ocamllex src/kernel_internals/parsing/clexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/kernel_internals/parsing/cparser.ml <.> echo Ocamlyacc src/kernel_internals/parsing/cparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/kernel_internals/parsing/logic_lexer.ml <.> echo Ocamllex src/kernel_internals/parsing/logic_lexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/kernel_internals/parsing/logic_preprocess.ml <.> echo Ocamllex src/kernel_internals/parsing/logic_preprocess.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/kernel_internals/parsing/logic_parser.ml <.> echo Ocamlyacc src/kernel_internals/parsing/logic_parser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/libraries/utils/json.ml <.> echo Ocamllex src/libraries/utils/json.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating share/frama-c.rc <.> echo Generating share/frama-c.rc [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating share/Makefile.dynamic_config <.> echo Generating share/Makefile.dynamic_config [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/wp/.Makefile.plugin.generated <.> echo Generating src/plugins/wp/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating share/Makefile.kernel <.> echo Generating share/Makefile.kernel [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/variadic/.Makefile.plugin.generated <.> echo Generating src/plugins/variadic/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/security_slicing/.Makefile.plugin.generated <.> echo Generating src/plugins/security_slicing/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/report/.Makefile.plugin.generated <.> echo Generating src/plugins/report/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/print_api/.Makefile.plugin.generated <.> echo Generating src/plugins/print_api/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/obfuscator/.Makefile.plugin.generated <.> echo Generating src/plugins/obfuscator/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/loop_analysis/.Makefile.plugin.generated <.> echo Generating src/plugins/loop_analysis/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/nonterm/.Makefile.plugin.generated <.> echo Generating src/plugins/nonterm/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/e-acsl/.Makefile.plugin.generated <.> echo Generating src/plugins/e-acsl/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/slicing/.Makefile.plugin.generated <.> echo Generating src/plugins/slicing/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/aorai/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/inout/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/sparecode/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/constant_propagation/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/from/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/rte/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/pdg/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/scope/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/occurrence/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/postdominators/.Makefile.plugin.generated <.> echo Generating src/plugins/from/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/users/.Makefile.plugin.generated <.> echo Generating src/plugins/inout/.Makefile.plugin.generated <.> echo Generating src/plugins/sparecode/.Makefile.plugin.generated <.> echo Generating src/plugins/pdg/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/impact/.Makefile.plugin.generated <.> echo Generating src/plugins/constant_propagation/.Makefile.plugin.generated <.> echo Generating src/plugins/aorai/.Makefile.plugin.generated <.> echo Generating src/plugins/occurrence/.Makefile.plugin.generated <.> echo Generating src/plugins/postdominators/.Makefile.plugin.generated <.> echo Generating src/plugins/impact/.Makefile.plugin.generated <.> echo Generating src/plugins/scope/.Makefile.plugin.generated <.> echo Generating src/plugins/users/.Makefile.plugin.generated <.> echo Generating src/plugins/rte/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/value/.Makefile.plugin.generated <.> echo Generating src/plugins/value/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/callgraph/.Makefile.plugin.generated <.> echo Generating src/plugins/callgraph/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/metrics/.Makefile.plugin.generated <.> echo Generating src/plugins/metrics/.Makefile.plugin.generated [*] /data/scratch/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 [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating .depend <.> echo Generating .depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/rformat.ml <.> echo Ocamllex src/plugins/wp/rformat.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/driver.ml <.> echo Ocamllex src/plugins/wp/driver.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/why3_xml.ml <.> echo Ocamllex src/plugins/wp/why3_xml.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/script.ml <.> echo Ocamllex src/plugins/wp/script.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/qed/src/numbers.ml <.> echo Ocamllex src/plugins/wp/qed/src/numbers.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/wp/Wp.mli <.> echo Generating src/plugins/wp/Wp.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/print_api/grammar.ml <.> echo Ocamlyacc src/plugins/print_api/grammar.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/print_api/lexer.ml <.> echo Ocamllex src/plugins/print_api/lexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/e-acsl/local_config.ml <.> echo Generating src/plugins/e-acsl/local_config.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/promelalexer_withexps.ml <.> echo Ocamllex src/plugins/aorai/promelalexer_withexps.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml <.> echo Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/promelalexer.ml <.> echo Ocamllex src/plugins/aorai/promelalexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/ltllexer.ml <.> echo Ocamllex src/plugins/aorai/ltllexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/ltlparser.ml <.> echo Ocamlyacc src/plugins/aorai/ltlparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/yalexer.ml <.> echo Ocamllex src/plugins/aorai/yalexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/yaparser.ml <.> echo Ocamlyacc src/plugins/aorai/yaparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/promelaparser.ml <.> echo Ocamlyacc src/plugins/aorai/promelaparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/From.mli <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/From.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/security_slicing/.depend <.> echo Ocamldep src/plugins/security_slicing/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/report/.depend <.> echo Ocamldep src/plugins/report/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/print_api/.depend <.> echo Ocamldep src/plugins/print_api/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/obfuscator/.depend <.> echo Ocamldep src/plugins/obfuscator/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/loop_analysis/.depend <.> echo Ocamldep src/plugins/loop_analysis/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/nonterm/.depend <.> echo Ocamldep src/plugins/nonterm/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/variadic/.depend <.> echo Ocamldep src/plugins/variadic/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/e-acsl/.depend <.> echo Ocamldep src/plugins/e-acsl/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/aorai/.depend <.> echo Ocamldep src/plugins/aorai/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/slicing/.depend <.> echo Ocamldep src/plugins/slicing/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/sparecode/.depend <.> echo Ocamldep src/plugins/sparecode/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/scope/.depend <.> echo Ocamldep src/plugins/scope/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/impact/.depend <.> echo Ocamldep src/plugins/impact/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/pdg/.depend <.> echo Ocamldep src/plugins/pdg/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/postdominators/.depend <.> echo Ocamldep src/plugins/postdominators/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/inout/.depend <.> echo Ocamldep src/plugins/inout/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/constant_propagation/.depend <.> echo Ocamldep src/plugins/constant_propagation/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/users/.depend <.> echo Ocamldep src/plugins/users/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/from/.depend <.> echo Ocamldep src/plugins/from/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/rte/.depend <.> echo Ocamldep src/plugins/rte/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/occurrence/.depend <.> echo Ocamldep src/plugins/occurrence/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/callgraph/.depend <.> echo Ocamldep src/plugins/callgraph/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/value/.depend <.> echo Ocamldep src/plugins/value/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/metrics/.depend <.> echo Ocamldep src/plugins/metrics/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/wp/.depend <.> echo Ocamldep src/plugins/wp/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/bool3.cmi <.> echo Ocamlc src/plugins/aorai/bool3.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/unmarshal.cmi <.> echo Ocamlc src/libraries/datatype/unmarshal.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCSet.cmi <.> echo Ocamlc src/libraries/stdlib/FCSet.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/pretty_utils.cmi <.> echo Ocamlc src/libraries/utils/pretty_utils.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCMap.cmi <.> echo Ocamlc src/libraries/stdlib/FCMap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCHashtbl.cmi <.> echo Ocamlc src/libraries/stdlib/FCHashtbl.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-aorai <.> echo Generating META.frama-c-aorai [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/ltlast.cmi <.> echo Ocamlc src/plugins/aorai/ltlast.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/extlib.cmi <.> echo Ocamlc src/libraries/stdlib/extlib.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/wto.cmi <.> echo Ocamlc src/libraries/utils/wto.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_dataflow.cmi <.> echo Ocamlc src/plugins/aorai/aorai_dataflow.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/filepath.cmi <.> echo Ocamlc src/libraries/utils/filepath.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/escape.cmi <.> echo Ocamlc src/libraries/utils/escape.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/cilE.cmi <.> echo Ocamlc src/plugins/value_types/cilE.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/hook.cmi <.> echo Ocamlc src/libraries/utils/hook.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-e_acsl <.> echo Generating META.frama-c-e_acsl [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/local_config.cmi <.> echo Ocamlc src/plugins/e-acsl/local_config.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/error.cmi <.> echo Ocamlc src/plugins/e-acsl/error.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo <.> echo Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-loopanalysis [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-nonterm <.> echo Generating META.frama-c-loopanalysis <.> echo Generating META.frama-c-nonterm [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-obfuscator <.> echo Generating META.frama-c-obfuscator [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/obfuscator/obfuscate.cmi <.> echo Ocamlc src/plugins/obfuscator/obfuscate.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-print_api <.> echo Generating META.frama-c-print_api [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/print_api/grammar.cmi <.> echo Ocamlc src/plugins/print_api/grammar.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/transitioning.cmi <.> echo Ocamlc src/libraries/stdlib/transitioning.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/config.cmi <.> echo Ocamlc src/kernel_internals/runtime/config.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-report <.> echo Generating META.frama-c-report [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/csv.cmi <.> echo Ocamlc src/plugins/report/csv.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-security_slicing <.> echo Generating META.frama-c-security_slicing [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/register.cmi <.> echo Ocamlc src/plugins/report/register.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/format_types.cmi <.> echo Ocamlc src/plugins/variadic/format_types.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-variadic <.> echo Generating META.frama-c-variadic [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/rformat.cmi <.> echo Ocamlc src/plugins/wp/rformat.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/command.cmi <.> echo Ocamlc src/libraries/utils/command.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-wp <.> echo Generating META.frama-c-wp [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/bag.cmi <.> echo Ocamlc src/libraries/utils/bag.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/Warning.cmi <.> echo Ocamlc src/plugins/wp/Warning.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/bitvector.cmi <.> echo Ocamlc src/libraries/utils/bitvector.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/VCS.cmi <.> echo Ocamlc src/plugins/wp/VCS.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/script.cmi <.> echo Ocamlc src/plugins/wp/script.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/vector.cmi <.> echo Ocamlc src/libraries/utils/vector.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/wpReport.cmi <.> echo Ocamlc src/plugins/wp/wpReport.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/json.cmi <.> echo Ocamlc src/libraries/utils/json.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/why3_xml.cmi <.> echo Ocamlc src/plugins/wp/why3_xml.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/task.cmi <.> echo Ocamlc src/libraries/utils/task.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/alpha.cmi <.> echo Ocamlc src/kernel_internals/typing/alpha.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/frama_c_init.cmi <.> echo Ocamlc src/kernel_internals/runtime/frama_c_init.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/transitioning.cmo <.> echo Ocamlc src/libraries/stdlib/transitioning.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generation of the extra-config for why3 <.> echo Generation of the extra-config for why3 [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCSet.cmo <.> echo Ocamlc src/libraries/stdlib/FCSet.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCBuffer.cmi <.> echo Ocamlc src/libraries/stdlib/FCBuffer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCHashtbl.cmo <.> echo Ocamlc src/libraries/stdlib/FCHashtbl.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCMap.cmo <.> echo Ocamlc src/libraries/stdlib/FCMap.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/extlib.cmo <.> echo Ocamlc src/libraries/stdlib/extlib.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/unmarshal.cmo <.> echo Ocamlc src/libraries/datatype/unmarshal.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/unmarshal_z.cmi <.> echo Ocamlc src/libraries/datatype/unmarshal_z.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/hook.cmo <.> echo Ocamlc src/libraries/utils/hook.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/pretty_utils.cmo <.> echo Ocamlc src/libraries/utils/pretty_utils.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/bag.cmo <.> echo Ocamlc src/libraries/utils/bag.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/wto.cmo <.> echo Ocamlc src/libraries/utils/wto.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/vector.cmo <.> echo Ocamlc src/libraries/utils/vector.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/rgmap.cmi <.> echo Ocamlc src/libraries/utils/rgmap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/bitvector.cmo <.> echo Ocamlc src/libraries/utils/bitvector.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/indexer.cmi <.> echo Ocamlc src/libraries/utils/indexer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/qstack.cmi <.> echo Ocamlc src/libraries/utils/qstack.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/leftistheap.cmi <.> echo Ocamlc src/libraries/utils/leftistheap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/filepath.cmo <.> echo Ocamlc src/libraries/utils/filepath.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/json.cmo <.> echo Ocamlc src/libraries/utils/json.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/config.cmo <.> echo Ocamlc src/kernel_internals/runtime/config.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/utf8_logic.cmi <.> echo Ocamlc src/libraries/utils/utf8_logic.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/binary_cache.cmi <.> echo Ocamlc src/libraries/utils/binary_cache.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/escape.cmo <.> echo Ocamlc src/libraries/utils/escape.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/unicode.cmi <.> echo Ocamlc src/libraries/utils/unicode.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/cilconfig.cmi <.> echo Ocamlc src/libraries/utils/cilconfig.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/parsing/errorloc.cmi <.> echo Ocamlc src/kernel_internals/parsing/errorloc.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi <.> echo Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/cilE.cmo <.> echo Ocamlc src/plugins/value_types/cilE.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/special_hooks.cmi <.> echo Ocamlc src/kernel_internals/runtime/special_hooks.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo CC src/libraries/utils/c_bindings.o <.> echo CC src/libraries/utils/c_bindings.o [*] cc -fPIC -c -I/usr/pkg/lib/ocaml -O3 -Wall -o src/libraries/utils/c_bindings.o src/libraries/utils/c_bindings.c <.> /usr/bin/clang -fPIC -c -I/usr/pkg/lib/ocaml -O3 -Wall -o src/libraries/utils/c_bindings.o src/libraries/utils/c_bindings.c -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/metrics/metrics_cabs.cmi <.> echo Ocamlc src/plugins/metrics/metrics_cabs.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/metrics/css_html.cmo <.> echo Ocamlc src/plugins/metrics/css_html.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/slevel/stop_at_nth.cmi <.> echo Ocamlc src/plugins/value/slevel/stop_at_nth.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/utils/structure.cmi <.> echo Ocamlc src/plugins/value/utils/structure.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/legacy/function_args.cmi <.> echo Ocamlc src/plugins/value/legacy/function_args.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi <.> echo Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/register.cmi <.> echo Ocamlc src/plugins/value/register.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/from/functionwise.cmi <.> echo Ocamlc src/plugins/from/functionwise.cmi