[*] /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/camlasmb99811.s
<.> as -o Perf.o /tmp/camlasmb99811.s
[*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -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 -Wall -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/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/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -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/camlasmb62a45.s
<.> as -o main_class.o /tmp/camlasmb62a45.s
[*] as -o java_card_applet.o /tmp/camlasm561ec4.s
<.> as -o java_card_applet.o /tmp/camlasm561ec4.s
[*] as -o /tmp/camlstartup09fa02.o /tmp/camlstartup32f72b.s
<.> as -o /tmp/camlstartup09fa02.o /tmp/camlstartup32f72b.s
[*] as -o dlsymtool.o /tmp/camlasmc0f381.s
<.> as -o dlsymtool.o /tmp/camlasmc0f381.s
[*] as -o branchleft_png.o /tmp/camlasmfab636.s
<.> as -o branchleft_png.o /tmp/camlasmfab636.s
[*] as -o /tmp/camlstartup7f8019.o /tmp/camlstartup1a81b6.s
<.> as -o /tmp/camlstartup7f8019.o /tmp/camlstartup1a81b6.s
[*] cc -O2 -I/usr/include -o ../bin/main_class -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -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/camlstartup09fa02.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 -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/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/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -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/camlstartup09fa02.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 vfstrip.o /tmp/camlasm6ad9a7.s
<.> as -o vfstrip.o /tmp/camlasm6ad9a7.s
[*] as -o branchright_png.o /tmp/camlasme4e178.s
<.> as -o branchright_png.o /tmp/camlasme4e178.s
[*] as -o /tmp/camlstartupa60cbe.o /tmp/camlstartupaea53c.s
<.> as -o /tmp/camlstartupa60cbe.o /tmp/camlstartupaea53c.s
[*] cc -O2 -I/usr/include -o ../bin/java_card_applet -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -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/camlstartup7f8019.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 -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/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/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -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/camlstartup7f8019.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 /tmp/camlstartupfb5682.o /tmp/camlstartup07fb4b.s
<.> as -o /tmp/camlstartupfb5682.o /tmp/camlstartup07fb4b.s
[*] cc -O2 -I/usr/include -o ../bin/dlsymtool -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -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/camlstartupa60cbe.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 -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/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/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -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/camlstartupa60cbe.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 -o ../bin/vfstrip -L/usr/pkg/lib/ocaml -O2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4 -I/usr/pkg/include/freetype2 -I/usr/pkg/include/libdrm -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/camlstartupfb5682.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 -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/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/freetype2 -I/data/scratch/devel/verifast/work/.buildlink/include/libdrm -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/camlstartupfb5682.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