[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir conf87819.dir
<.> /usr/bin/mkdir -p conf87819.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 conf90921.dir
<.> /usr/bin/mkdir -p conf90921.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/camlasmefb079.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/camlasmefb079.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/camlstartupf72854.o /tmp/camlstartupad8fda.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o /tmp/camlstartupf72854.o /tmp/camlstartupad8fda.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/camlstartupf72854.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/camlstartupf72854.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/camlasm3d9043.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/camlasm3d9043.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/camlasmee814d.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/camlasmee814d.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/camlasm53f7d7.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/camlasm53f7d7.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/camlasm6b56b4.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/camlasm6b56b4.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/camlasmb3b242.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/camlasmb3b242.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/camlasma871cd.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/camlasma871cd.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/camlasm02fb5c.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/camlasm02fb5c.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/camlasmec0bac.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/camlasmec0bac.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/camlasm4b066c.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/camlasm4b066c.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/camlasme437e6.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/camlasme437e6.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/camlasmb02f2a.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/camlasmb02f2a.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/camlasm0fb712.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/camlasm0fb712.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/camlasm36741d.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/camlasm36741d.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/camlasm098043.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/camlasm098043.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/camlasm5e561e.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/camlasm5e561e.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/camlasmc45ca6.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/camlasmc45ca6.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/camlasmd08c43.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/camlasmd08c43.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/camlasm01ca99.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/camlasm01ca99.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/camlasmb3f725.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/camlasmb3f725.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/camlasm760e7f.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/camlasm760e7f.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/camlasm5062d9.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/camlasm5062d9.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/camlasm83bcfb.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/camlasm83bcfb.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/camlasm45ed5d.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/camlasm45ed5d.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/camlasme3add2.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/camlasme3add2.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/camlasm3b34f1.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/camlasm3b34f1.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/camlasmdee9ff.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/camlasmdee9ff.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 -c -o src/ide/ide_utils.o /tmp/camlasm04b3d7.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/camlasm04b3d7.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/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