[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir conf58840.dir
<.> /usr/bin/mkdir -p conf58840.dir
[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir -p .
<.> /usr/bin/mkdir -p -p .
[*] cc --version
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -v
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -v -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -V
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -V -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -qversion
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -qversion -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -version
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -version -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -L/opt/local/lib -Wl,-R/opt/local/lib -liconv -lintl -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 conftest.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 -L/home/pbulk/build/devel/why3/work/.buildlink/lib -Wl,-rpath,/opt/local/lib -liconv -lintl conftest.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2
[*] cc -o conftest -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -L/opt/local/lib -Wl,-R/opt/local/lib -liconv -lintl -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 conftest.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -o conftest -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 -L/home/pbulk/build/devel/why3/work/.buildlink/lib -Wl,-rpath,/opt/local/lib -liconv -lintl conftest.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -lumem
[*] cc -o conftest -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -L/opt/local/lib -Wl,-R/opt/local/lib -liconv -lintl -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 conftest.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -o conftest -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 -L/home/pbulk/build/devel/why3/work/.buildlink/lib -Wl,-rpath,/opt/local/lib -liconv -lintl conftest.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -lumem
[*] cc -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 conftest.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 conftest.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2
[*] cc -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 conftest.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 conftest.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2
[*] cc -c -g -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 conftest.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -g -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 conftest.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2
[*] cc -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 conftest.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 conftest.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2
[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir --version
<.> /usr/bin/mkdir -p --version
[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir conf62760.dir
<.> /usr/bin/mkdir -p conf62760.dir
[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir -p .
<.> /usr/bin/mkdir -p -p .
[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir lib/plugins
<.> /usr/bin/mkdir -p lib/plugins
[*] cc -c -o src/util/debug_optim.o /tmp/camlasm9e28c5.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/debug_optim.o /tmp/camlasm9e28c5.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o /tmp/camlstartupd92a65.o /tmp/camlstartup86d4a3.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o /tmp/camlstartupd92a65.o /tmp/camlstartup86d4a3.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -O2 -fno-strict-aliasing -fwrapv -D_POSIX_PTHREAD_SEMANTICS -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include/db4 -I/usr/include -I/opt/local/include/ncurses -I/opt/local/include -L/opt/local/lib -Wl,-R/opt/local/lib -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 -o src/util/ppx_debug_optim -L/opt/local/lib/ocaml/compiler-libs -L/opt/local/lib/ocaml -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/opt/local/include/ncurses -I/opt/local/include/glib-2.0 -I/opt/local/include/gio-unix-2.0 -I/opt/local/lib/glib-2.0/include -I/usr/include -I/opt/local/include/freetype2 -I/opt/local/include/harfbuzz -I/opt/local/include/libdrm -I/opt/local/include/libxml2 -L/opt/local/lib -Wl,-R/opt/local/lib -liconv -lintl -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 /tmp/camlstartupd92a65.o /opt/local/lib/ocaml/std_exit.o src/util/debug_optim.o /opt/local/lib/ocaml/compiler-libs/ocamlcommon.a /opt/local/lib/ocaml/stdlib.a /opt/local/lib/ocaml/libasmrun.a -lnsl -lsocket -lm
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -O2 -fno-strict-aliasing -fwrapv -D_POSIX_PTHREAD_SEMANTICS -pthread -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fno-tree-vrp -fPIC -ffunction-sections -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include/db4 -I/home/pbulk/build/devel/why3/work/.buildlink/include/ncurses -I/home/pbulk/build/devel/why3/work/.buildlink/include -L/home/pbulk/build/devel/why3/work/.buildlink/lib -Wl,-rpath,/opt/local/lib -o src/util/ppx_debug_optim -L/opt/local/lib/ocaml/compiler-libs -L/opt/local/lib/ocaml -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbulk/build/devel/why3/work/.buildlink/include/glib-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/include/gio-unix-2.0 -I/home/pbulk/build/devel/why3/work/.buildlink/lib/glib-2.0/include -I/home/pbulk/build/devel/why3/work/.buildlink/include/freetype2 -I/home/pbulk/build/devel/why3/work/.buildlink/include/harfbuzz -I/home/pbulk/build/devel/why3/work/.buildlink/include/libdrm -I/home/pbulk/build/devel/why3/work/.buildlink/include/libxml2 -Wl,-rpath,/opt/local/lib -liconv -lintl /tmp/camlstartupd92a65.o /opt/local/lib/ocaml/std_exit.o src/util/debug_optim.o /opt/local/lib/ocaml/compiler-libs/ocamlcommon.a /opt/local/lib/ocaml/stdlib.a /opt/local/lib/ocaml/libasmrun.a -lnsl -lsocket -lm -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -lumem
[*] cc -Wall -O -g -o src/server/logging.o -c src/server/logging.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/logging.o -c src/server/logging.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/options.o -c src/server/options.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/options.o -c src/server/options.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/queue.o -c src/server/queue.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/queue.o -c src/server/queue.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/request.o -c src/server/request.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/request.o -c src/server/request.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/proc.o -c src/server/proc.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/proc.o -c src/server/proc.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/exn_printer.o /tmp/camlasm3f4edf.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/exn_printer.o /tmp/camlasm3f4edf.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/config.o /tmp/camlasm434d7a.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/config.o /tmp/camlasm434d7a.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/mlmpfr_wrapper.o /tmp/camlasm5b0af1.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/mlmpfr_wrapper.o /tmp/camlasm5b0af1.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/util.o /tmp/camlasma864ef.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/util.o /tmp/camlasma864ef.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/opt.o /tmp/camlasm78fa94.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/opt.o /tmp/camlasm78fa94.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/strings.o /tmp/camlasm8970cd.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/strings.o /tmp/camlasm8970cd.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/lists.o /tmp/camlasm1f46f8.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/lists.o /tmp/camlasm1f46f8.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/pp.o /tmp/camlasm37ce46.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/pp.o /tmp/camlasm37ce46.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/extmap.o /tmp/camlasme97710.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/extmap.o /tmp/camlasme97710.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/exthtbl.o /tmp/camlasm6c8643.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/exthtbl.o /tmp/camlasm6c8643.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/weakhtbl.o /tmp/camlasm88717d.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/weakhtbl.o /tmp/camlasm88717d.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/hashcons.o /tmp/camlasmd0cf71.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/hashcons.o /tmp/camlasmd0cf71.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/hcpt.o /tmp/camlasm0432de.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/hcpt.o /tmp/camlasm0432de.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/json_base.o /tmp/camlasmec51ca.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/json_base.o /tmp/camlasmec51ca.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/getopt.o /tmp/camlasma53415.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/getopt.o /tmp/camlasma53415.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/print_tree.o /tmp/camlasm7dc2e1.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/print_tree.o /tmp/camlasm7dc2e1.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/cmdline.o /tmp/camlasm2ac333.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/cmdline.o /tmp/camlasm2ac333.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/sysutil.o /tmp/camlasm36a0bc.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/sysutil.o /tmp/camlasm36a0bc.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/vector.o /tmp/camlasma888d7.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/vector.o /tmp/camlasma888d7.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/util/re.o /tmp/camlasm43a0a8.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/util/re.o /tmp/camlasm43a0a8.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/driver/prove_client.o /tmp/camlasm33f22a.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/prove_client.o /tmp/camlasm33f22a.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/driver/sexp.o /tmp/camlasmfd533c.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/driver/sexp.o /tmp/camlasmfd533c.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/mlw/big_real.o /tmp/camlasm835966.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/mlw/big_real.o /tmp/camlasm835966.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/parser/parser_messages.o /tmp/camlasmf82a0b.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/parser/parser_messages.o /tmp/camlasmf82a0b.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/session/compress.o /tmp/camlasmde9092.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/compress.o /tmp/camlasmde9092.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/session/unix_scheduler.o /tmp/camlasm272df8.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/session/unix_scheduler.o /tmp/camlasm272df8.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -c -o src/ide/ide_utils.o /tmp/camlasme69247.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o src/ide/ide_utils.o /tmp/camlasme69247.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include
[*] cc -Wall -o lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -o lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include -lumem
[*] cc -Wall -o lib/why3cpulimit src/server/cpulimit-unix.o src/server/cpulimit-win.o
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -Wall -o lib/why3cpulimit src/server/cpulimit-unix.o src/server/cpulimit-win.o -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include -lumem