[*] /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/camlasmfa4ea2.s <.> as -o Perf.o /tmp/camlasmfa4ea2.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/camlasmb1a951.s <.> as -o main_class.o /tmp/camlasmb1a951.s [*] as -o java_card_applet.o /tmp/camlasm34c50c.s <.> as -o java_card_applet.o /tmp/camlasm34c50c.s [*] as -o branchleft_png.o /tmp/camlasm87b6cd.s <.> as -o branchleft_png.o /tmp/camlasm87b6cd.s [*] as -o /tmp/camlstartup3c67ba.o /tmp/camlstartupfe278b.s <.> as -o /tmp/camlstartup3c67ba.o /tmp/camlstartupfe278b.s [*] as -o branchright_png.o /tmp/camlasm5f7b95.s <.> as -o branchright_png.o /tmp/camlasm5f7b95.s [*] as -o dlsymtool.o /tmp/camlasmc74ac8.s <.> as -o dlsymtool.o /tmp/camlasmc74ac8.s [*] as -o /tmp/camlstartup3561d2.o /tmp/camlstartup3d5060.s <.> as -o /tmp/camlstartup3561d2.o /tmp/camlstartup3d5060.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/camlstartup3c67ba.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/camlstartup3c67ba.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/camlasm9611a0.s <.> as -o vfstrip.o /tmp/camlasm9611a0.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/camlstartup3561d2.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/camlstartup3561d2.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 Stopwatch.o /tmp/camlasm2fd403.s <.> as -o Stopwatch.o /tmp/camlasm2fd403.s [*] as -o /tmp/camlstartup1e9771.o /tmp/camlstartupaf7f4e.s <.> as -o /tmp/camlstartup1e9771.o /tmp/camlstartupaf7f4e.s [*] as -o /tmp/camlstartup19758d.o /tmp/camlstartupceee0a.s <.> as -o /tmp/camlstartup19758d.o /tmp/camlstartupceee0a.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/camlstartup1e9771.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/camlstartup1e9771.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 -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/camlstartup19758d.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/camlstartup19758d.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/camlasm45460e.s <.> as -o Fonts.o /tmp/camlasm45460e.s [*] as -o vfconfig.o /tmp/camlasmca9b51.s <.> as -o vfconfig.o /tmp/camlasmca9b51.s [*] as -o proverapi.o /tmp/camlasmc4d990.s <.> as -o proverapi.o /tmp/camlasmc4d990.s [*] as -o DynType.o /tmp/camlasm74c02b.s <.> as -o DynType.o /tmp/camlasm74c02b.s [*] as -o vfversion.o /tmp/camlasm9411c0.s <.> as -o vfversion.o /tmp/camlasm9411c0.s [*] as -o java_frontend/misc.o /tmp/camlasmadfe2f.s <.> as -o java_frontend/misc.o /tmp/camlasmadfe2f.s [*] as -o Printexc_proxy.o /tmp/camlasmf4ab5a.s <.> as -o Printexc_proxy.o /tmp/camlasmf4ab5a.s [*] as -o SExpressions.o /tmp/camlasm99ec7b.s <.> as -o SExpressions.o /tmp/camlasm99ec7b.s [*] as -o plugins.o /tmp/camlasm0f2c81.s <.> as -o plugins.o /tmp/camlasm0f2c81.s [*] as -o simplex.o /tmp/camlasm1eb915.s <.> as -o simplex.o /tmp/camlasm1eb915.s [*] as -o mysh.o /tmp/camlasme9614d.s <.> as -o mysh.o /tmp/camlasme9614d.s [*] as -o java_frontend/general_ast.o /tmp/camlasmbe34f9.s <.> as -o java_frontend/general_ast.o /tmp/camlasmbe34f9.s [*] as -o util.o /tmp/camlasmeeb7ad.s <.> as -o util.o /tmp/camlasmeeb7ad.s [*] as -o /tmp/camlstartup520291.o /tmp/camlstartup3dc62d.s <.> as -o /tmp/camlstartup520291.o /tmp/camlstartup3dc62d.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/camlstartup520291.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/camlstartup520291.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 plugins_private.o /tmp/camlasm239508.s <.> as -o plugins_private.o /tmp/camlasm239508.s [*] as -o plugins2.o /tmp/camlasmd2406e.s <.> as -o plugins2.o /tmp/camlasmd2406e.s [*] as -o java_frontend/ast_writer.o /tmp/camlasm401523.s <.> as -o java_frontend/ast_writer.o /tmp/camlasm401523.s [*] as -o ast.o /tmp/camlasmac7a2d.s <.> as -o ast.o /tmp/camlasmac7a2d.s [*] as -o verifast0.o /tmp/camlasmdc480e.s <.> as -o verifast0.o /tmp/camlasmdc480e.s [*] as -o shape_analysis/changelog.o /tmp/camlasmce291f.s <.> as -o shape_analysis/changelog.o /tmp/camlasmce291f.s [*] as -o stats.o /tmp/camlasm301cb1.s <.> as -o stats.o /tmp/camlasm301cb1.s [*] as -o shape_analysis/shape_analysis_backend.o /tmp/camlasmde8e0f.s <.> as -o shape_analysis/shape_analysis_backend.o /tmp/camlasmde8e0f.s [*] as -o SExpressionEmitter.o /tmp/camlasm9a545e.s <.> as -o SExpressionEmitter.o /tmp/camlasm9a545e.s [*] as -o java_frontend/ast_reader.o /tmp/camlasmd66653.s <.> as -o java_frontend/ast_reader.o /tmp/camlasmd66653.s [*] as -o redux.o /tmp/camlasmaac434.s <.> as -o redux.o /tmp/camlasmaac434.s [*] as -o java_frontend/communication.o /tmp/camlasm7f9f1a.s <.> as -o java_frontend/communication.o /tmp/camlasm7f9f1a.s [*] as -o lexer.o /tmp/camlasm0c5880.s <.> as -o lexer.o /tmp/camlasm0c5880.s [*] as -o java_frontend/annotation_type_checker.o /tmp/camlasm4bcf0b.s <.> as -o java_frontend/annotation_type_checker.o /tmp/camlasm4bcf0b.s [*] as -o java_frontend/java_frontend.o /tmp/camlasmc7513b.s <.> as -o java_frontend/java_frontend.o /tmp/camlasmc7513b.s [*] as -o parser.o /tmp/camlasm1cee60.s <.> as -o parser.o /tmp/camlasm1cee60.s [*] as -o shape_analysis/shape_analysis_frontend.o /tmp/camlasm3de3ef.s <.> as -o shape_analysis/shape_analysis_frontend.o /tmp/camlasm3de3ef.s [*] as -o java_frontend/ast_translator.o /tmp/camlasm1164db.s <.> as -o java_frontend/ast_translator.o /tmp/camlasm1164db.s [*] as -o java_frontend/java_frontend_bridge.o /tmp/camlasm84e86e.s <.> as -o java_frontend/java_frontend_bridge.o /tmp/camlasm84e86e.s [*] as -o verifast1.o /tmp/camlasmbc1369.s <.> as -o verifast1.o /tmp/camlasmbc1369.s [*] as -o assertions.o /tmp/camlasm9bb17f.s <.> as -o assertions.o /tmp/camlasm9bb17f.s [*] as -o verify_expr.o /tmp/camlasm1f0b2b.s <.> as -o verify_expr.o /tmp/camlasm1f0b2b.s [*] as -o verifast.o /tmp/camlasmdeb69b.s <.> as -o verifast.o /tmp/camlasmdeb69b.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/camlasme48db6.s <.> as -o vfconsole.o /tmp/camlasme48db6.s [*] as -o verifastPluginRedux.o /tmp/camlasme0a10d.s <.> as -o verifastPluginRedux.o /tmp/camlasme0a10d.s [*] as -o /tmp/camlstartupf01998.o /tmp/camlstartupfbdf55.s <.> as -o /tmp/camlstartupf01998.o /tmp/camlstartupfbdf55.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/camlstartupf01998.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/camlstartupf01998.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/camlasm8762f8.s <.> as -o GtkLineMarks.o /tmp/camlasm8762f8.s [*] as -o GLineMarks.o /tmp/camlasme9c25e.s <.> as -o GLineMarks.o /tmp/camlasme9c25e.s [*] as -o vfide.o /tmp/camlasma4d324.s <.> as -o vfide.o /tmp/camlasma4d324.s [*] as -o verifastPluginRedux.o /tmp/camlasmaf3b36.s <.> as -o verifastPluginRedux.o /tmp/camlasmaf3b36.s [*] as -o /tmp/camlstartup9175b4.o /tmp/camlstartup48d02d.s <.> as -o /tmp/camlstartup9175b4.o /tmp/camlstartup48d02d.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/camlstartup9175b4.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/camlstartup9175b4.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