[*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] as -o Perf.o /tmp/camlasm7286ed.s <.> as -o Perf.o /tmp/camlasm7286ed.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -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 -I/usr/pkg/lib/ocaml caml_stopwatch.c <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -L/data/scratch/devel/verifast/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/verifast/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/verifast/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr -I/usr/pkg/lib/ocaml caml_stopwatch.c -Qunused-arguments -fstack-protector [*] as -o main_class.o /tmp/camlasmd6142a.s <.> as -o main_class.o /tmp/camlasmd6142a.s [*] as -o java_card_applet.o /tmp/camlasme98aa5.s <.> as -o java_card_applet.o /tmp/camlasme98aa5.s [*] as -o dlsymtool.o /tmp/camlasma9e23d.s <.> as -o dlsymtool.o /tmp/camlasma9e23d.s [*] as -o branchleft_png.o /tmp/camlasm49acb3.s <.> as -o branchleft_png.o /tmp/camlasm49acb3.s [*] as -o /tmp/camlstartupf21224.o /tmp/camlstartupc7e8b3.s <.> as -o /tmp/camlstartupf21224.o /tmp/camlstartupc7e8b3.s [*] as -o /tmp/camlstartupd4ddee.o /tmp/camlstartupa177ec.s <.> as -o /tmp/camlstartupd4ddee.o /tmp/camlstartupa177ec.s [*] as -o vfstrip.o /tmp/camlasmfc6caa.s <.> as -o vfstrip.o /tmp/camlasmfc6caa.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o ../bin/java_card_applet -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr /tmp/camlstartupf21224.o /usr/pkg/lib/ocaml/std_exit.o java_card_applet.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o ../bin/java_card_applet -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -L/data/scratch/devel/verifast/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/verifast/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/verifast/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr /tmp/camlstartupf21224.o /usr/pkg/lib/ocaml/std_exit.o java_card_applet.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] as -o branchright_png.o /tmp/camlasme0be12.s <.> as -o branchright_png.o /tmp/camlasme0be12.s [*] as -o /tmp/camlstartup958c14.o /tmp/camlstartup751456.s <.> as -o /tmp/camlstartup958c14.o /tmp/camlstartup751456.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o ../bin/main_class -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr /tmp/camlstartupd4ddee.o /usr/pkg/lib/ocaml/std_exit.o main_class.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o ../bin/main_class -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -L/data/scratch/devel/verifast/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/verifast/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/verifast/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr /tmp/camlstartupd4ddee.o /usr/pkg/lib/ocaml/std_exit.o main_class.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] as -o Stopwatch.o /tmp/camlasm2381ae.s <.> as -o Stopwatch.o /tmp/camlasm2381ae.s [*] as -o /tmp/camlstartupe00b81.o /tmp/camlstartup2644c2.s <.> as -o /tmp/camlstartupe00b81.o /tmp/camlstartup2644c2.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o ../bin/dlsymtool -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr /tmp/camlstartup958c14.o /usr/pkg/lib/ocaml/std_exit.o dlsymtool.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o ../bin/dlsymtool -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -L/data/scratch/devel/verifast/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/verifast/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/verifast/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr /tmp/camlstartup958c14.o /usr/pkg/lib/ocaml/std_exit.o dlsymtool.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o ../bin/vfstrip -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr /tmp/camlstartupe00b81.o /usr/pkg/lib/ocaml/std_exit.o vfstrip.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o ../bin/vfstrip -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -L/data/scratch/devel/verifast/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/verifast/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/verifast/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr /tmp/camlstartupe00b81.o /usr/pkg/lib/ocaml/std_exit.o vfstrip.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] as -o vfconfig.o /tmp/camlasm61d887.s <.> as -o vfconfig.o /tmp/camlasm61d887.s [*] as -o vfversion.o /tmp/camlasme82e1b.s <.> as -o vfversion.o /tmp/camlasme82e1b.s [*] as -o proverapi.o /tmp/camlasmf38ea9.s <.> as -o proverapi.o /tmp/camlasmf38ea9.s [*] as -o java_frontend/misc.o /tmp/camlasm46894d.s <.> as -o java_frontend/misc.o /tmp/camlasm46894d.s [*] as -o Printexc_proxy.o /tmp/camlasmc456a3.s <.> as -o Printexc_proxy.o /tmp/camlasmc456a3.s [*] as -o SExpressions.o /tmp/camlasm5cfae8.s <.> as -o SExpressions.o /tmp/camlasm5cfae8.s [*] as -o mysh.o /tmp/camlasmbb406f.s <.> as -o mysh.o /tmp/camlasmbb406f.s [*] as -o simplex.o /tmp/camlasm238a35.s <.> as -o simplex.o /tmp/camlasm238a35.s [*] as -o util.o /tmp/camlasmaf54c2.s <.> as -o util.o /tmp/camlasmaf54c2.s [*] as -o /tmp/camlstartup229fd4.o /tmp/camlstartupbf5446.s <.> as -o /tmp/camlstartup229fd4.o /tmp/camlstartupbf5446.s [*] as -o java_frontend/general_ast.o /tmp/camlasm2acec5.s <.> as -o java_frontend/general_ast.o /tmp/camlasm2acec5.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o ../bin/mysh -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr /tmp/camlstartup229fd4.o /usr/pkg/lib/ocaml/std_exit.o mysh.o vfconfig.o /usr/pkg/lib/ocaml/threads/threads.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lthreadsnat -lpthread -lunix /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o ../bin/mysh -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -L/data/scratch/devel/verifast/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/verifast/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/verifast/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr /tmp/camlstartup229fd4.o /usr/pkg/lib/ocaml/std_exit.o mysh.o vfconfig.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 [*] as -o combineprovers.o /tmp/camlasmc01fdc.s <.> as -o combineprovers.o /tmp/camlasmc01fdc.s [*] as -o z3v4dot5prover.o /tmp/camlasmd5154a.s <.> as -o z3v4dot5prover.o /tmp/camlasmd5154a.s [*] as -o smtlib.o /tmp/camlasm92431a.s <.> as -o smtlib.o /tmp/camlasm92431a.s [*] as -o ast.o /tmp/camlasm99addb.s <.> as -o ast.o /tmp/camlasm99addb.s [*] as -o java_frontend/ast_writer.o /tmp/camlasm38e446.s <.> as -o java_frontend/ast_writer.o /tmp/camlasm38e446.s [*] as -o verifast0.o /tmp/camlasm5247da.s <.> as -o verifast0.o /tmp/camlasm5247da.s [*] as -o smtlibprover.o /tmp/camlasm2614a5.s <.> as -o smtlibprover.o /tmp/camlasm2614a5.s [*] as -o shape_analysis/changelog.o /tmp/camlasmd3323f.s <.> as -o shape_analysis/changelog.o /tmp/camlasmd3323f.s [*] as -o stats.o /tmp/camlasm7058a8.s <.> as -o stats.o /tmp/camlasm7058a8.s [*] as -o shape_analysis/shape_analysis_backend.o /tmp/camlasmd9bf00.s <.> as -o shape_analysis/shape_analysis_backend.o /tmp/camlasmd9bf00.s [*] as -o SExpressionEmitter.o /tmp/camlasm9bbff0.s <.> as -o SExpressionEmitter.o /tmp/camlasm9bbff0.s [*] as -o java_frontend/ast_reader.o /tmp/camlasmb5133b.s <.> as -o java_frontend/ast_reader.o /tmp/camlasmb5133b.s [*] as -o redux.o /tmp/camlasm8cb0f1.s <.> as -o redux.o /tmp/camlasm8cb0f1.s [*] as -o java_frontend/communication.o /tmp/camlasm7a03c5.s <.> as -o java_frontend/communication.o /tmp/camlasm7a03c5.s [*] as -o java_frontend/annotation_type_checker.o /tmp/camlasm773e91.s <.> as -o java_frontend/annotation_type_checker.o /tmp/camlasm773e91.s [*] as -o lexer.o /tmp/camlasmd3cb36.s <.> as -o lexer.o /tmp/camlasmd3cb36.s [*] as -o java_frontend/java_frontend.o /tmp/camlasm2251aa.s <.> as -o java_frontend/java_frontend.o /tmp/camlasm2251aa.s [*] as -o parser.o /tmp/camlasm1f5030.s <.> as -o parser.o /tmp/camlasm1f5030.s [*] as -o shape_analysis/shape_analysis_frontend.o /tmp/camlasm895ada.s <.> as -o shape_analysis/shape_analysis_frontend.o /tmp/camlasm895ada.s [*] as -o java_frontend/ast_translator.o /tmp/camlasm1f98d9.s <.> as -o java_frontend/ast_translator.o /tmp/camlasm1f98d9.s [*] as -o java_frontend/java_frontend_bridge.o /tmp/camlasm255f4f.s <.> as -o java_frontend/java_frontend_bridge.o /tmp/camlasm255f4f.s [*] as -o verifast1.o /tmp/camlasmf2e9ae.s <.> as -o verifast1.o /tmp/camlasmf2e9ae.s [*] as -o assertions.o /tmp/camlasm192f2a.s <.> as -o assertions.o /tmp/camlasm192f2a.s [*] as -o verify_expr.o /tmp/camlasm76fda7.s <.> as -o verify_expr.o /tmp/camlasm76fda7.s [*] as -o verifast.o /tmp/camlasm5c1ad8.s <.> as -o verifast.o /tmp/camlasm5c1ad8.s [*] as -o verifastPluginRedux.o /tmp/camlasmdbbe2d.s <.> as -o verifastPluginRedux.o /tmp/camlasmdbbe2d.s [*] as -o verifastPluginCvc4.o /tmp/camlasm12c49e.s <.> as -o verifastPluginCvc4.o /tmp/camlasm12c49e.s [*] as -o verifastPluginExternalZ3.o /tmp/camlasm1d4484.s <.> as -o verifastPluginExternalZ3.o /tmp/camlasm1d4484.s [*] /data/scratch/devel/verifast/work/.tools/bin/pkg-config --cflags gtksourceview-2.0 <.> PKG_CONFIG_LIBDIR=/data/scratch/devel/verifast/work/.buildlink/lib/pkgconfig:/data/scratch/devel/verifast/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config --cflags gtksourceview-2.0 [*] as -o vfconsole.o /tmp/camlasm9bf878.s <.> as -o vfconsole.o /tmp/camlasm9bf878.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -g -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include/gtksourceview-2.0 -I/usr/pkg/include/gtk-2.0 -I/usr/pkg/lib/gtk-2.0/include -I/usr/pkg/include/pango-1.0 -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include -I/usr/pkg/include/fribidi -I/usr/pkg/include/cairo -I/usr/pkg/include/pixman-1 -I/usr/pkg/include/freetype2 -I/usr/pkg/include/uuid -I/usr/pkg/include/libpng16 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include/glib/gio-unix-2.0/ -D_REENTRANT -I/usr/pkg/include/gdk-pixbuf-2.0 -D_REENTRANT -I/usr/pkg/include/atk-1.0 -D_REENTRANT -pthread -I/usr/pkg/include/libxml2 -I/usr/pkg/lib/ocaml linemarks.c <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -g -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -I/data/scratch/devel/verifast/work/.buildlink/include/gtksourceview-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/gtk-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/gtk-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/pango-1.0 -I/data/scratch/devel/verifast/work/.buildlink/include/fribidi -I/data/scratch/devel/verifast/work/.buildlink/include/cairo -I/data/scratch/devel/verifast/work/.buildlink/include/pixman-1 -I/data/scratch/devel/verifast/work/.buildlink/include/uuid -I/data/scratch/devel/verifast/work/.buildlink/include/libpng16 -I/data/scratch/devel/verifast/work/.buildlink/include/harfbuzz -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0/ -D_REENTRANT -I/data/scratch/devel/verifast/work/.buildlink/include/gdk-pixbuf-2.0 -D_REENTRANT -I/data/scratch/devel/verifast/work/.buildlink/include/atk-1.0 -D_REENTRANT -pthread -I/data/scratch/devel/verifast/work/.buildlink/include/libxml2 -I/usr/pkg/lib/ocaml linemarks.c -Qunused-arguments -fstack-protector [*] as -o verifastPluginReduxSmtlib.o /tmp/camlasme34f8b.s <.> as -o verifastPluginReduxSmtlib.o /tmp/camlasme34f8b.s [*] as -o verifastPluginZ3v4dot5.o /tmp/camlasm711056.s <.> as -o verifastPluginZ3v4dot5.o /tmp/camlasm711056.s [*] as -o verifastPluginReduxZ3v4dot5.o /tmp/camlasm9fb824.s <.> as -o verifastPluginReduxZ3v4dot5.o /tmp/camlasm9fb824.s [*] as -o verifastPluginZ3v4dot5Smtlib.o /tmp/camlasm5bf6d0.s <.> as -o verifastPluginZ3v4dot5Smtlib.o /tmp/camlasm5bf6d0.s [*] as -o /tmp/camlstartupb179bb.o /tmp/camlstartup54bc41.s <.> as -o /tmp/camlstartupb179bb.o /tmp/camlstartup54bc41.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o ../bin/verifast -Llinux -Ljava_frontend -Lshape_analysis -L/usr/pkg/lib/ocaml/site-lib/Z3 -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/include -I/usr/pkg/include -Wl,-rpath,/usr/lib:/usr/pkg/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -Wl,-rpath,/usr/pkg/lib:/usr/lib /tmp/camlstartupb179bb.o /usr/pkg/lib/ocaml/std_exit.o vfconsole.o verifastPluginRedux.o verifastPluginZ3v4dot5Smtlib.o verifastPluginReduxZ3v4dot5.o verifastPluginZ3v4dot5.o z3v4dot5prover.o /usr/pkg/lib/ocaml/site-lib/Z3/z3ml.a verifastPluginReduxSmtlib.o verifastPluginExternalZ3.o verifastPluginCvc4.o smtlibprover.o smtlib.o combineprovers.o redux.o simplex.o verifast.o verify_expr.o assertions.o verifast1.o verifast0.o SExpressionEmitter.o SExpressions.o java_frontend/java_frontend_bridge.o java_frontend/ast_translator.o java_frontend/java_frontend.o java_frontend/annotation_type_checker.o java_frontend/communication.o java_frontend/ast_writer.o java_frontend/ast_reader.o java_frontend/general_ast.o java_frontend/misc.o /usr/pkg/lib/ocaml/threads/threads.a parser.o lexer.o stats.o ast.o util.o vfversion.o proverapi.o linux/Perf.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lz3ml -L. -L/usr/pkg/lib -L/usr/lib -lz3 -lthreadsnat -lpthread -lPerf_cobjs -lcamlstr -lnums -L/usr/lib -L/usr/pkg/lib -lunix -L /usr/pkg/lib /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o ../bin/verifast -Llinux -Ljava_frontend -Lshape_analysis -L/usr/pkg/lib/ocaml/site-lib/Z3 -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -L/data/scratch/devel/verifast/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/verifast/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/verifast/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib/nss -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib /tmp/camlstartupb179bb.o /usr/pkg/lib/ocaml/std_exit.o vfconsole.o verifastPluginRedux.o verifastPluginZ3v4dot5Smtlib.o verifastPluginReduxZ3v4dot5.o verifastPluginZ3v4dot5.o z3v4dot5prover.o /usr/pkg/lib/ocaml/site-lib/Z3/z3ml.a verifastPluginReduxSmtlib.o verifastPluginExternalZ3.o verifastPluginCvc4.o smtlibprover.o smtlib.o combineprovers.o redux.o simplex.o verifast.o verify_expr.o assertions.o verifast1.o verifast0.o SExpressionEmitter.o SExpressions.o java_frontend/java_frontend_bridge.o java_frontend/ast_translator.o java_frontend/java_frontend.o java_frontend/annotation_type_checker.o java_frontend/communication.o java_frontend/ast_writer.o java_frontend/ast_reader.o java_frontend/general_ast.o java_frontend/misc.o /usr/pkg/lib/ocaml/threads/threads.a parser.o lexer.o stats.o ast.o util.o vfversion.o proverapi.o linux/Perf.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/unix.a /usr/pkg/lib/ocaml/stdlib.a -lz3ml -L. -lz3 -lthreadsnat -lpthread -lPerf_cobjs -lcamlstr -lnums -lunix /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -g -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include/gtksourceview-2.0 -I/usr/pkg/include/gtk-2.0 -I/usr/pkg/lib/gtk-2.0/include -I/usr/pkg/include/pango-1.0 -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include -I/usr/pkg/include/fribidi -I/usr/pkg/include/cairo -I/usr/pkg/include/pixman-1 -I/usr/pkg/include/freetype2 -I/usr/pkg/include/uuid -I/usr/pkg/include/libpng16 -I/usr/pkg/include/harfbuzz -I/usr/pkg/include/glib/gio-unix-2.0/ -D_REENTRANT -I/usr/pkg/include/gdk-pixbuf-2.0 -D_REENTRANT -I/usr/pkg/include/atk-1.0 -D_REENTRANT -pthread -I/usr/pkg/include/libxml2 -I/usr/pkg/lib/ocaml ml_GtkLineMarks.c <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -g -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -I/data/scratch/devel/verifast/work/.buildlink/include/gtksourceview-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/gtk-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/gtk-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/pango-1.0 -I/data/scratch/devel/verifast/work/.buildlink/include/fribidi -I/data/scratch/devel/verifast/work/.buildlink/include/cairo -I/data/scratch/devel/verifast/work/.buildlink/include/pixman-1 -I/data/scratch/devel/verifast/work/.buildlink/include/uuid -I/data/scratch/devel/verifast/work/.buildlink/include/libpng16 -I/data/scratch/devel/verifast/work/.buildlink/include/harfbuzz -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0/ -D_REENTRANT -I/data/scratch/devel/verifast/work/.buildlink/include/gdk-pixbuf-2.0 -D_REENTRANT -I/data/scratch/devel/verifast/work/.buildlink/include/atk-1.0 -D_REENTRANT -pthread -I/data/scratch/devel/verifast/work/.buildlink/include/libxml2 -I/usr/pkg/lib/ocaml ml_GtkLineMarks.c -Qunused-arguments -fstack-protector [*] /data/scratch/devel/verifast/work/.tools/bin/pkg-config --libs gtksourceview-2.0 <.> PKG_CONFIG_LIBDIR=/data/scratch/devel/verifast/work/.buildlink/lib/pkgconfig:/data/scratch/devel/verifast/work/.buildlink/share/pkgconfig /usr/pkg/bin/pkg-config --libs gtksourceview-2.0 [*] as -o GtkLineMarks.o /tmp/camlasm5fb6d8.s <.> as -o GtkLineMarks.o /tmp/camlasm5fb6d8.s [*] as -o GLineMarks.o /tmp/camlasm7435a6.s <.> as -o GLineMarks.o /tmp/camlasm7435a6.s [*] as -o vfide.o /tmp/camlasm71f1a3.s <.> as -o vfide.o /tmp/camlasm71f1a3.s [*] as -o verifastPluginZ3v4dot5.o /tmp/camlasm72d4ec.s <.> as -o verifastPluginZ3v4dot5.o /tmp/camlasm72d4ec.s [*] as -o verifastPluginReduxZ3v4dot5.o /tmp/camlasm7e90b8.s <.> as -o verifastPluginReduxZ3v4dot5.o /tmp/camlasm7e90b8.s [*] as -o verifastPluginZ3v4dot5Smtlib.o /tmp/camlasmcb5a9f.s <.> as -o verifastPluginZ3v4dot5Smtlib.o /tmp/camlasmcb5a9f.s [*] as -o /tmp/camlstartupbcc8e5.o /tmp/camlstartup98dd3b.s <.> as -o /tmp/camlstartupbcc8e5.o /tmp/camlstartup98dd3b.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o ../bin/vfide -L/usr/pkg/lib/ocaml/site-lib/lablgtk2 -Llinemarks -Llinux -Ljava_frontend -Lshape_analysis -L/usr/pkg/lib/ocaml/site-lib/Z3 -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/include -I/usr/pkg/include -Wl,-rpath,/usr/lib:/usr/pkg/lib -Wl,-E -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -Wl,-rpath,/usr/pkg/lib:/usr/lib -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -Wl,-rpath,/usr/pkg/lib:/usr/lib:/usr/pkg/lib/nss:/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -Wl,-rpath,/usr/pkg/lib:/usr/lib:/usr/pkg/lib/nss:/usr/pkg/lib/nspr /tmp/camlstartupbcc8e5.o /usr/pkg/lib/ocaml/std_exit.o vfide.o vfconfig.o branchright_png.o branchleft_png.o shape_analysis/shape_analysis_frontend.o shape_analysis/changelog.o shape_analysis/shape_analysis_backend.o verifastPluginZ3v4dot5Smtlib.o verifastPluginReduxZ3v4dot5.o verifastPluginZ3v4dot5.o z3v4dot5prover.o /usr/pkg/lib/ocaml/site-lib/Z3/z3ml.a verifastPluginReduxSmtlib.o verifastPluginExternalZ3.o verifastPluginCvc4.o smtlibprover.o smtlib.o verifastPluginRedux.o redux.o simplex.o combineprovers.o verifast.o verify_expr.o assertions.o verifast1.o verifast0.o SExpressionEmitter.o SExpressions.o java_frontend/java_frontend_bridge.o java_frontend/ast_translator.o java_frontend/java_frontend.o java_frontend/annotation_type_checker.o java_frontend/communication.o java_frontend/ast_writer.o java_frontend/ast_reader.o java_frontend/general_ast.o java_frontend/misc.o /usr/pkg/lib/ocaml/threads/threads.a parser.o lexer.o stats.o ast.o util.o /usr/pkg/lib/ocaml/dynlink.a vfversion.o Printexc_proxy.o proverapi.o linux/Perf.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/unix.a linemarks/linemarks.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtksourceview2.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -lz3ml -L. -L/usr/pkg/lib -L/usr/lib -lz3 -lthreadsnat -lpthread -lPerf_cobjs -lcamlstr -lnums -L/usr/lib -L/usr/pkg/lib -lunix -L/data/scratch/devel/verifast/work/verifast-18.02/src/linemarks -llinemarks -L/usr/pkg/lib -lgtksourceview-2.0 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lgobject-2.0 -lglib-2.0 -lintl -lfribidi -lfontconfig -Wl,-R/usr/pkg/lib -lfreetype -llablgtksourceview2 -L/usr/pkg/lib -L/usr/pkg/lib/nspr -L/usr/pkg/lib/nss -L/usr/lib -L/usr/pkg/lib -lgtksourceview-2.0 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lgobject-2.0 -lglib-2.0 -lintl -lfribidi -lfontconfig -lfreetype -llablgtk2 -L/usr/pkg/lib -L/usr/pkg/lib/nspr -L/usr/pkg/lib/nss -L/usr/lib -L/usr/pkg/lib -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lgobject-2.0 -lglib-2.0 -lintl -lfribidi -lfontconfig -lfreetype -L /usr/pkg/lib /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o ../bin/vfide -L/usr/pkg/lib/ocaml/site-lib/lablgtk2 -Llinemarks -Llinux -Ljava_frontend -Lshape_analysis -L/usr/pkg/lib/ocaml/site-lib/Z3 -L/usr/pkg/lib/ocaml/threads -L/usr/pkg/lib/ocaml -O2 -I/data/scratch/devel/verifast/work/.buildlink/include -I/data/scratch/devel/verifast/work/.buildlink/include/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/include/glib/gio-unix-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -I/data/scratch/devel/verifast/work/.buildlink/include/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -I/data/scratch/devel/verifast/work/.buildlink/include/nss/nss -I/data/scratch/devel/verifast/work/.buildlink/include/nspr -I/data/scratch/devel/verifast/work/.buildlink/include/db4 -L/data/scratch/devel/verifast/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -L/data/scratch/devel/verifast/work/.buildlink/lib/nss -Wl,-rpath,/usr/pkg/lib/nss -L/data/scratch/devel/verifast/work/.buildlink/lib/nspr -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-E -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib/nss -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib/nss -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib/nss -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib/nss -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib/nss -Wl,-rpath,/usr/pkg/lib/nspr -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib/nss -Wl,-rpath,/usr/pkg/lib/nspr /tmp/camlstartupbcc8e5.o /usr/pkg/lib/ocaml/std_exit.o vfide.o vfconfig.o branchright_png.o branchleft_png.o shape_analysis/shape_analysis_frontend.o shape_analysis/changelog.o shape_analysis/shape_analysis_backend.o verifastPluginZ3v4dot5Smtlib.o verifastPluginReduxZ3v4dot5.o verifastPluginZ3v4dot5.o z3v4dot5prover.o /usr/pkg/lib/ocaml/site-lib/Z3/z3ml.a verifastPluginReduxSmtlib.o verifastPluginExternalZ3.o verifastPluginCvc4.o smtlibprover.o smtlib.o verifastPluginRedux.o redux.o simplex.o combineprovers.o verifast.o verify_expr.o assertions.o verifast1.o verifast0.o SExpressionEmitter.o SExpressions.o java_frontend/java_frontend_bridge.o java_frontend/ast_translator.o java_frontend/java_frontend.o java_frontend/annotation_type_checker.o java_frontend/communication.o java_frontend/ast_writer.o java_frontend/ast_reader.o java_frontend/general_ast.o java_frontend/misc.o /usr/pkg/lib/ocaml/threads/threads.a parser.o lexer.o stats.o ast.o util.o /usr/pkg/lib/ocaml/dynlink.a vfversion.o Printexc_proxy.o proverapi.o linux/Perf.a /usr/pkg/lib/ocaml/str.a /usr/pkg/lib/ocaml/nums.a /usr/pkg/lib/ocaml/unix.a linemarks/linemarks.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtksourceview2.a /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.a /usr/pkg/lib/ocaml/stdlib.a -lz3ml -L. -lz3 -lthreadsnat -lpthread -lPerf_cobjs -lcamlstr -lnums -lunix -L/data/scratch/devel/verifast/work/verifast-18.02/src/linemarks -llinemarks -lgtksourceview-2.0 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lgobject-2.0 -lglib-2.0 -lintl -lfribidi -lfontconfig -Wl,-rpath,/usr/pkg/lib -lfreetype -llablgtksourceview2 -lgtksourceview-2.0 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lgobject-2.0 -lglib-2.0 -lintl -lfribidi -lfontconfig -lfreetype -llablgtk2 -lgtk-x11-2.0 -lgdk-x11-2.0 -lpangocairo-1.0 -lXrender -lXinerama -lXi -lXrandr -lXcursor -lXcomposite -lXdamage -lXfixes -lX11 -lXext -latk-1.0 -lcairo -lgdk_pixbuf-2.0 -lgio-2.0 -lpangoft2-1.0 -lpango-1.0 -lgobject-2.0 -lglib-2.0 -lintl -lfribidi -lfontconfig -lfreetype /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector