[*] /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 conf10495.dir <.> /bin/mkdir -p conf10495.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] as -o test_native_threads.o /tmp/camlasm4b2049.s <.> as -o test_native_threads.o /tmp/camlasm4b2049.s [*] as -o /tmp/camlstartup50877b.o /tmp/camlstartupe6c9e5.s <.> as -o /tmp/camlstartup50877b.o /tmp/camlstartupe6c9e5.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/camlstartup50877b.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/camlstartup50877b.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 conf29644.dir <.> /bin/mkdir -p conf29644.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir conf6028.dir <.> /bin/mkdir -p conf6028.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/camlasm66f14e.s <.> as -o test_dynlink.o /tmp/camlasm66f14e.s [*] as -o test_dynlink.cmxs.startup.o /tmp/camlstartup26f1a4.s <.> as -o test_dynlink.cmxs.startup.o /tmp/camlstartup26f1a4.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 conf16695.dir <.> /bin/mkdir -p conf16695.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/libraries/utils/json.ml <.> echo Ocamllex src/libraries/utils/json.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/kernel_internals/parsing/logic_lexer.ml <.> echo Ocamllex src/kernel_internals/parsing/logic_lexer.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_preprocess.ml <.> echo Ocamllex src/kernel_internals/parsing/logic_preprocess.ml [*] /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 Generating share/Makefile.kernel <.> echo Generating share/Makefile.kernel [*] /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 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/security_slicing/.Makefile.plugin.generated <.> echo Generating src/plugins/security_slicing/.Makefile.plugin.generated [*] /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 share/frama-c.rc <.> echo Generating share/frama-c.rc [*] /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/variadic/.Makefile.plugin.generated <.> echo Generating src/plugins/variadic/.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/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/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/aorai/.Makefile.plugin.generated <.> echo Generating src/plugins/aorai/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/pdg/.Makefile.plugin.generated <.> echo Generating src/plugins/pdg/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/scope/.Makefile.plugin.generated <.> echo Generating src/plugins/scope/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/sparecode/.Makefile.plugin.generated <.> echo Generating src/plugins/sparecode/.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/inout/.Makefile.plugin.generated <.> echo Generating src/plugins/inout/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/impact/.Makefile.plugin.generated <.> echo Generating src/plugins/impact/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/constant_propagation/.Makefile.plugin.generated <.> echo Generating src/plugins/constant_propagation/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/postdominators/.Makefile.plugin.generated <.> echo Generating src/plugins/postdominators/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/users/.Makefile.plugin.generated <.> echo Generating src/plugins/users/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/from/.Makefile.plugin.generated <.> echo Generating src/plugins/from/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/rte/.Makefile.plugin.generated <.> echo Generating src/plugins/rte/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/occurrence/.Makefile.plugin.generated <.> echo Generating src/plugins/occurrence/.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/metrics/.Makefile.plugin.generated <.> echo Generating src/plugins/metrics/.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/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/why3_xml.ml <.> echo Ocamllex src/plugins/wp/why3_xml.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/qed/src/numbers.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/driver.ml <.> echo Ocamllex src/plugins/wp/qed/src/numbers.ml <.> echo Ocamllex src/plugins/wp/driver.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 Generating src/plugins/wp/Wp.mli <.> echo Generating src/plugins/wp/Wp.mli [*] /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 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/aorai/promelalexer.ml <.> echo Ocamllex src/plugins/aorai/promelalexer.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 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/ltlparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/yaparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml <.> echo Ocamlyacc src/plugins/aorai/ltlparser.ml <.> echo Ocamlyacc src/plugins/aorai/yaparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/yalexer.ml <.> echo Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml <.> echo Ocamllex src/plugins/aorai/yalexer.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 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/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/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/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/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/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/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/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/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/Inout.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/Postdominators.mli <.> 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/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/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 <.> 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 <.> /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/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/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 [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.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/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/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/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/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/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/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/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/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/Print_api.mli <.> 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/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/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/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/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/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/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/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/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/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/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/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/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/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/From.mli <.> 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/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/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/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/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/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/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/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/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/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/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/top/Report.mli <.> 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/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/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 [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli <.> /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/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/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/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/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/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/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/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/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/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/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/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/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/E_ACSL.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/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/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/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/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/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/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/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/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/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/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/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/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 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/obfuscator/.depend <.> echo Ocamldep src/plugins/obfuscator/.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/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/print_api/.depend <.> echo Ocamldep src/plugins/print_api/.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/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/security_slicing/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/aorai/.depend <.> echo Ocamldep src/plugins/aorai/.depend <.> echo Ocamldep src/plugins/security_slicing/.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/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/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/value/.depend <.> echo Ocamldep src/plugins/value/.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/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 Generating META.frama-c-aorai <.> echo Generating META.frama-c-aorai [*] /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 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/wto.cmi <.> echo Ocamlc src/libraries/utils/wto.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/plugins/aorai/bool3.cmi <.> echo Ocamlc src/plugins/aorai/bool3.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/hook.cmi <.> echo Ocamlc src/libraries/utils/hook.cmi [*] /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/utils/escape.cmi <.> echo Ocamlc src/libraries/utils/escape.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/utils/pretty_utils.cmi <.> echo Ocamlc src/libraries/utils/pretty_utils.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/stdlib/FCMap.cmi <.> echo Ocamlc src/libraries/stdlib/FCMap.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/stdlib/transitioning.cmi <.> echo Ocamlc src/libraries/stdlib/transitioning.cmi [*] /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/kernel_internals/runtime/config.cmi <.> echo Ocamlc src/kernel_internals/runtime/config.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/binary_cache.cmi <.> echo Ocamlc src/libraries/utils/binary_cache.cmi [*] /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/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/parsing/errorloc.cmi <.> echo Ocamlc src/kernel_internals/parsing/errorloc.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/wto.cmx <.> echo Ocamlopt src/libraries/utils/wto.cmx [*] /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/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/libraries/utils/unicode.cmi <.> echo Ocamlc src/libraries/utils/unicode.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating ptests/ptests_config.ml <.> echo Generating ptests/ptests_config.ml [*] /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 Generating tests/ptests_config <.> echo Generating tests/ptests_config [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/wutil.cmi <.> echo Ocamlc src/plugins/gui/wutil.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/register_gui.cmi <.> echo Ocamlc src/plugins/slicing/register_gui.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/widget.cmi <.> echo Ocamlc src/plugins/gui/widget.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 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/cilconfig.cmi <.> echo Ocamlc src/libraries/utils/cilconfig.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/wtable.cmi <.> echo Ocamlc src/plugins/gui/wtable.cmi [*] /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/task.cmi <.> echo Ocamlc src/libraries/utils/task.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/source_viewer.cmi <.> echo Ocamlc src/plugins/gui/source_viewer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/e-acsl/tests/ptests_config <.> echo Generating src/plugins/e-acsl/tests/ptests_config [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p tests <.> /bin/mkdir -p -p tests [*] as -o src/libraries/utils/wto.o /tmp/camlasm988bcd.s <.> as -o src/libraries/utils/wto.o /tmp/camlasm988bcd.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/report/tests/ptests_config <.> echo Generating src/plugins/report/tests/ptests_config [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p tests <.> /bin/mkdir -p -p tests [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/wp/tests/ptests_config <.> echo Generating src/plugins/wp/tests/ptests_config [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p tests <.> /bin/mkdir -p -p tests [*] as -o src/kernel_internals/runtime/frama_c_config.o /tmp/camlasm463fba.s <.> as -o src/kernel_internals/runtime/frama_c_config.o /tmp/camlasm463fba.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/bool3.cmo <.> echo Ocamlc src/plugins/aorai/bool3.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/structural_descr.cmi <.> echo Ocamlc src/libraries/datatype/structural_descr.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/plugin_entry_points/log.cmi <.> echo Ocamlc src/kernel_services/plugin_entry_points/log.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/integer.cmi <.> echo Ocamlc src/libraries/stdlib/integer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/ltl_output.cmi <.> echo Ocamlc src/plugins/aorai/ltl_output.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/aorai/bool3.cmx <.> echo Ocamlopt src/plugins/aorai/bool3.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/datatype/unmarshal.cmx <.> echo Ocamlopt src/libraries/datatype/unmarshal.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/stdlib/transitioning.cmx <.> echo Ocamlopt src/libraries/stdlib/transitioning.cmx [*] as -o /tmp/camlstartup65a363.o /tmp/camlstartup5edd7a.s <.> as -o /tmp/camlstartup65a363.o /tmp/camlstartup5edd7a.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 bin/frama-c-config -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/camlstartup65a363.o /usr/pkg/lib/ocaml/std_exit.o src/kernel_internals/runtime/frama_c_config.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -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 bin/frama-c-config -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/camlstartup65a363.o /usr/pkg/lib/ocaml/std_exit.o src/kernel_internals/runtime/frama_c_config.o /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/stdlib/FCSet.cmx <.> echo Ocamlopt src/libraries/stdlib/FCSet.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/stdlib/FCBuffer.cmx <.> echo Ocamlopt src/libraries/stdlib/FCBuffer.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/hook.cmx <.> echo Ocamlopt src/libraries/utils/hook.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/stdlib/FCMap.cmx <.> echo Ocamlopt src/libraries/stdlib/FCMap.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/utf8_logic.cmx <.> echo Ocamlopt src/libraries/utils/utf8_logic.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/qstack.cmx <.> echo Ocamlopt src/libraries/utils/qstack.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/escape.cmx <.> echo Ocamlopt src/libraries/utils/escape.cmx [*] as -o src/libraries/stdlib/transitioning.o /tmp/camlasm9a8bf1.s <.> as -o src/libraries/stdlib/transitioning.o /tmp/camlasm9a8bf1.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/bitvector.cmx <.> echo Ocamlopt src/libraries/utils/bitvector.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Linking bin/ptests.opt <.> echo Linking bin/ptests.opt [*] as -o ptests/ptests_config.o /tmp/camlasm7d4121.s <.> as -o ptests/ptests_config.o /tmp/camlasm7d4121.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/gui/wutil.cmx <.> echo Ocamlopt src/plugins/gui/wutil.cmx [*] as -o src/libraries/stdlib/FCSet.o /tmp/camlasm6e8349.s <.> as -o src/libraries/stdlib/FCSet.o /tmp/camlasm6e8349.s [*] as -o src/libraries/datatype/unmarshal.o /tmp/camlasm22bfa2.s <.> as -o src/libraries/datatype/unmarshal.o /tmp/camlasm22bfa2.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/wtext.cmi <.> echo Ocamlc src/plugins/gui/wtext.cmi [*] as -o src/libraries/stdlib/FCMap.o /tmp/camlasm2fc9e9.s <.> as -o src/libraries/stdlib/FCMap.o /tmp/camlasm2fc9e9.s [*] as -o src/libraries/utils/utf8_logic.o /tmp/camlasmfc65eb.s <.> as -o src/libraries/utils/utf8_logic.o /tmp/camlasmfc65eb.s [*] as -o src/libraries/stdlib/FCBuffer.o /tmp/camlasmeeba82.s <.> as -o src/libraries/stdlib/FCBuffer.o /tmp/camlasmeeba82.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/rgmap.cmx <.> echo Ocamlopt src/libraries/utils/rgmap.cmx [*] as -o src/libraries/utils/qstack.o /tmp/camlasmb52139.s <.> as -o src/libraries/utils/qstack.o /tmp/camlasmb52139.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/warning_manager.cmi <.> echo Ocamlc src/plugins/gui/warning_manager.cmi [*] as -o src/libraries/utils/escape.o /tmp/camlasm3f8060.s <.> as -o src/libraries/utils/escape.o /tmp/camlasm3f8060.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/gui/wtable.cmx <.> echo Ocamlopt src/plugins/gui/wtable.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/indexer.cmx <.> echo Ocamlopt src/libraries/utils/indexer.cmx [*] as -o src/libraries/utils/hook.o /tmp/camlasm454168.s <.> as -o src/libraries/utils/hook.o /tmp/camlasm454168.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/type.cmi <.> echo Ocamlc src/libraries/datatype/type.cmi [*] as -o src/plugins/aorai/bool3.o /tmp/camlasm564127.s <.> as -o src/plugins/aorai/bool3.o /tmp/camlasm564127.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/project/project_skeleton.cmi <.> echo Ocamlc src/libraries/project/project_skeleton.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/cil_types.cmi <.> echo Ocamlc src/kernel_services/ast_data/cil_types.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi <.> echo Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/ltl_output.cmo <.> echo Ocamlc src/plugins/aorai/ltl_output.cmo [*] as -o src/libraries/utils/bitvector.o /tmp/camlasmb8b268.s <.> as -o src/libraries/utils/bitvector.o /tmp/camlasmb8b268.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/datatype/structural_descr.cmx <.> echo Ocamlopt src/libraries/datatype/structural_descr.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/stdlib/extlib.cmx <.> echo Ocamlopt src/libraries/stdlib/extlib.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/stdlib/integer.cmx <.> echo Ocamlopt src/libraries/stdlib/integer.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/stdlib/FCHashtbl.cmx <.> echo Ocamlopt src/libraries/stdlib/FCHashtbl.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/aorai/ltl_output.cmx <.> echo Ocamlopt src/plugins/aorai/ltl_output.cmx [*] as -o src/plugins/gui/wutil.o /tmp/camlasm54e6df.s <.> as -o src/plugins/gui/wutil.o /tmp/camlasm54e6df.s [*] as -o src/libraries/utils/rgmap.o /tmp/camlasm007557.s <.> as -o src/libraries/utils/rgmap.o /tmp/camlasm007557.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/gui/widget.cmx <.> echo Ocamlopt src/plugins/gui/widget.cmx [*] as -o ptests/ptests.o /tmp/camlasm14f39e.s <.> as -o ptests/ptests.o /tmp/camlasm14f39e.s [*] as -o src/libraries/utils/indexer.o /tmp/camlasmc7006a.s <.> as -o src/libraries/utils/indexer.o /tmp/camlasmc7006a.s [*] as -o src/libraries/stdlib/FCHashtbl.o /tmp/camlasmca84e2.s <.> as -o src/libraries/stdlib/FCHashtbl.o /tmp/camlasmca84e2.s [*] as -o /tmp/camlstartup04d82a.o /tmp/camlstartup40d57d.s <.> as -o /tmp/camlstartup04d82a.o /tmp/camlstartup40d57d.s [*] as -o src/libraries/datatype/structural_descr.o /tmp/camlasmdedb1c.s <.> as -o src/libraries/datatype/structural_descr.o /tmp/camlasmdedb1c.s [*] as -o src/libraries/stdlib/integer.o /tmp/camlasm5b5cfe.s <.> as -o src/libraries/stdlib/integer.o /tmp/camlasm5b5cfe.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 bin/ptests.opt -Lptests -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 -Wl,-E /tmp/camlstartup04d82a.o /usr/pkg/lib/ocaml/std_exit.o ptests/ptests.o ptests/ptests_config.o /usr/pkg/lib/ocaml/dynlink.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -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 bin/ptests.opt -Lptests -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 -Wl,-E /tmp/camlstartup04d82a.o /usr/pkg/lib/ocaml/std_exit.o ptests/ptests.o ptests/ptests_config.o /usr/pkg/lib/ocaml/dynlink.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lcamlstr -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] as -o src/libraries/stdlib/extlib.o /tmp/camlasm921cf4.s <.> as -o src/libraries/stdlib/extlib.o /tmp/camlasm921cf4.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/descr.cmi <.> echo Ocamlc src/libraries/datatype/descr.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/plugin_entry_points/journal.cmi <.> echo Ocamlc src/kernel_services/plugin_entry_points/journal.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/datatype/type.cmx <.> echo Ocamlopt src/libraries/datatype/type.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/journalize.cmi <.> echo Ocamlc src/plugins/callgraph/journalize.cmi [*] as -o src/plugins/aorai/ltl_output.o /tmp/camlasm5c5e0d.s <.> as -o src/plugins/aorai/ltl_output.o /tmp/camlasm5c5e0d.s [*] as -o src/plugins/gui/wtable.o /tmp/camlasm0a7dac.s <.> as -o src/plugins/gui/wtable.o /tmp/camlasm0a7dac.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/parsetree/logic_ptree.cmi <.> echo Ocamlc src/kernel_services/parsetree/logic_ptree.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/machdeps.cmi <.> echo Ocamlc src/kernel_internals/runtime/machdeps.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/floating_point.cmi <.> echo Ocamlc src/libraries/utils/floating_point.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_printing/printer_api.cmi <.> echo Ocamlc src/kernel_services/ast_printing/printer_api.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi <.> echo Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/cfg.cmi <.> echo Ocamlc src/kernel_internals/typing/cfg.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/ast_info.cmi <.> echo Ocamlc src/kernel_services/ast_queries/ast_info.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/ordered_stmt.cmi <.> echo Ocamlc src/kernel_services/analysis/ordered_stmt.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/undefined_sequence.cmi <.> echo Ocamlc src/kernel_services/analysis/undefined_sequence.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/rmtmps.cmi <.> echo Ocamlc src/kernel_internals/typing/rmtmps.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/oneret.cmi <.> echo Ocamlc src/kernel_internals/typing/oneret.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/mergecil.cmi <.> echo Ocamlc src/kernel_internals/typing/mergecil.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/logic_builtin.cmi <.> echo Ocamlc src/kernel_internals/typing/logic_builtin.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/value_types/cilE.cmx <.> echo Ocamlopt src/plugins/value_types/cilE.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/logic_interp.cmi <.> echo Ocamlc src/kernel_services/analysis/logic_interp.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/filetree.cmi <.> echo Ocamlc src/plugins/gui/filetree.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/filepath.cmx <.> echo Ocamlopt src/libraries/utils/filepath.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/pretty_utils.cmx <.> echo Ocamlopt src/libraries/utils/pretty_utils.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/runtime/machdeps.cmx <.> echo Ocamlopt src/kernel_internals/runtime/machdeps.cmx [*] as -o src/libraries/datatype/type.o /tmp/camlasm18a101.s <.> as -o src/libraries/datatype/type.o /tmp/camlasm18a101.s [*] as -o src/plugins/gui/widget.o /tmp/camlasme13f3a.s <.> as -o src/plugins/gui/widget.o /tmp/camlasme13f3a.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/datatype.cmi <.> echo Ocamlc src/libraries/datatype/datatype.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/datatype/descr.cmx <.> echo Ocamlopt src/libraries/datatype/descr.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/parsetree/cabs.cmo <.> echo Ocamlc src/kernel_services/parsetree/cabs.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelaast.cmi <.> echo Ocamlc src/plugins/aorai/promelaast.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/parsing/logic_parser.cmi <.> echo Ocamlc src/kernel_internals/parsing/logic_parser.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_printing/logic_print.cmi <.> echo Ocamlc src/kernel_services/ast_printing/logic_print.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/gui/wtext.cmx [*] as -o src/plugins/value_types/cilE.o /tmp/camlasm123af6.s <.> as -o src/plugins/value_types/cilE.o /tmp/camlasm123af6.s <.> echo Ocamlopt src/plugins/gui/wtext.cmx [*] as -o src/kernel_internals/runtime/machdeps.o /tmp/camlasm7ec2b1.s <.> as -o src/kernel_internals/runtime/machdeps.o /tmp/camlasm7ec2b1.s [*] as -o src/libraries/utils/filepath.o /tmp/camlasmd741a1.s <.> as -o src/libraries/utils/filepath.o /tmp/camlasmd741a1.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_printing/printer.cmi <.> echo Ocamlc src/kernel_services/ast_printing/printer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_printing/printer_builder.cmi <.> echo Ocamlc src/kernel_services/ast_printing/printer_builder.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_printing/cil_printer.cmi <.> echo Ocamlc src/kernel_services/ast_printing/cil_printer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/plugin_entry_points/log.cmx <.> echo Ocamlopt src/kernel_services/plugin_entry_points/log.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/runtime/config.cmx <.> echo Ocamlopt src/kernel_internals/runtime/config.cmx [*] as -o src/libraries/utils/pretty_utils.o /tmp/camlasm960ee0.s <.> as -o src/libraries/utils/pretty_utils.o /tmp/camlasm960ee0.s [*] as -o src/libraries/datatype/descr.o /tmp/camlasma9bf55.s <.> as -o src/libraries/datatype/descr.o /tmp/camlasma9bf55.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/parsing/cparser.cmi <.> echo Ocamlc src/kernel_internals/parsing/cparser.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_printing/cprint.cmi <.> echo Ocamlc src/kernel_services/ast_printing/cprint.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/frontc.cmi <.> echo Ocamlc src/kernel_internals/typing/frontc.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelaoutput.cmi <.> echo Ocamlc src/plugins/aorai/promelaoutput.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/yaparser.cmi <.> echo Ocamlc src/plugins/aorai/yaparser.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelaparser.cmi <.> echo Ocamlc src/plugins/aorai/promelaparser.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/ltlparser.cmi <.> echo Ocamlc src/plugins/aorai/ltlparser.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/logic_simplification.cmi <.> echo Ocamlc src/plugins/aorai/logic_simplification.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelaparser_withexps.cmi <.> echo Ocamlc src/plugins/aorai/promelaparser_withexps.cmi [*] as -o src/kernel_internals/runtime/config.o /tmp/camlasmef06ed.s <.> as -o src/kernel_internals/runtime/config.o /tmp/camlasmef06ed.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx <.> echo Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/parsing/logic_lexer.cmi <.> echo Ocamlc src/kernel_internals/parsing/logic_lexer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/parsetree/cabs.cmx <.> echo Ocamlopt src/kernel_services/parsetree/cabs.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/gui_printers.cmi <.> echo Ocamlc src/plugins/gui/gui_printers.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/project/state.cmi <.> echo Ocamlc src/libraries/project/state.cmi [*] as -o src/plugins/gui/wtext.o /tmp/camlasm5c0e19.s <.> as -o src/plugins/gui/wtext.o /tmp/camlasm5c0e19.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi <.> echo Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi [*] as -o src/kernel_services/plugin_entry_points/log.o /tmp/camlasm338c4e.s <.> as -o src/kernel_services/plugin_entry_points/log.o /tmp/camlasm338c4e.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/logic_typing.cmi <.> echo Ocamlc src/kernel_services/ast_queries/logic_typing.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/wto_statement.cmi <.> echo Ocamlc src/kernel_services/analysis/wto_statement.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi [*] as -o src/kernel_services/parsetree/cabs.o /tmp/camlasmbccfe1.s <.> as -o src/kernel_services/parsetree/cabs.o /tmp/camlasmbccfe1.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/int_Base.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/int_Base.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx <.> echo Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/rangemap.cmi <.> echo Ocamlc src/libraries/utils/rangemap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/journalize.cmo <.> echo Ocamlc src/plugins/callgraph/journalize.cmo [*] as -o src/kernel_services/ast_printing/printer_builder.o /tmp/camlasmc72e73.s <.> as -o src/kernel_services/ast_printing/printer_builder.o /tmp/camlasmc72e73.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/service_graph.cmi <.> echo Ocamlc src/kernel_services/analysis/service_graph.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/gui/warning_manager.cmx <.> echo Ocamlopt src/plugins/gui/warning_manager.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/parsing/clexer.cmi <.> echo Ocamlc src/kernel_internals/parsing/clexer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/ltlparser.cmo <.> echo Ocamlc src/plugins/aorai/ltlparser.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/ltllexer.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/yalexer.cmo <.> echo Ocamlc src/plugins/aorai/ltllexer.cmo <.> echo Ocamlc src/plugins/aorai/yalexer.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/aorai/ltlparser.cmx <.> echo Ocamlopt src/plugins/aorai/ltlparser.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/project/state_selection.cmi <.> echo Ocamlc src/libraries/project/state_selection.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi <.> echo Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/hptmap_sig.cmi <.> echo Ocamlc src/libraries/utils/hptmap_sig.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/ast.cmi <.> echo Ocamlc src/kernel_services/ast_data/ast.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/dataflow2.cmi <.> echo Ocamlc src/kernel_services/analysis/dataflow2.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi <.> echo Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/property.cmi <.> echo Ocamlc src/kernel_services/ast_data/property.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/project/state_dependency_graph.cmi <.> echo Ocamlc src/libraries/project/state_dependency_graph.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/project/state_topological.cmi <.> echo Ocamlc src/libraries/project/state_topological.cmi [*] as -o src/plugins/gui/warning_manager.o /tmp/camlasm517088.s <.> as -o src/plugins/gui/warning_manager.o /tmp/camlasm517088.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/parsetree/cabshelper.cmi <.> echo Ocamlc src/kernel_services/parsetree/cabshelper.cmi [*] as -o src/kernel_services/cmdline_parameters/cmdline.o /tmp/camlasmae271a.s <.> as -o src/kernel_services/cmdline_parameters/cmdline.o /tmp/camlasmae271a.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/messages.cmi <.> echo Ocamlc src/kernel_internals/runtime/messages.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/globals.cmi <.> echo Ocamlc src/kernel_services/ast_data/globals.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/origin.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/origin.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/bottom.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/bottom.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/project/project_skeleton.cmx <.> echo Ocamlopt src/libraries/project/project_skeleton.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/binary_cache.cmx <.> echo Ocamlopt src/libraries/utils/binary_cache.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/project/project.cmi <.> echo Ocamlc src/libraries/project/project.cmi [*] as -o src/plugins/aorai/ltlparser.o /tmp/camlasmb98e89.s <.> as -o src/plugins/aorai/ltlparser.o /tmp/camlasmb98e89.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/hptmap.cmi <.> echo Ocamlc src/libraries/utils/hptmap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/aorai/ltllexer.cmx <.> echo Ocamlopt src/plugins/aorai/ltllexer.cmx [*] as -o src/libraries/project/project_skeleton.o /tmp/camlasm26e600.s <.> as -o src/libraries/project/project_skeleton.o /tmp/camlasm26e600.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/datatype/datatype.cmx <.> echo Ocamlopt src/libraries/datatype/datatype.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_printing/description.cmi <.> echo Ocamlc src/kernel_services/ast_printing/description.cmi [*] as -o src/libraries/utils/binary_cache.o /tmp/camlasm7ce1a4.s <.> as -o src/libraries/utils/binary_cache.o /tmp/camlasm7ce1a4.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/project/state_builder.cmi <.> echo Ocamlc src/libraries/project/state_builder.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_transformations/filter.cmi <.> echo Ocamlc src/kernel_services/ast_transformations/filter.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingTransform.cmi <.> echo Ocamlc src/plugins/slicing/slicingTransform.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/hptset.cmi <.> echo Ocamlc src/libraries/utils/hptset.cmi [*] as -o src/plugins/aorai/ltllexer.o /tmp/camlasmfcc776.s <.> as -o src/plugins/aorai/ltllexer.o /tmp/camlasmfcc776.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi <.> echo Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi <.> echo Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/logic_env.cmi <.> echo Ocamlc src/kernel_services/ast_queries/logic_env.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/cil_const.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi <.> echo Ocamlc src/kernel_services/ast_queries/cil_const.cmi <.> echo Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/fval.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/fval.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/bit_utils.cmi <.> echo Ocamlc src/kernel_services/analysis/bit_utils.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/annotations.cmi <.> echo Ocamlc src/kernel_services/ast_data/annotations.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/property_status.cmi <.> echo Ocamlc src/kernel_services/ast_data/property_status.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/ival.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/ival.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/alarms.cmi <.> echo Ocamlc src/kernel_services/ast_data/alarms.cmi [*] as -o src/libraries/datatype/datatype.o /tmp/camlasm44cf8e.s <.> as -o src/libraries/datatype/datatype.o /tmp/camlasm44cf8e.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/gtk_helper.cmi <.> echo Ocamlc src/plugins/gui/gtk_helper.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi <.> echo Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/cil.cmi <.> echo Ocamlc src/kernel_services/ast_queries/cil.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/cabs2cil.cmi <.> echo Ocamlc src/kernel_internals/typing/cabs2cil.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi <.> echo Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/kernel_function.cmi <.> echo Ocamlc src/kernel_services/ast_data/kernel_function.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/logic_const.cmi <.> echo Ocamlc src/kernel_services/ast_queries/logic_const.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/stmts_graph.cmi <.> echo Ocamlc src/kernel_services/analysis/stmts_graph.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/project/state.cmx <.> echo Ocamlopt src/libraries/project/state.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/abstract_interp/bottom.cmx <.> echo Ocamlopt src/kernel_services/abstract_interp/bottom.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx <.> echo Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/rangemap.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx <.> echo Ocamlopt src/libraries/utils/rangemap.cmx <.> echo Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/menu_manager.cmi <.> echo Ocamlc src/plugins/gui/menu_manager.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/pretty_source.cmi <.> echo Ocamlc src/plugins/gui/pretty_source.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/launcher.cmi <.> echo Ocamlc src/plugins/gui/launcher.cmi [*] as -o src/kernel_services/cmdline_parameters/typed_parameter.o /tmp/camlasm86b769.s <.> as -o src/kernel_services/cmdline_parameters/typed_parameter.o /tmp/camlasm86b769.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/source_manager.cmi <.> echo Ocamlc src/plugins/gui/source_manager.cmi [*] as -o src/kernel_services/abstract_interp/bottom.o /tmp/camlasm47e70d.s <.> as -o src/kernel_services/abstract_interp/bottom.o /tmp/camlasm47e70d.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/history.cmi <.> echo Ocamlc src/plugins/gui/history.cmi [*] as -o src/libraries/project/state.o /tmp/camlasmcab539.s <.> as -o src/libraries/project/state.o /tmp/camlasmcab539.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/base.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/base.cmi [*] as -o src/libraries/utils/rangemap.o /tmp/camlasm6c0945.s <.> as -o src/libraries/utils/rangemap.o /tmp/camlasm6c0945.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/project/state_dependency_graph.cmx <.> echo Ocamlopt src/libraries/project/state_dependency_graph.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/project/state_topological.cmx <.> echo Ocamlopt src/libraries/project/state_topological.cmx [*] as -o src/kernel_services/plugin_entry_points/journal.o /tmp/camlasmabfe00.s <.> as -o src/kernel_services/plugin_entry_points/journal.o /tmp/camlasmabfe00.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/design.cmi <.> echo Ocamlc src/plugins/gui/design.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx <.> echo Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/data_for_aorai.cmi <.> echo Ocamlc src/plugins/aorai/data_for_aorai.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/ctrlDpds.cmi <.> echo Ocamlc src/plugins/pdg/ctrlDpds.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/callgraph_api.cmi <.> echo Ocamlc src/plugins/callgraph/callgraph_api.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_data/statuses_by_call.cmi <.> echo Ocamlc src/kernel_services/ast_data/statuses_by_call.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/dataflows.cmi <.> echo Ocamlc src/kernel_services/analysis/dataflows.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/logic_utils.cmi <.> echo Ocamlc src/kernel_services/ast_queries/logic_utils.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/visitors/cabsvisit.cmi <.> echo Ocamlc src/kernel_services/visitors/cabsvisit.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/visitors/visitor.cmi <.> echo Ocamlc src/kernel_services/visitors/visitor.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi <.> echo Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi [*] as -o src/libraries/project/state_topological.o /tmp/camlasm6ddd23.s <.> as -o src/libraries/project/state_topological.o /tmp/camlasm6ddd23.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi <.> echo Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi <.> echo Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi [*] as -o src/libraries/project/state_dependency_graph.o /tmp/camlasm3141a1.s <.> as -o src/libraries/project/state_dependency_graph.o /tmp/camlasm3141a1.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/uses.cmi <.> echo Ocamlc src/plugins/callgraph/uses.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/project/state_selection.cmx <.> echo Ocamlopt src/libraries/project/state_selection.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx <.> echo Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/cg.cmi <.> echo Ocamlc src/plugins/callgraph/cg.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/services.cmi <.> echo Ocamlc src/plugins/callgraph/services.cmi [*] as -o src/kernel_services/plugin_entry_points/dynamic.o /tmp/camlasmca4ac9.s <.> as -o src/kernel_services/plugin_entry_points/dynamic.o /tmp/camlasmca4ac9.s [*] as -o src/kernel_services/cmdline_parameters/parameter_category.o /tmp/camlasm7235c3.s <.> as -o src/kernel_services/cmdline_parameters/parameter_category.o /tmp/camlasm7235c3.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_utils.cmi <.> echo Ocamlc src/plugins/aorai/aorai_utils.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/uses.cmo <.> echo Ocamlc src/plugins/callgraph/uses.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/filecheck.cmi <.> echo Ocamlc src/kernel_services/ast_queries/filecheck.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/ast_queries/file.cmi <.> echo Ocamlc src/kernel_services/ast_queries/file.cmi [*] as -o src/libraries/project/state_selection.o /tmp/camlasmaf49f1.s <.> as -o src/libraries/project/state_selection.o /tmp/camlasmaf49f1.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/project/project.cmx <.> echo Ocamlopt src/libraries/project/project.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_option.cmi <.> echo Ocamlc src/plugins/aorai/aorai_option.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/pdg_parameters.cmi <.> echo Ocamlc src/plugins/pdg/pdg_parameters.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/options.cmi <.> echo Ocamlc src/plugins/callgraph/options.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/gui_parameters.cmi <.> echo Ocamlc src/plugins/gui/gui_parameters.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingParameters.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi <.> echo Ocamlc src/plugins/slicing/slicingParameters.cmi <.> echo Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/locations.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/locations.cmi [*] as -o src/libraries/project/project.o /tmp/camlasme96e20.s <.> as -o src/libraries/project/project.o /tmp/camlasme96e20.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingParameters.cmo <.> echo Ocamlc src/plugins/slicing/slicingParameters.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/parsing/lexerhack.cmo <.> echo Ocamlc src/kernel_internals/parsing/lexerhack.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo <.> echo Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/pdg_parameters.cmo <.> echo Ocamlc src/plugins/pdg/pdg_parameters.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/project/state_builder.cmx <.> echo Ocamlopt src/libraries/project/state_builder.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/path_analysis.cmo <.> echo Ocamlc src/plugins/aorai/path_analysis.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelaoutput.cmo <.> echo Ocamlc src/plugins/aorai/promelaoutput.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/yaparser.cmo <.> echo Ocamlc src/plugins/aorai/yaparser.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelaparser.cmo <.> echo Ocamlc src/plugins/aorai/promelaparser.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelalexer.cmo <.> echo Ocamlc src/plugins/aorai/promelalexer.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/services.cmo <.> echo Ocamlc src/plugins/callgraph/services.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/logic_simplification.cmo <.> echo Ocamlc src/plugins/aorai/logic_simplification.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/options.cmo <.> echo Ocamlc src/plugins/callgraph/options.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_option.cmo <.> echo Ocamlc src/plugins/aorai/aorai_option.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/utils_parser.cmo <.> echo Ocamlc src/plugins/aorai/utils_parser.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelaparser_withexps.cmo <.> echo Ocamlc src/plugins/aorai/promelaparser_withexps.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/promelalexer_withexps.cmo <.> echo Ocamlc src/plugins/aorai/promelalexer_withexps.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/precise_locs.cmi <.> echo Ocamlc src/plugins/value_types/precise_locs.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg_types/pdgIndex.cmi <.> echo Ocamlc src/plugins/pdg_types/pdgIndex.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/inout_type.cmi <.> echo Ocamlc src/plugins/value_types/inout_type.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_utils.cmo <.> echo Ocamlc src/plugins/aorai/aorai_utils.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/data_for_aorai.cmo <.> echo Ocamlc src/plugins/aorai/data_for_aorai.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_dataflow.cmo <.> echo Ocamlc src/plugins/aorai/aorai_dataflow.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_visitors.cmo <.> echo Ocamlc src/plugins/aorai/aorai_visitors.cmo [*] as -o src/libraries/project/state_builder.o /tmp/camlasm337815.s <.> as -o src/libraries/project/state_builder.o /tmp/camlasm337815.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/function_Froms.cmi <.> echo Ocamlc src/plugins/value_types/function_Froms.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/cvalue.cmi <.> echo Ocamlc src/plugins/value_types/cvalue.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/lmap.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/lmap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/hptmap.cmx <.> echo Ocamlopt src/libraries/utils/hptmap.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg_types/pdgTypes.cmi <.> echo Ocamlc src/plugins/pdg_types/pdgTypes.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/value_types.cmi <.> echo Ocamlc src/plugins/value_types/value_types.cmi [*] as -o src/libraries/utils/hptmap.o /tmp/camlasm77f104.s <.> as -o src/libraries/utils/hptmap.o /tmp/camlasm77f104.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg_types/pdgMarks.cmi <.> echo Ocamlc src/plugins/pdg_types/pdgMarks.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/pdg_state.cmi <.> echo Ocamlc src/plugins/pdg/pdg_state.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/annot.cmi <.> echo Ocamlc src/plugins/pdg/annot.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/build.cmi <.> echo Ocamlc src/plugins/pdg/build.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/sets.cmi <.> echo Ocamlc src/plugins/pdg/sets.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/hptset.cmx <.> echo Ocamlopt src/libraries/utils/hptset.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing_types/slicingInternals.cmo <.> echo Ocamlc src/plugins/slicing_types/slicingInternals.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/marks.cmi <.> echo Ocamlc src/plugins/pdg/marks.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/pdg_state.cmo <.> echo Ocamlc src/plugins/pdg/pdg_state.cmo [*] as -o src/libraries/utils/hptset.o /tmp/camlasm0b4e82.s <.> as -o src/libraries/utils/hptset.o /tmp/camlasm0b4e82.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/cil_datatype.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/cil_datatype.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing_types/slicingTypes.cmo <.> echo Ocamlc src/plugins/slicing_types/slicingTypes.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/fct_slice.cmi <.> echo Ocamlc src/plugins/slicing/fct_slice.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/printSlice.cmi <.> echo Ocamlc src/plugins/slicing/printSlice.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingProject.cmi <.> echo Ocamlc src/plugins/slicing/slicingProject.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/plugin_entry_points/db.cmi <.> echo Ocamlc src/kernel_services/plugin_entry_points/db.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingState.cmi <.> echo Ocamlc src/plugins/slicing/slicingState.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingMarks.cmi <.> echo Ocamlc src/plugins/slicing/slicingMarks.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingMarks.cmo <.> echo Ocamlc src/plugins/slicing/slicingMarks.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_register.cmo <.> echo Ocamlc src/plugins/aorai/aorai_register.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingMacros.cmi <.> echo Ocamlc src/plugins/slicing/slicingMacros.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingActions.cmi <.> echo Ocamlc src/plugins/slicing/slicingActions.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingCmds.cmi <.> echo Ocamlc src/plugins/slicing/slicingCmds.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/annot.cmo <.> echo Ocamlc src/plugins/pdg/annot.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingState.cmo <.> echo Ocamlc src/plugins/slicing/slicingState.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/register.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/build.cmo <.> echo Ocamlc src/plugins/callgraph/register.cmo <.> echo Ocamlc src/plugins/pdg/build.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/marks.cmo <.> echo Ocamlc src/plugins/pdg/marks.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/callgraph/cg.cmo <.> echo Ocamlc src/plugins/callgraph/cg.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/sets.cmo <.> echo Ocamlc src/plugins/pdg/sets.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/ctrlDpds.cmo <.> echo Ocamlc src/plugins/pdg/ctrlDpds.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingMacros.cmo <.> echo Ocamlc src/plugins/slicing/slicingMacros.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingActions.cmo <.> echo Ocamlc src/plugins/slicing/slicingActions.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingProject.cmo <.> echo Ocamlc src/plugins/slicing/slicingProject.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/printSlice.cmo <.> echo Ocamlc src/plugins/slicing/printSlice.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingTransform.cmo <.> echo Ocamlc src/plugins/slicing/slicingTransform.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/register.cmo <.> echo Ocamlc src/plugins/slicing/register.cmo [*] as -o src/kernel_services/ast_queries/cil_datatype.o /tmp/camlasm459fac.s <.> as -o src/kernel_services/ast_queries/cil_datatype.o /tmp/camlasm459fac.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/cmdline_parameters/parameter_customize.cmx <.> echo Ocamlopt src/kernel_services/cmdline_parameters/parameter_customize.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/cil_state_builder.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/cil_state_builder.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/pdg/register.cmo <.> echo Ocamlc src/plugins/pdg/register.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/slicingCmds.cmo <.> echo Ocamlc src/plugins/slicing/slicingCmds.cmo [*] as -o src/kernel_services/cmdline_parameters/parameter_customize.o /tmp/camlasma77608.s <.> as -o src/kernel_services/cmdline_parameters/parameter_customize.o /tmp/camlasma77608.s [*] as -o src/kernel_services/ast_queries/cil_state_builder.o /tmp/camlasm6b5136.s <.> as -o src/kernel_services/ast_queries/cil_state_builder.o /tmp/camlasm6b5136.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/cmdline_parameters/parameter_state.cmx <.> echo Ocamlopt src/kernel_services/cmdline_parameters/parameter_state.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.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/kernel_services/analysis/dataflow.cmi <.> echo Ocamlc src/kernel_services/analysis/dataflow.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/builtins.cmi <.> echo Ocamlc src/plugins/e-acsl/builtins.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/e-acsl/dup_functions.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/rte.cmi <.> echo Ocamlc src/plugins/e-acsl/dup_functions.cmi <.> echo Ocamlc src/plugins/e-acsl/rte.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/misc.cmi <.> echo Ocamlc src/plugins/e-acsl/misc.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/options.cmi <.> echo Ocamlc src/plugins/e-acsl/options.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/prepare_ast.cmi <.> echo Ocamlc src/plugins/e-acsl/prepare_ast.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/gmpz.cmi <.> echo Ocamlc src/plugins/e-acsl/gmpz.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/literal_strings.cmi <.> echo Ocamlc src/plugins/e-acsl/literal_strings.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/mmodel_analysis.cmi <.> echo Ocamlc src/plugins/e-acsl/mmodel_analysis.cmi [*] as -o src/kernel_services/cmdline_parameters/parameter_state.o /tmp/camlasm76082b.s <.> as -o src/kernel_services/cmdline_parameters/parameter_state.o /tmp/camlasm76082b.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/exit_points.cmi <.> echo Ocamlc src/plugins/e-acsl/exit_points.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/label.cmi <.> echo Ocamlc src/plugins/e-acsl/label.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/interval.cmi <.> echo Ocamlc src/plugins/e-acsl/interval.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/typing.cmi <.> echo Ocamlc src/plugins/e-acsl/typing.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/visit.cmi <.> echo Ocamlc src/plugins/e-acsl/visit.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/cmdline_parameters/parameter_builder.cmx <.> echo Ocamlopt src/kernel_services/cmdline_parameters/parameter_builder.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/slicing/fct_slice.cmo <.> echo Ocamlc src/plugins/slicing/fct_slice.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/local_config.cmo <.> echo Ocamlc src/plugins/e-acsl/local_config.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/literal_strings.cmo <.> echo Ocamlc src/plugins/e-acsl/literal_strings.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/env.cmi <.> echo Ocamlc src/plugins/e-acsl/env.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/label.cmo <.> echo Ocamlc src/plugins/e-acsl/label.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/options.cmo <.> echo Ocamlc src/plugins/e-acsl/options.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/error.cmo <.> echo Ocamlc src/plugins/e-acsl/error.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/prepare_ast.cmo <.> echo Ocamlc src/plugins/e-acsl/prepare_ast.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/dup_functions.cmo <.> echo Ocamlc src/plugins/e-acsl/dup_functions.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/gmpz.cmo <.> echo Ocamlc src/plugins/e-acsl/gmpz.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/rte.cmo <.> echo Ocamlc src/plugins/e-acsl/rte.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/misc.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/builtins.cmo <.> echo Ocamlc src/plugins/e-acsl/misc.cmo <.> echo Ocamlc src/plugins/e-acsl/builtins.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/mmodel_analysis.cmo <.> echo Ocamlc src/plugins/e-acsl/mmodel_analysis.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/exit_points.cmo <.> echo Ocamlc src/plugins/e-acsl/exit_points.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/interval.cmo <.> echo Ocamlc src/plugins/e-acsl/interval.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/typing.cmo <.> echo Ocamlc src/plugins/e-acsl/typing.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/env.cmo <.> echo Ocamlc src/plugins/e-acsl/env.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/quantif.cmi <.> echo Ocamlc src/plugins/e-acsl/quantif.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/translate.cmi <.> echo Ocamlc src/plugins/e-acsl/translate.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/loops.cmi <.> echo Ocamlc src/plugins/e-acsl/loops.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/quantif.cmo <.> echo Ocamlc src/plugins/e-acsl/quantif.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/translate.cmo <.> echo Ocamlc src/plugins/e-acsl/translate.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/visit.cmo <.> echo Ocamlc src/plugins/e-acsl/visit.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/loops.cmo <.> echo Ocamlc src/plugins/e-acsl/loops.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/main.cmo <.> echo Ocamlc src/plugins/e-acsl/main.cmo [*] /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 [*] as -o src/kernel_services/cmdline_parameters/parameter_builder.o /tmp/camlasmffc418.s <.> as -o src/kernel_services/cmdline_parameters/parameter_builder.o /tmp/camlasmffc418.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/plugin_entry_points/plugin.cmx <.> echo Ocamlopt src/kernel_services/plugin_entry_points/plugin.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.cmi [*] as -o src/kernel_services/plugin_entry_points/plugin.o /tmp/camlasme7cf95.s <.> as -o src/kernel_services/plugin_entry_points/plugin.o /tmp/camlasme7cf95.s [*] /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.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/slicing/slicingParameters.cmx <.> echo Ocamlopt src/plugins/slicing/slicingParameters.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/plugin_entry_points/kernel.cmx <.> echo Ocamlopt src/kernel_services/plugin_entry_points/kernel.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/gui/gui_parameters.cmx <.> echo Ocamlopt src/plugins/gui/gui_parameters.cmx [*] as -o src/plugins/gui/gui_parameters.o /tmp/camlasmd870b9.s <.> as -o src/plugins/gui/gui_parameters.o /tmp/camlasmd870b9.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-loopanalysis <.> echo Generating META.frama-c-loopanalysis [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/options.cmi <.> echo Ocamlc src/plugins/loop_analysis/options.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 Ocamlc src/kernel_services/analysis/dominators.cmi <.> echo Ocamlc src/kernel_services/analysis/dominators.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/loop_analysis.cmi <.> echo Ocamlc src/plugins/loop_analysis/loop_analysis.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/analysis/loop.cmi <.> echo Ocamlc src/kernel_services/analysis/loop.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/gui/source_viewer.cmx <.> echo Ocamlopt src/plugins/gui/source_viewer.cmx [*] as -o src/plugins/slicing/slicingParameters.o /tmp/camlasm7c8f1b.s <.> as -o src/plugins/slicing/slicingParameters.o /tmp/camlasm7c8f1b.s [*] as -o src/kernel_services/plugin_entry_points/kernel.o /tmp/camlasm902547.s <.> as -o src/kernel_services/plugin_entry_points/kernel.o /tmp/camlasm902547.s [*] as -o src/plugins/gui/source_viewer.o /tmp/camlasm248bc5.s <.> as -o src/plugins/gui/source_viewer.o /tmp/camlasm248bc5.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/plugin_entry_points/emitter.cmx <.> echo Ocamlopt src/kernel_services/plugin_entry_points/emitter.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/cilconfig.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/cil_const.cmx <.> echo Ocamlopt src/libraries/utils/cilconfig.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/cil_const.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/parsing/lexerhack.cmx <.> echo Ocamlopt src/kernel_internals/parsing/lexerhack.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/abstract_interp/lattice_messages.cmx <.> echo Ocamlopt src/kernel_services/abstract_interp/lattice_messages.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/floating_point.cmx <.> echo Ocamlopt src/libraries/utils/floating_point.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/parsing/errorloc.cmx <.> echo Ocamlopt src/kernel_internals/parsing/errorloc.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/unicode.cmx <.> echo Ocamlopt src/libraries/utils/unicode.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/typing/alpha.cmx <.> echo Ocamlopt src/kernel_internals/typing/alpha.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/region_analysis.cmi <.> echo Ocamlc src/plugins/loop_analysis/region_analysis.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/options.cmo <.> echo Ocamlc src/plugins/loop_analysis/options.cmo [*] as -o src/libraries/utils/floating_point.o /tmp/camlasm67701b.s <.> as -o src/libraries/utils/floating_point.o /tmp/camlasm67701b.s [*] as -o src/kernel_internals/parsing/lexerhack.o /tmp/camlasm00a3fc.s <.> as -o src/kernel_internals/parsing/lexerhack.o /tmp/camlasm00a3fc.s [*] as -o src/libraries/utils/unicode.o /tmp/camlasm5d2d11.s <.> as -o src/libraries/utils/unicode.o /tmp/camlasm5d2d11.s [*] as -o src/libraries/utils/cilconfig.o /tmp/camlasm053ea5.s <.> as -o src/libraries/utils/cilconfig.o /tmp/camlasm053ea5.s [*] as -o src/kernel_services/abstract_interp/lattice_messages.o /tmp/camlasm9e6b0a.s <.> as -o src/kernel_services/abstract_interp/lattice_messages.o /tmp/camlasm9e6b0a.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/region_analysis.cmo <.> echo Ocamlc src/plugins/loop_analysis/region_analysis.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi <.> echo Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi [*] as -o src/kernel_internals/parsing/errorloc.o /tmp/camlasm6c3855.s <.> as -o src/kernel_internals/parsing/errorloc.o /tmp/camlasm6c3855.s [*] as -o src/kernel_internals/typing/alpha.o /tmp/camlasma75b4a.s <.> as -o src/kernel_internals/typing/alpha.o /tmp/camlasma75b4a.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/abstract_interp/abstract_interp.cmx <.> echo Ocamlopt src/kernel_services/abstract_interp/abstract_interp.cmx [*] as -o src/kernel_services/plugin_entry_points/emitter.o /tmp/camlasm9a8330.s <.> as -o src/kernel_services/plugin_entry_points/emitter.o /tmp/camlasm9a8330.s [*] as -o src/kernel_services/ast_queries/cil_const.o /tmp/camlasm53da68.s <.> as -o src/kernel_services/ast_queries/cil_const.o /tmp/camlasm53da68.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/logic_env.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/logic_env.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/aorai/aorai_option.cmx <.> echo Ocamlopt src/plugins/aorai/aorai_option.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo <.> echo Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/loop_analysis.cmo <.> echo Ocamlc src/plugins/loop_analysis/loop_analysis.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo <.> echo Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo [*] as -o src/plugins/aorai/aorai_option.o /tmp/camlasm74d10f.s <.> as -o src/plugins/aorai/aorai_option.o /tmp/camlasm74d10f.s [*] as -o src/kernel_services/ast_queries/logic_env.o /tmp/camlasm64347f.s <.> as -o src/kernel_services/ast_queries/logic_env.o /tmp/camlasm64347f.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/aorai/path_analysis.cmx <.> echo Ocamlopt src/plugins/aorai/path_analysis.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/logic_const.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/logic_const.cmx [*] as -o src/kernel_services/abstract_interp/abstract_interp.o /tmp/camlasmd7e205.s <.> as -o src/kernel_services/abstract_interp/abstract_interp.o /tmp/camlasmd7e205.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/loop_analysis/register.cmo <.> echo Ocamlc src/plugins/loop_analysis/register.cmo [*] as -o src/plugins/aorai/path_analysis.o /tmp/camlasm1e46af.s <.> as -o src/plugins/aorai/path_analysis.o /tmp/camlasm1e46af.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/abstract_interp/int_Base.cmx <.> echo Ocamlopt src/kernel_services/abstract_interp/int_Base.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/abstract_interp/fval.cmx <.> echo Ocamlopt src/kernel_services/abstract_interp/fval.cmx [*] as -o src/kernel_services/ast_queries/logic_const.o /tmp/camlasm765606.s <.> as -o src/kernel_services/ast_queries/logic_const.o /tmp/camlasm765606.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/cil.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/cil.cmx [*] as -o src/kernel_services/abstract_interp/int_Base.o /tmp/camlasm5d087d.s <.> as -o src/kernel_services/abstract_interp/int_Base.o /tmp/camlasm5d087d.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.cmi [*] as -o src/kernel_services/abstract_interp/fval.o /tmp/camlasm056aea.s <.> as -o src/kernel_services/abstract_interp/fval.o /tmp/camlasm056aea.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/abstract_interp/ival.cmx <.> echo Ocamlopt src/kernel_services/abstract_interp/ival.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-nonterm <.> echo Generating META.frama-c-nonterm [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/nonterm/nonterm_run.cmo <.> echo Ocamlc src/plugins/nonterm/nonterm_run.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.cmi [*] as -o src/kernel_services/abstract_interp/ival.o /tmp/camlasma360f2.s <.> as -o src/kernel_services/abstract_interp/ival.o /tmp/camlasma360f2.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmo [*] /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/options.cmi <.> echo Ocamlc src/plugins/obfuscator/options.cmi [*] /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 Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi <.> echo Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo <.> echo Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/obfuscator/dictionary.cmi <.> echo Ocamlc src/plugins/obfuscator/dictionary.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/obfuscator/options.cmo <.> echo Ocamlc src/plugins/obfuscator/options.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/obfuscator/dictionary.cmo <.> echo Ocamlc src/plugins/obfuscator/dictionary.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/obfuscator/obfuscate.cmo <.> echo Ocamlc src/plugins/obfuscator/obfuscate.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/obfuscator/obfuscator_register.cmo <.> echo Ocamlc src/plugins/obfuscator/obfuscator_register.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmo [*] /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/plugins/print_api/grammar.cmo <.> echo Ocamlc src/plugins/print_api/grammar.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/print_api/lexer.cmo <.> echo Ocamlc src/plugins/print_api/lexer.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/print_api/print_interface.cmo <.> echo Ocamlc src/plugins/print_api/print_interface.cmo [*] as -o src/kernel_services/ast_queries/cil.o /tmp/camlasm395e80.s <.> as -o src/kernel_services/ast_queries/cil.o /tmp/camlasm395e80.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.cmi [*] /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.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_printing/cil_printer.cmx <.> echo Ocamlopt src/kernel_services/ast_printing/cil_printer.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/parsetree/cabshelper.cmx <.> echo Ocamlopt src/kernel_services/parsetree/cabshelper.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/ast_info.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/ast_info.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/aorai/utils_parser.cmx <.> echo Ocamlopt src/plugins/aorai/utils_parser.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/abstract_interp/origin.cmx <.> echo Ocamlopt src/kernel_services/abstract_interp/origin.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/report_parameters.cmi <.> echo Ocamlc src/plugins/report/report_parameters.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 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/report/scan.cmi <.> echo Ocamlc src/plugins/report/scan.cmi [*] as -o src/plugins/aorai/utils_parser.o /tmp/camlasm74ee46.s <.> as -o src/plugins/aorai/utils_parser.o /tmp/camlasm74ee46.s [*] as -o src/kernel_services/abstract_interp/origin.o /tmp/camlasm148bda.s <.> as -o src/kernel_services/abstract_interp/origin.o /tmp/camlasm148bda.s [*] as -o src/kernel_services/parsetree/cabshelper.o /tmp/camlasmb95334.s <.> as -o src/kernel_services/parsetree/cabshelper.o /tmp/camlasmb95334.s [*] as -o src/kernel_services/ast_queries/ast_info.o /tmp/camlasm1c688a.s <.> as -o src/kernel_services/ast_queries/ast_info.o /tmp/camlasm1c688a.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/visitors/cabsvisit.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/dump.cmi <.> echo Ocamlopt src/kernel_services/visitors/cabsvisit.cmx <.> echo Ocamlc src/plugins/report/dump.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/report_parameters.cmo <.> echo Ocamlc src/plugins/report/report_parameters.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/scan.cmo <.> echo Ocamlc src/plugins/report/scan.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/csv.cmo <.> echo Ocamlc src/plugins/report/csv.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/dump.cmo <.> echo Ocamlc src/plugins/report/dump.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/register.cmo <.> echo Ocamlc src/plugins/report/register.cmo [*] as -o src/kernel_services/visitors/cabsvisit.o /tmp/camlasm2884e8.s <.> as -o src/kernel_services/visitors/cabsvisit.o /tmp/camlasm2884e8.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmo [*] /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/security_slicing/components.cmi <.> echo Ocamlc src/plugins/security_slicing/components.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmi <.> echo Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmo <.> echo Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/security_slicing/components.cmo <.> echo Ocamlc src/plugins/security_slicing/components.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.cmi [*] as -o src/kernel_services/ast_printing/cil_printer.o /tmp/camlasm88b57e.s <.> as -o src/kernel_services/ast_printing/cil_printer.o /tmp/camlasm88b57e.s [*] /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.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/logic_utils.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/logic_utils.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_data/ast.cmx <.> echo Ocamlopt src/kernel_services/ast_data/ast.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_printing/logic_print.cmx <.> echo Ocamlopt src/kernel_services/ast_printing/logic_print.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_printing/cil_descriptive_printer.cmx <.> echo Ocamlopt src/kernel_services/ast_printing/cil_descriptive_printer.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/analysis/undefined_sequence.cmx <.> echo Ocamlopt src/kernel_services/analysis/undefined_sequence.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/typing/rmtmps.cmx <.> echo Ocamlopt src/kernel_internals/typing/rmtmps.cmx [*] /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/variadic/options.cmi <.> echo Ocamlc src/plugins/variadic/options.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 Ocamlc src/plugins/variadic/extends.cmi <.> echo Ocamlc src/plugins/variadic/extends.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/va_build.cmo <.> echo Ocamlc src/plugins/variadic/va_build.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/environment.cmo <.> echo Ocamlc src/plugins/variadic/environment.cmo [*] as -o src/kernel_services/ast_data/ast.o /tmp/camlasm870bda.s <.> as -o src/kernel_services/ast_data/ast.o /tmp/camlasm870bda.s [*] as -o src/kernel_services/ast_printing/cil_descriptive_printer.o /tmp/camlasmbd5392.s <.> as -o src/kernel_services/ast_printing/cil_descriptive_printer.o /tmp/camlasmbd5392.s [*] as -o src/kernel_services/analysis/undefined_sequence.o /tmp/camlasm435349.s <.> as -o src/kernel_services/analysis/undefined_sequence.o /tmp/camlasm435349.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/format_pprint.cmi <.> echo Ocamlc src/plugins/variadic/format_pprint.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/format_typer.cmi <.> echo Ocamlc src/plugins/variadic/format_typer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/va_types.cmi <.> echo Ocamlc src/plugins/variadic/va_types.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/format_parser.cmi <.> echo Ocamlc src/plugins/variadic/format_parser.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/runtime/messages.cmx <.> echo Ocamlopt src/kernel_internals/runtime/messages.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/abstract_interp/map_Lattice.cmx <.> echo Ocamlopt src/kernel_services/abstract_interp/map_Lattice.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/options.cmo <.> echo Ocamlc src/plugins/variadic/options.cmo [*] as -o src/kernel_internals/typing/rmtmps.o /tmp/camlasma8c1b3.s <.> as -o src/kernel_internals/typing/rmtmps.o /tmp/camlasma8c1b3.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/extends.cmo <.> echo Ocamlc src/plugins/variadic/extends.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/generic.cmo <.> echo Ocamlc src/plugins/variadic/generic.cmo [*] as -o src/kernel_services/ast_printing/logic_print.o /tmp/camlasm2ca7f5.s <.> as -o src/kernel_services/ast_printing/logic_print.o /tmp/camlasm2ca7f5.s [*] as -o src/kernel_internals/runtime/messages.o /tmp/camlasm059540.s <.> as -o src/kernel_internals/runtime/messages.o /tmp/camlasm059540.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/format_pprint.cmo <.> echo Ocamlc src/plugins/variadic/format_pprint.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/classify.cmo <.> echo Ocamlc src/plugins/variadic/classify.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_printing/cprint.cmx <.> echo Ocamlopt src/kernel_services/ast_printing/cprint.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/format_typer.cmo <.> echo Ocamlc src/plugins/variadic/format_typer.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/format_parser.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/standard.cmo <.> echo Ocamlc src/plugins/variadic/format_parser.cmo <.> echo Ocamlc src/plugins/variadic/standard.cmo [*] as -o src/kernel_services/abstract_interp/map_Lattice.o /tmp/camlasmfa6d95.s <.> as -o src/kernel_services/abstract_interp/map_Lattice.o /tmp/camlasmfa6d95.s [*] as -o src/kernel_services/ast_printing/cprint.o /tmp/camlasm3a07bd.s <.> as -o src/kernel_services/ast_printing/cprint.o /tmp/camlasm3a07bd.s [*] as -o src/kernel_services/ast_queries/logic_utils.o /tmp/camlasmaad0a6.s <.> as -o src/kernel_services/ast_queries/logic_utils.o /tmp/camlasmaad0a6.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/parsing/logic_parser.cmx <.> echo Ocamlopt src/kernel_internals/parsing/logic_parser.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/typing/oneret.cmx <.> echo Ocamlopt src/kernel_internals/typing/oneret.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/typing/logic_builtin.cmx <.> echo Ocamlopt src/kernel_internals/typing/logic_builtin.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/translate.cmo <.> echo Ocamlc src/plugins/variadic/translate.cmo [*] as -o src/kernel_internals/typing/logic_builtin.o /tmp/camlasma5b0f1.s <.> as -o src/kernel_internals/typing/logic_builtin.o /tmp/camlasma5b0f1.s [*] as -o src/kernel_internals/typing/oneret.o /tmp/camlasm0cb413.s <.> as -o src/kernel_internals/typing/oneret.o /tmp/camlasm0cb413.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/register.cmo <.> echo Ocamlc src/plugins/variadic/register.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.cmi <.> echo Ocamlc /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.cmi [*] as -o src/kernel_internals/parsing/logic_parser.o /tmp/camlasm2b6f29.s <.> as -o src/kernel_internals/parsing/logic_parser.o /tmp/camlasm2b6f29.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmi <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmi [*] /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 Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmo <.> echo Packing /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/parsing/logic_lexer.cmx <.> echo Ocamlopt src/kernel_internals/parsing/logic_lexer.cmx [*] /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 Generating META.frama-c-wp <.> echo Generating META.frama-c-wp [*] as -o src/kernel_internals/parsing/logic_lexer.o /tmp/camlasm29256d.s <.> as -o src/kernel_internals/parsing/logic_lexer.o /tmp/camlasm29256d.s [*] /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/wp_parameters.cmi <.> echo Ocamlc src/plugins/wp/wp_parameters.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/Context.cmi <.> echo Ocamlc src/plugins/wp/Context.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/plugins/wp/wprop.cmi <.> echo Ocamlc src/plugins/wp/wprop.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/normAtLabels.cmi <.> echo Ocamlc src/plugins/wp/normAtLabels.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/plugins/wp/Separation.cmi <.> echo Ocamlc src/plugins/wp/Separation.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/wp_error.cmi <.> echo Ocamlc src/plugins/wp/wp_error.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/dyncall.cmi <.> echo Ocamlc src/plugins/wp/dyncall.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/clabels.cmi <.> echo Ocamlc src/plugins/wp/clabels.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/vector.cmi <.> echo Ocamlc src/libraries/utils/vector.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/plugins/wp/ProverTask.cmi <.> echo Ocamlc src/plugins/wp/ProverTask.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_services/ast_queries/logic_typing.cmx <.> echo Ocamlopt src/kernel_services/ast_queries/logic_typing.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/rformat.cmo <.> echo Ocamlc src/plugins/wp/rformat.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/Separation.cmo <.> echo Ocamlc src/plugins/wp/Separation.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/parsing/cparser.cmx <.> echo Ocamlopt src/kernel_internals/parsing/cparser.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/dyncall.cmo <.> echo Ocamlc src/plugins/wp/dyncall.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/wp_parameters.cmo <.> echo Ocamlc src/plugins/wp/wp_parameters.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/LogicUsage.cmi <.> echo Ocamlc src/plugins/wp/LogicUsage.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/cil2cfg.cmi <.> echo Ocamlc src/plugins/wp/cil2cfg.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/normAtLabels.cmo <.> echo Ocamlc src/plugins/wp/normAtLabels.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/Context.cmo <.> echo Ocamlc src/plugins/wp/Context.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/Warning.cmo <.> echo Ocamlc src/plugins/wp/Warning.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/Model.cmi <.> echo Ocamlc src/plugins/wp/Model.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/VCS.cmo <.> echo Ocamlc src/plugins/wp/VCS.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/script.cmo <.> echo Ocamlc src/plugins/wp/script.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/why3_xml.cmo <.> echo Ocamlc src/plugins/wp/why3_xml.cmo [*] as -o src/kernel_internals/parsing/cparser.o /tmp/camlasmbac57c.s <.> as -o src/kernel_internals/parsing/cparser.o /tmp/camlasmbac57c.s [*] as -o src/kernel_services/ast_queries/logic_typing.o /tmp/camlasme94735.s <.> as -o src/kernel_services/ast_queries/logic_typing.o /tmp/camlasme94735.s