[*] /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/camlasmffcfd6.s
<.> as -o Perf.o /tmp/camlasmffcfd6.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/camlasm648b4f.s
<.> as -o main_class.o /tmp/camlasm648b4f.s
[*] as -o java_card_applet.o /tmp/camlasm6f3d0a.s
<.> as -o java_card_applet.o /tmp/camlasm6f3d0a.s
[*] as -o /tmp/camlstartup93d18e.o /tmp/camlstartupdd5aac.s
<.> as -o /tmp/camlstartup93d18e.o /tmp/camlstartupdd5aac.s
[*] as -o dlsymtool.o /tmp/camlasmcbf177.s
<.> as -o dlsymtool.o /tmp/camlasmcbf177.s
[*] as -o branchleft_png.o /tmp/camlasm730b7a.s
<.> as -o branchleft_png.o /tmp/camlasm730b7a.s
[*] as -o /tmp/camlstartupb340a2.o /tmp/camlstartup62e6bc.s
<.> as -o /tmp/camlstartupb340a2.o /tmp/camlstartup62e6bc.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/camlstartup93d18e.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/camlstartup93d18e.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 branchright_png.o /tmp/camlasm8462d8.s
<.> as -o branchright_png.o /tmp/camlasm8462d8.s
[*] as -o vfstrip.o /tmp/camlasm4634f0.s
<.> as -o vfstrip.o /tmp/camlasm4634f0.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/camlstartupb340a2.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/camlstartupb340a2.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/camlstartup709aec.o /tmp/camlstartup3e3a4f.s
<.> as -o /tmp/camlstartup709aec.o /tmp/camlstartup3e3a4f.s
[*] as -o /tmp/camlstartupe8f872.o /tmp/camlstartupf29a71.s
<.> as -o /tmp/camlstartupe8f872.o /tmp/camlstartupf29a71.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/camlstartup709aec.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/camlstartup709aec.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/camlstartupe8f872.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/camlstartupe8f872.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