[*] /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 conf9938.dir <.> /bin/mkdir -p conf9938.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] as -o test_native_threads.o /tmp/camlasm1ec27a.s <.> as -o test_native_threads.o /tmp/camlasm1ec27a.s [*] as -o /tmp/camlstartup3a6b53.o /tmp/camlstartup0a9476.s <.> as -o /tmp/camlstartup3a6b53.o /tmp/camlstartup0a9476.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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/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/camlstartup3a6b53.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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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/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/camlstartup3a6b53.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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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 conf26750.dir <.> /bin/mkdir -p conf26750.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir conf14324.dir <.> /bin/mkdir -p conf14324.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/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/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/camlasm2389ba.s <.> as -o test_dynlink.o /tmp/camlasm2389ba.s [*] as -o test_dynlink.cmxs.startup.o /tmp/camlstartup9424b4.s <.> as -o test_dynlink.cmxs.startup.o /tmp/camlstartup9424b4.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/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/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 conf11723.dir <.> /bin/mkdir -p conf11723.dir [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p . <.> /bin/mkdir -p -p . [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/true <.> true [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/kernel_internals/parsing/clexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/kernel_internals/parsing/cparser.ml <.> echo Ocamllex src/kernel_internals/parsing/clexer.ml <.> echo Ocamlyacc src/kernel_internals/parsing/cparser.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 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/libraries/utils/json.ml <.> echo Ocamllex src/libraries/utils/json.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating share/frama-c.rc <.> echo Generating share/frama-c.rc [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating share/Makefile.kernel <.> echo Generating share/Makefile.kernel [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating share/Makefile.dynamic_config <.> echo Generating share/Makefile.dynamic_config [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/wp/.Makefile.plugin.generated <.> echo Generating src/plugins/wp/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/variadic/.Makefile.plugin.generated <.> echo Generating src/plugins/variadic/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/security_slicing/.Makefile.plugin.generated <.> echo Generating src/plugins/security_slicing/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/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/report/.Makefile.plugin.generated <.> echo Generating src/plugins/report/.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/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/scope/.Makefile.plugin.generated <.> echo Generating src/plugins/scope/.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/sparecode/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/impact/.Makefile.plugin.generated <.> echo Generating src/plugins/sparecode/.Makefile.plugin.generated <.> echo Generating src/plugins/impact/.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/postdominators/.Makefile.plugin.generated <.> echo Generating src/plugins/postdominators/.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/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/users/.Makefile.plugin.generated <.> echo Generating src/plugins/users/.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/from/.Makefile.plugin.generated <.> echo Generating src/plugins/from/.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/callgraph/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/plugins/metrics/.Makefile.plugin.generated <.> echo Generating src/plugins/callgraph/.Makefile.plugin.generated <.> echo Generating src/plugins/metrics/.Makefile.plugin.generated [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating src/kernel_internals/runtime/frama_c_config.ml <.> echo Generating src/kernel_internals/runtime/frama_c_config.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating .depend <.> echo Generating .depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/rformat.ml <.> echo Ocamllex src/plugins/wp/rformat.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/why3_xml.ml <.> echo Ocamllex src/plugins/wp/why3_xml.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/driver.ml <.> echo Ocamllex src/plugins/wp/driver.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/wp/qed/src/numbers.ml <.> echo Ocamllex src/plugins/wp/qed/src/numbers.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 Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml <.> echo Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/promelalexer.ml <.> echo Ocamllex src/plugins/aorai/promelalexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/promelalexer_withexps.ml <.> echo Ocamllex src/plugins/aorai/promelalexer_withexps.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/ltllexer.ml <.> echo Ocamllex src/plugins/aorai/ltllexer.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/ltlparser.ml <.> echo Ocamlyacc src/plugins/aorai/ltlparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/promelaparser.ml <.> echo Ocamlyacc src/plugins/aorai/promelaparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlyacc src/plugins/aorai/yaparser.ml <.> echo Ocamlyacc src/plugins/aorai/yaparser.ml [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamllex src/plugins/aorai/yalexer.ml <.> echo Ocamllex src/plugins/aorai/yalexer.ml [*] /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/Callgraph.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/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/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/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/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/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/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/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/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/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/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/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/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/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/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/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/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/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/LoopAnalysis.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/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/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/Nonterm.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/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/Variadic.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/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/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/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/Postdominators.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/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/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/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/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/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/From.mli [*] /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/From.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/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/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli [*] /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/Occurrence.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/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/Callgraph.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/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/gui [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli <.> /bin/mkdir -p -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/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/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/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/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/Obfuscator.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/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/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/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/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/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/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/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/Pdg.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/Pdg.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/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 [*] /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 <.> /bin/mkdir -p -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/gui/Security_slicing.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/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/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli <.> echo Generating /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli [*] /data/scratch/devel/frama-c/work/.tools/bin/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 Ocamldep src/plugins/variadic/.depend <.> echo Ocamldep src/plugins/variadic/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/security_slicing/.depend <.> echo Ocamldep src/plugins/security_slicing/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo 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 Ocamldep src/plugins/report/.depend <.> echo Ocamldep src/plugins/report/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/print_api/.depend <.> echo Ocamldep src/plugins/print_api/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/obfuscator/.depend <.> echo Ocamldep src/plugins/obfuscator/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/nonterm/.depend <.> echo Ocamldep src/plugins/nonterm/.depend [*] /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/e-acsl/.depend <.> echo Ocamldep src/plugins/e-acsl/.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/loop_analysis/.depend <.> echo Ocamldep src/plugins/loop_analysis/.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/aorai/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/slicing/.depend <.> echo Ocamldep src/plugins/aorai/.depend <.> echo Ocamldep src/plugins/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/pdg/.depend <.> echo Ocamldep src/plugins/pdg/.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/postdominators/.depend <.> echo Ocamldep src/plugins/postdominators/.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/constant_propagation/.depend <.> echo Ocamldep src/plugins/constant_propagation/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/rte/.depend <.> echo Ocamldep src/plugins/rte/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/occurrence/.depend <.> echo Ocamldep src/plugins/occurrence/.depend [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamldep src/plugins/value/.depend <.> echo Ocamldep src/plugins/value/.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 Ocamlc src/plugins/aorai/bool3.cmi <.> echo Ocamlc src/plugins/aorai/bool3.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/unmarshal.cmi <.> echo Ocamlc src/libraries/datatype/unmarshal.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCSet.cmi <.> echo Ocamlc src/libraries/stdlib/FCSet.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-aorai <.> echo Generating META.frama-c-aorai [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/pretty_utils.cmi <.> echo Ocamlc src/libraries/utils/pretty_utils.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCHashtbl.cmi <.> echo Ocamlc src/libraries/stdlib/FCHashtbl.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCMap.cmi <.> echo Ocamlc src/libraries/stdlib/FCMap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/extlib.cmi <.> echo Ocamlc src/libraries/stdlib/extlib.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/wto.cmi <.> echo Ocamlc src/libraries/utils/wto.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/ltlast.cmi <.> echo Ocamlc src/plugins/aorai/ltlast.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/aorai/aorai_dataflow.cmi <.> echo Ocamlc src/plugins/aorai/aorai_dataflow.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/filepath.cmi <.> echo Ocamlc src/libraries/utils/filepath.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/hook.cmi <.> echo Ocamlc src/libraries/utils/hook.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-e_acsl <.> echo Generating META.frama-c-e_acsl [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/escape.cmi <.> echo Ocamlc src/libraries/utils/escape.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/cilE.cmi <.> echo Ocamlc src/plugins/value_types/cilE.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/e-acsl/local_config.cmi <.> echo Ocamlc src/plugins/e-acsl/local_config.cmi [*] /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/e-acsl/error.cmi <.> echo Ocamlc src/plugins/e-acsl/error.cmi [*] /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/loop_analysis/region_analysis_sig.cmo <.> echo Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-obfuscator <.> echo Generating META.frama-c-obfuscator [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/obfuscator/obfuscate.cmi <.> echo Ocamlc src/plugins/obfuscator/obfuscate.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-print_api <.> echo Generating META.frama-c-print_api [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/transitioning.cmi <.> echo Ocamlc src/libraries/stdlib/transitioning.cmi [*] /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 Generating META.frama-c-report <.> echo Generating META.frama-c-report [*] /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/plugins/report/csv.cmi <.> echo Ocamlc src/plugins/report/csv.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-variadic <.> echo Generating META.frama-c-variadic [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-security_slicing <.> echo Generating META.frama-c-security_slicing [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/report/register.cmi <.> echo Ocamlc src/plugins/report/register.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/variadic/format_types.cmi <.> echo Ocamlc src/plugins/variadic/format_types.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-wp <.> echo Generating META.frama-c-wp [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/rformat.cmi <.> echo Ocamlc src/plugins/wp/rformat.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/command.cmi <.> echo Ocamlc src/libraries/utils/command.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/Warning.cmi <.> echo Ocamlc src/plugins/wp/Warning.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/bag.cmi <.> echo Ocamlc src/libraries/utils/bag.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/bitvector.cmi <.> echo Ocamlc src/libraries/utils/bitvector.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/VCS.cmi <.> echo Ocamlc src/plugins/wp/VCS.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/wp/script.cmi <.> echo Ocamlc src/plugins/wp/script.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/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/plugins/wp/why3_xml.cmi <.> echo Ocamlc src/plugins/wp/why3_xml.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/json.cmi <.> echo Ocamlc src/libraries/utils/json.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/task.cmi <.> echo Ocamlc src/libraries/utils/task.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/typing/alpha.cmi <.> echo Ocamlc src/kernel_internals/typing/alpha.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generation of the extra-config for why3 <.> echo Generation of the extra-config for why3 [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/transitioning.cmo <.> echo Ocamlc src/libraries/stdlib/transitioning.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCSet.cmo <.> echo Ocamlc src/libraries/stdlib/FCSet.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/frama_c_init.cmi <.> echo Ocamlc src/kernel_internals/runtime/frama_c_init.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCMap.cmo <.> echo Ocamlc src/libraries/stdlib/FCMap.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCBuffer.cmi <.> echo Ocamlc src/libraries/stdlib/FCBuffer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/FCHashtbl.cmo <.> echo Ocamlc src/libraries/stdlib/FCHashtbl.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/unmarshal_z.cmi <.> echo Ocamlc src/libraries/datatype/unmarshal_z.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/stdlib/extlib.cmo <.> echo Ocamlc src/libraries/stdlib/extlib.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/datatype/unmarshal.cmo <.> echo Ocamlc src/libraries/datatype/unmarshal.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/pretty_utils.cmo <.> echo Ocamlc src/libraries/utils/pretty_utils.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/hook.cmo <.> echo Ocamlc src/libraries/utils/hook.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/bag.cmo <.> echo Ocamlc src/libraries/utils/bag.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/wto.cmo <.> echo Ocamlc src/libraries/utils/wto.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/vector.cmo <.> echo Ocamlc src/libraries/utils/vector.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/rgmap.cmi <.> echo Ocamlc src/libraries/utils/rgmap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/indexer.cmi <.> echo Ocamlc src/libraries/utils/indexer.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/bitvector.cmo <.> echo Ocamlc src/libraries/utils/bitvector.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/qstack.cmi <.> echo Ocamlc src/libraries/utils/qstack.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/leftistheap.cmi <.> echo Ocamlc src/libraries/utils/leftistheap.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/filepath.cmo <.> echo Ocamlc src/libraries/utils/filepath.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/json.cmo <.> echo Ocamlc src/libraries/utils/json.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/config.cmo <.> echo Ocamlc src/kernel_internals/runtime/config.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/utf8_logic.cmi <.> echo Ocamlc src/libraries/utils/utf8_logic.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/libraries/utils/escape.cmo <.> echo Ocamlc src/libraries/utils/escape.cmo [*] /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/cilconfig.cmi <.> echo Ocamlc src/libraries/utils/cilconfig.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 Ocamlc src/kernel_internals/parsing/errorloc.cmi <.> echo Ocamlc src/kernel_internals/parsing/errorloc.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi <.> echo Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi <.> echo Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value_types/cilE.cmo <.> echo Ocamlc src/plugins/value_types/cilE.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/special_hooks.cmi <.> echo Ocamlc src/kernel_internals/runtime/special_hooks.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo CC src/libraries/utils/c_bindings.o <.> echo CC src/libraries/utils/c_bindings.o [*] cc -fPIC -c -I/usr/pkg/lib/ocaml -O3 -Wall -o src/libraries/utils/c_bindings.o src/libraries/utils/c_bindings.c <.> /usr/bin/clang -fPIC -c -I/usr/pkg/lib/ocaml -O3 -Wall -o src/libraries/utils/c_bindings.o src/libraries/utils/c_bindings.c -Qunused-arguments -fstack-protector -I/data/scratch/devel/frama-c/work/.buildlink/include [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/metrics/css_html.cmo <.> echo Ocamlc src/plugins/metrics/css_html.cmo [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/metrics/metrics_cabs.cmi <.> echo Ocamlc src/plugins/metrics/metrics_cabs.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/slevel/stop_at_nth.cmi <.> echo Ocamlc src/plugins/value/slevel/stop_at_nth.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/utils/structure.cmi <.> echo Ocamlc src/plugins/value/utils/structure.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/legacy/function_args.cmi <.> echo Ocamlc src/plugins/value/legacy/function_args.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi <.> echo Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/register.cmi <.> echo Ocamlc src/plugins/value/register.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/from/functionwise.cmi <.> echo Ocamlc src/plugins/from/functionwise.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/from/callwise.cmi <.> echo Ocamlc src/plugins/from/callwise.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/from/from_register.cmi <.> echo Ocamlc src/plugins/from/from_register.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/constant_propagation/register.cmi <.> echo Ocamlc src/plugins/constant_propagation/register.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/scope/zones.cmi <.> echo Ocamlc src/plugins/scope/zones.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /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/gui/widget.cmi <.> echo Ocamlc src/plugins/gui/widget.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/plugins/gui/gtk_form.cmi <.> echo Ocamlc src/plugins/gui/gtk_form.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 Ocamlc src/plugins/gui/book_manager.cmi <.> echo Ocamlc src/plugins/gui/book_manager.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/analyses_manager.cmi <.> echo Ocamlc src/plugins/gui/analyses_manager.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/project_manager.cmi <.> echo Ocamlc src/plugins/gui/project_manager.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/debug_manager.cmi <.> echo Ocamlc src/plugins/gui/debug_manager.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/file_manager.cmi <.> echo Ocamlc src/plugins/gui/file_manager.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/help_manager.cmi <.> echo Ocamlc src/plugins/gui/help_manager.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/gui/property_navigator.cmi <.> echo Ocamlc src/plugins/gui/property_navigator.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-metrics <.> echo Generating META.frama-c-metrics [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-callgraph <.> echo Generating META.frama-c-callgraph [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-value <.> echo Generating META.frama-c-value [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-occurrence <.> echo Generating META.frama-c-occurrence [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-rtegen <.> echo Generating META.frama-c-rtegen [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-users <.> echo Generating META.frama-c-users [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-from <.> echo Generating META.frama-c-from [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-constant_propagation <.> echo Generating META.frama-c-constant_propagation [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-postdominators <.> echo Generating META.frama-c-postdominators [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-inout <.> echo Generating META.frama-c-inout [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-impact <.> echo Generating META.frama-c-impact [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-pdg <.> echo Generating META.frama-c-pdg [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-scope <.> echo Generating META.frama-c-scope [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-sparecode <.> echo Generating META.frama-c-sparecode [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Generating META.frama-c-slicing <.> echo Generating META.frama-c-slicing [*] /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 [*] /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/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/qstack.cmx <.> echo Ocamlopt src/libraries/utils/qstack.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/escape.cmx <.> echo Ocamlopt src/libraries/utils/escape.cmx [*] as -o src/libraries/stdlib/transitioning.o /tmp/camlasm60842f.s <.> as -o src/libraries/stdlib/transitioning.o /tmp/camlasm60842f.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/wto.cmx <.> echo Ocamlopt src/libraries/utils/wto.cmx [*] as -o src/plugins/aorai/bool3.o /tmp/camlasm41eebd.s <.> as -o src/plugins/aorai/bool3.o /tmp/camlasm41eebd.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/e-acsl/local_config.cmx <.> echo Ocamlopt src/plugins/e-acsl/local_config.cmx [*] /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 Ocamlopt src/plugins/print_api/grammar.cmx <.> echo Ocamlopt src/plugins/print_api/grammar.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/wp/rformat.cmx <.> echo Ocamlopt src/plugins/wp/rformat.cmx [*] as -o src/libraries/stdlib/FCBuffer.o /tmp/camlasme04676.s <.> as -o src/libraries/stdlib/FCBuffer.o /tmp/camlasme04676.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/bag.cmx <.> echo Ocamlopt src/libraries/utils/bag.cmx [*] as -o src/libraries/stdlib/FCMap.o /tmp/camlasm07d6a8.s <.> as -o src/libraries/stdlib/FCMap.o /tmp/camlasm07d6a8.s [*] as -o src/libraries/stdlib/FCSet.o /tmp/camlasm61c55e.s <.> as -o src/libraries/stdlib/FCSet.o /tmp/camlasm61c55e.s [*] as -o src/libraries/utils/qstack.o /tmp/camlasmb8a17d.s <.> as -o src/libraries/utils/qstack.o /tmp/camlasmb8a17d.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/wp/script.cmx <.> echo Ocamlopt src/plugins/wp/script.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/vector.cmx <.> echo Ocamlopt src/libraries/utils/vector.cmx [*] as -o src/libraries/utils/utf8_logic.o /tmp/camlasmc65355.s <.> as -o src/libraries/utils/utf8_logic.o /tmp/camlasmc65355.s [*] as -o src/libraries/utils/hook.o /tmp/camlasm8b3caa.s <.> as -o src/libraries/utils/hook.o /tmp/camlasm8b3caa.s [*] as -o src/libraries/utils/escape.o /tmp/camlasm497f35.s <.> as -o src/libraries/utils/escape.o /tmp/camlasm497f35.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/json.cmx <.> echo Ocamlopt src/libraries/utils/json.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/wp/why3_xml.cmx <.> echo Ocamlopt src/plugins/wp/why3_xml.cmx [*] as -o src/libraries/datatype/unmarshal.o /tmp/camlasm16a4de.s <.> as -o src/libraries/datatype/unmarshal.o /tmp/camlasm16a4de.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/kernel_internals/runtime/frama_c_init.cmx <.> echo Ocamlopt src/kernel_internals/runtime/frama_c_init.cmx [*] as -o src/plugins/e-acsl/local_config.o /tmp/camlasm6182be.s <.> as -o src/plugins/e-acsl/local_config.o /tmp/camlasm6182be.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/indexer.cmx <.> echo Ocamlopt src/libraries/utils/indexer.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p ../bin <.> /bin/mkdir -p -p ../bin [*] /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/wto.o /tmp/camlasm09e73b.s <.> as -o src/libraries/utils/wto.o /tmp/camlasm09e73b.s [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/libraries/utils/leftistheap.cmx <.> echo Ocamlopt src/libraries/utils/leftistheap.cmx [*] as -o src/plugins/wp/rformat.o /tmp/camlasmd91e59.s <.> as -o src/plugins/wp/rformat.o /tmp/camlasmd91e59.s [*] as -o src/plugins/print_api/grammar.o /tmp/camlasmf2bd79.s <.> as -o src/plugins/print_api/grammar.o /tmp/camlasmf2bd79.s [*] as -o src/libraries/utils/bitvector.o /tmp/camlasmbb1ae2.s <.> as -o src/libraries/utils/bitvector.o /tmp/camlasmbb1ae2.s [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] as -o src/libraries/utils/vector.o /tmp/camlasm75457d.s <.> as -o src/libraries/utils/vector.o /tmp/camlasm75457d.s [*] as -o src/libraries/utils/bag.o /tmp/camlasm685158.s <.> as -o src/libraries/utils/bag.o /tmp/camlasm685158.s [*] as -o src/plugins/wp/script.o /tmp/camlasm5a146e.s <.> as -o src/plugins/wp/script.o /tmp/camlasm5a146e.s [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] as -o src/kernel_internals/runtime/frama_c_init.o /tmp/camlasm2952f8.s <.> as -o src/kernel_internals/runtime/frama_c_init.o /tmp/camlasm2952f8.s [*] as -o src/libraries/utils/json.o /tmp/camlasm8f1d7e.s <.> as -o src/libraries/utils/json.o /tmp/camlasm8f1d7e.s [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] /data/scratch/devel/frama-c/work/.tools/bin/mkdir -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc <.> /bin/mkdir -p -p /data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/fc [*] as -o src/libraries/utils/rgmap.o /tmp/camlasme19076.s <.> as -o src/libraries/utils/rgmap.o /tmp/camlasme19076.s [*] as -o src/libraries/utils/indexer.o /tmp/camlasma3c4c1.s <.> as -o src/libraries/utils/indexer.o /tmp/camlasma3c4c1.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/plugins/gui/gtk_form.cmx <.> echo Ocamlopt src/plugins/gui/gtk_form.cmx [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlopt src/plugins/gui/wutil.cmx <.> echo Ocamlopt src/plugins/gui/wutil.cmx [*] /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 Generating ptests/ptests_config.ml <.> echo Generating ptests/ptests_config.ml [*] /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/security_slicing/register_gui.cmi <.> echo Ocamlc src/plugins/security_slicing/register_gui.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/occurrence/register_gui.cmi <.> echo Ocamlc src/plugins/occurrence/register_gui.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/kernel_internals/runtime/gui_init.cmi <.> echo Ocamlc src/kernel_internals/runtime/gui_init.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/value/gui_files/register_gui.cmi <.> echo Ocamlc src/plugins/value/gui_files/register_gui.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/impact/register_gui.cmi <.> echo Ocamlc src/plugins/impact/register_gui.cmi [*] /data/scratch/devel/frama-c/work/.tools/bin/echo Ocamlc src/plugins/from/from_register_gui.cmi <.> echo Ocamlc src/plugins/from/from_register_gui.cmi [*] as -o src/plugins/wp/why3_xml.o /tmp/camlasm039eb1.s <.> as -o src/plugins/wp/why3_xml.o /tmp/camlasm039eb1.s [*] as -o src/libraries/utils/leftistheap.o /tmp/camlasm0ccca9.s <.> as -o src/libraries/utils/leftistheap.o /tmp/camlasm0ccca9.s [*] /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 [*] /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/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 [*] /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/camlasm0c0e97.s <.> as -o src/kernel_internals/runtime/frama_c_config.o /tmp/camlasm0c0e97.s [*] as -o /tmp/camlstartup6c81e8.o /tmp/camlstartup68e0b4.s <.> as -o /tmp/camlstartup6c81e8.o /tmp/camlstartup68e0b4.s [*] as -o src/plugins/gui/wutil.o /tmp/camlasm1fcbe3.s <.> as -o src/plugins/gui/wutil.o /tmp/camlasm1fcbe3.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -o bin/frama-c-config -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/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/camlstartup6c81e8.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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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/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/camlstartup6c81e8.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 [*] as -o src/plugins/gui/wtable.o /tmp/camlasmb1a3be.s <.> as -o src/plugins/gui/wtable.o /tmp/camlasmb1a3be.s [*] as -o src/plugins/gui/gtk_form.o /tmp/camlasmd9fa75.s <.> as -o src/plugins/gui/gtk_form.o /tmp/camlasmd9fa75.s