[*] /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 [*] /data/scratch/devel/verifast/work/.tools/bin/true <.> true [*] as -o Perf.o /tmp/camlasm5cbbeb.s <.> as -o Perf.o /tmp/camlasm5cbbeb.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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 -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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -O2 -I/data/scratch/devel/verifast/work/.buildlink/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/camlasmacc79e.s <.> as -o main_class.o /tmp/camlasmacc79e.s [*] as -o java_card_applet.o /tmp/camlasmbe5d06.s <.> as -o java_card_applet.o /tmp/camlasmbe5d06.s [*] as -o dlsymtool.o /tmp/camlasm4840e8.s <.> as -o dlsymtool.o /tmp/camlasm4840e8.s [*] as -o branchleft_png.o /tmp/camlasmf631eb.s <.> as -o branchleft_png.o /tmp/camlasmf631eb.s [*] as -o /tmp/camlstartupfc3f93.o /tmp/camlstartup3af740.s <.> as -o /tmp/camlstartupfc3f93.o /tmp/camlstartup3af740.s [*] as -o /tmp/camlstartup0b66ae.o /tmp/camlstartup413a9e.s <.> as -o /tmp/camlstartup0b66ae.o /tmp/camlstartup413a9e.s [*] as -o branchright_png.o /tmp/camlasmc184ad.s <.> as -o branchright_png.o /tmp/camlasmc184ad.s [*] as -o vfstrip.o /tmp/camlasmb566e5.s <.> as -o vfstrip.o /tmp/camlasmb566e5.s [*] as -o /tmp/camlstartup7ef843.o /tmp/camlstartup8ee6ec.s <.> as -o /tmp/camlstartup7ef843.o /tmp/camlstartup8ee6ec.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -o ../bin/main_class -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/camlstartupfc3f93.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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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/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/camlstartupfc3f93.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 [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -o ../bin/java_card_applet -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/camlstartup0b66ae.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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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/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/camlstartup0b66ae.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 [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -o ../bin/dlsymtool -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/camlstartup7ef843.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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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/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/camlstartup7ef843.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 [*] as -o Stopwatch.o /tmp/camlasmb2075b.s <.> as -o Stopwatch.o /tmp/camlasmb2075b.s [*] as -o /tmp/camlstartupa9c559.o /tmp/camlstartup984469.s <.> as -o /tmp/camlstartupa9c559.o /tmp/camlstartup984469.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -o ../bin/vfstrip -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/camlstartupa9c559.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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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/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/camlstartupa9c559.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