[*] /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/camlasm34a13d.s <.> as -o Perf.o /tmp/camlasm34a13d.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/camlasmd10f69.s <.> as -o main_class.o /tmp/camlasmd10f69.s [*] as -o /tmp/camlstartup2036ae.o /tmp/camlstartupf3e604.s <.> as -o /tmp/camlstartup2036ae.o /tmp/camlstartupf3e604.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/camlstartup2036ae.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/camlstartup2036ae.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 java_card_applet.o /tmp/camlasm60671f.s <.> as -o java_card_applet.o /tmp/camlasm60671f.s [*] as -o dlsymtool.o /tmp/camlasm9b2497.s <.> as -o dlsymtool.o /tmp/camlasm9b2497.s [*] as -o /tmp/camlstartupb29e15.o /tmp/camlstartup24b595.s <.> as -o /tmp/camlstartupb29e15.o /tmp/camlstartup24b595.s [*] as -o /tmp/camlstartupd39e2f.o /tmp/camlstartup774fac.s <.> as -o /tmp/camlstartupd39e2f.o /tmp/camlstartup774fac.s [*] 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/camlstartupb29e15.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/camlstartupb29e15.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 branchleft_png.o /tmp/camlasm88016b.s <.> as -o branchleft_png.o /tmp/camlasm88016b.s [*] as -o branchright_png.o /tmp/camlasm73c6b4.s <.> as -o branchright_png.o /tmp/camlasm73c6b4.s [*] 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/camlstartupd39e2f.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/camlstartupd39e2f.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 vfstrip.o /tmp/camlasmd939b6.s <.> as -o vfstrip.o /tmp/camlasmd939b6.s [*] as -o /tmp/camlstartup95c0b9.o /tmp/camlstartup00c990.s <.> as -o /tmp/camlstartup95c0b9.o /tmp/camlstartup00c990.s [*] as -o Stopwatch.o /tmp/camlasm84b71d.s <.> as -o Stopwatch.o /tmp/camlasm84b71d.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/camlstartup95c0b9.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/camlstartup95c0b9.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 Fonts.o /tmp/camlasmff1e46.s <.> as -o Fonts.o /tmp/camlasmff1e46.s [*] as -o DynType.o /tmp/camlasmf13fe3.s <.> as -o DynType.o /tmp/camlasmf13fe3.s [*] as -o java_frontend/misc.o /tmp/camlasm903d3a.s <.> as -o java_frontend/misc.o /tmp/camlasm903d3a.s [*] as -o vfconfig.o /tmp/camlasmeb4776.s <.> as -o vfconfig.o /tmp/camlasmeb4776.s [*] as -o simplex.o /tmp/camlasme7e07f.s <.> as -o simplex.o /tmp/camlasme7e07f.s [*] as -o vfversion.o /tmp/camlasm4e6e70.s <.> as -o vfversion.o /tmp/camlasm4e6e70.s [*] as -o Printexc_proxy.o /tmp/camlasmf0e27e.s <.> as -o Printexc_proxy.o /tmp/camlasmf0e27e.s [*] as -o mysh.o /tmp/camlasm52881c.s <.> as -o mysh.o /tmp/camlasm52881c.s [*] as -o java_frontend/general_ast.o /tmp/camlasm74979b.s <.> as -o java_frontend/general_ast.o /tmp/camlasm74979b.s [*] as -o plugins.o /tmp/camlasm4f0e10.s <.> as -o plugins.o /tmp/camlasm4f0e10.s [*] as -o plugins_private.o /tmp/camlasmb7ec5b.s <.> as -o plugins_private.o /tmp/camlasmb7ec5b.s [*] as -o proverapi.o /tmp/camlasm5c8134.s <.> as -o proverapi.o /tmp/camlasm5c8134.s [*] as -o plugins2.o /tmp/camlasm6ea1bb.s <.> as -o plugins2.o /tmp/camlasm6ea1bb.s [*] as -o SExpressions.o /tmp/camlasm2e2a61.s <.> as -o SExpressions.o /tmp/camlasm2e2a61.s [*] as -o /tmp/camlstartup0959e7.o /tmp/camlstartup6bb9e4.s <.> as -o /tmp/camlstartup0959e7.o /tmp/camlstartup6bb9e4.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -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/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/camlstartup0959e7.o /usr/pkg/lib/ocaml/std_exit.o mysh.o vfconfig.o Fonts.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 ../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/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/camlstartup0959e7.o /usr/pkg/lib/ocaml/std_exit.o mysh.o vfconfig.o Fonts.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 util.o /tmp/camlasm9e1b64.s <.> as -o util.o /tmp/camlasm9e1b64.s [*] as -o java_frontend/ast_writer.o /tmp/camlasm1a1428.s <.> as -o java_frontend/ast_writer.o /tmp/camlasm1a1428.s [*] as -o java_frontend/ast_reader.o /tmp/camlasm24cd4a.s <.> as -o java_frontend/ast_reader.o /tmp/camlasm24cd4a.s [*] as -o java_frontend/communication.o /tmp/camlasmcd8433.s <.> as -o java_frontend/communication.o /tmp/camlasmcd8433.s [*] as -o ast.o /tmp/camlasm08993e.s <.> as -o ast.o /tmp/camlasm08993e.s [*] as -o redux.o /tmp/camlasm2f04b0.s <.> as -o redux.o /tmp/camlasm2f04b0.s [*] as -o shape_analysis/changelog.o /tmp/camlasmd99968.s <.> as -o shape_analysis/changelog.o /tmp/camlasmd99968.s [*] as -o java_frontend/annotation_type_checker.o /tmp/camlasm485dd4.s <.> as -o java_frontend/annotation_type_checker.o /tmp/camlasm485dd4.s [*] as -o verifast0.o /tmp/camlasm8bbd7e.s <.> as -o verifast0.o /tmp/camlasm8bbd7e.s [*] as -o shape_analysis/shape_analysis_backend.o /tmp/camlasm66c3d5.s <.> as -o shape_analysis/shape_analysis_backend.o /tmp/camlasm66c3d5.s [*] as -o SExpressionEmitter.o /tmp/camlasm5bf33c.s <.> as -o SExpressionEmitter.o /tmp/camlasm5bf33c.s [*] as -o stats.o /tmp/camlasm2b4908.s <.> as -o stats.o /tmp/camlasm2b4908.s [*] as -o java_frontend/java_frontend.o /tmp/camlasma94d0d.s <.> as -o java_frontend/java_frontend.o /tmp/camlasma94d0d.s [*] as -o lexer.o /tmp/camlasm90c97d.s <.> as -o lexer.o /tmp/camlasm90c97d.s [*] as -o parser.o /tmp/camlasmf0d481.s <.> as -o parser.o /tmp/camlasmf0d481.s [*] as -o java_frontend/ast_translator.o /tmp/camlasm7c589e.s <.> as -o java_frontend/ast_translator.o /tmp/camlasm7c589e.s [*] as -o shape_analysis/shape_analysis_frontend.o /tmp/camlasmd7896f.s <.> as -o shape_analysis/shape_analysis_frontend.o /tmp/camlasmd7896f.s [*] as -o java_frontend/java_frontend_bridge.o /tmp/camlasm66d812.s <.> as -o java_frontend/java_frontend_bridge.o /tmp/camlasm66d812.s [*] as -o verifast1.o /tmp/camlasm204e18.s <.> as -o verifast1.o /tmp/camlasm204e18.s [*] as -o assertions.o /tmp/camlasm71e68b.s <.> as -o assertions.o /tmp/camlasm71e68b.s [*] as -o verify_expr.o /tmp/camlasm434439.s <.> as -o verify_expr.o /tmp/camlasm434439.s [*] as -o verifast.o /tmp/camlasm974c5d.s <.> as -o verifast.o /tmp/camlasm974c5d.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 [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -g -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/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/cairo -I/usr/pkg/include/pixman-1 -I/usr/pkg/include/freetype2 -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 -pthread -I/usr/pkg/include/libxml2 -I/usr/pkg/lib/ocaml linemarks.c <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -g -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 -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/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -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/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 -pthread -I/data/scratch/devel/verifast/work/.buildlink/include/libxml2 -I/usr/pkg/lib/ocaml linemarks.c -Qunused-arguments -fstack-protector [*] as -o vfconsole.o /tmp/camlasm4b8878.s <.> as -o vfconsole.o /tmp/camlasm4b8878.s [*] as -o verifastPluginRedux.o /tmp/camlasmd3102e.s <.> as -o verifastPluginRedux.o /tmp/camlasmd3102e.s [*] as -o /tmp/camlstartup6f15bf.o /tmp/camlstartupd688bd.s <.> as -o /tmp/camlstartup6f15bf.o /tmp/camlstartupd688bd.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -o ../bin/verifast -Llinux -Ljava_frontend -Lshape_analysis -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 -Wl,-E -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/camlstartup6f15bf.o /usr/pkg/lib/ocaml/std_exit.o vfconsole.o verifastPluginRedux.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 plugins2.o plugins_private.o plugins.o DynType.o /usr/pkg/lib/ocaml/dynlink.a 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 -lthreadsnat -lpthread -lPerf_cobjs -lcamlstr -lnums -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 ../bin/verifast -Llinux -Ljava_frontend -Lshape_analysis -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/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 -Wl,-E -O2 -Wl,-rpath,/usr/pkg/lib -Wl,-rpath,/usr/pkg/lib/nss -Wl,-rpath,/usr/pkg/lib/nspr /tmp/camlstartup6f15bf.o /usr/pkg/lib/ocaml/std_exit.o vfconsole.o verifastPluginRedux.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 plugins2.o plugins_private.o plugins.o DynType.o /usr/pkg/lib/ocaml/dynlink.a 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 -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 -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -g -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/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/cairo -I/usr/pkg/include/pixman-1 -I/usr/pkg/include/freetype2 -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 -pthread -I/usr/pkg/include/libxml2 -I/usr/pkg/lib/ocaml ml_GtkLineMarks.c <.> /usr/bin/clang -O2 -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -c -g -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 -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/glib/glib-2.0 -I/data/scratch/devel/verifast/work/.buildlink/lib/glib-2.0/include -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/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 -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/camlasmf7e146.s <.> as -o GtkLineMarks.o /tmp/camlasmf7e146.s [*] as -o GLineMarks.o /tmp/camlasm7d8056.s <.> as -o GLineMarks.o /tmp/camlasm7d8056.s [*] as -o vfide.o /tmp/camlasmb4b774.s <.> as -o vfide.o /tmp/camlasmb4b774.s [*] as -o verifastPluginRedux.o /tmp/camlasme1b566.s <.> as -o verifastPluginRedux.o /tmp/camlasme1b566.s [*] as -o /tmp/camlstartup53455b.o /tmp/camlstartup98c1fb.s <.> as -o /tmp/camlstartup53455b.o /tmp/camlstartup98c1fb.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC -o ../bin/vfide -L/usr/pkg/lib/ocaml/site-lib/lablgtk2 -Llinemarks -Llinux -Ljava_frontend -Lshape_analysis -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 -Wl,-E -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 -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 -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 -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 -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/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/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/camlstartup53455b.o /usr/pkg/lib/ocaml/std_exit.o vfide.o branchright_png.o branchleft_png.o Fonts.o shape_analysis/shape_analysis_frontend.o shape_analysis/changelog.o shape_analysis/shape_analysis_backend.o verifastPluginRedux.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 plugins2.o plugins_private.o plugins.o DynType.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 -lthreadsnat -lpthread -lPerf_cobjs -lcamlstr -lnums -lunix -L/data/scratch/devel/verifast/work/verifast-17.06/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 -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 -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 -lfontconfig -lfreetype /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/vfide -L/usr/pkg/lib/ocaml/site-lib/lablgtk2 -Llinemarks -Llinux -Ljava_frontend -Lshape_analysis -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/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 -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 -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/camlstartup53455b.o /usr/pkg/lib/ocaml/std_exit.o vfide.o branchright_png.o branchleft_png.o Fonts.o shape_analysis/shape_analysis_frontend.o shape_analysis/changelog.o shape_analysis/shape_analysis_backend.o verifastPluginRedux.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 plugins2.o plugins_private.o plugins.o DynType.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 -lthreadsnat -lpthread -lPerf_cobjs -lcamlstr -lnums -lunix -L/data/scratch/devel/verifast/work/verifast-17.06/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 -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 -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 -lfontconfig -lfreetype /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector