[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir conf32497.dir
<.> /usr/bin/mkdir -p conf32497.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 conf34975.dir
<.> /usr/bin/mkdir -p conf34975.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/camlasmc20066.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/camlasmc20066.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/camlstartupe9a885.o /tmp/camlstartup0c529a.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o /tmp/camlstartupe9a885.o /tmp/camlstartup0c529a.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/usr/include -I/opt/local/include/ncurses -I/opt/local/include -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 -L/opt/local/lib -Wl,-R/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/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/camlstartupe9a885.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/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/camlstartupe9a885.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/camlasm51032b.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/camlasm51032b.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/camlasmf13914.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/camlasmf13914.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/camlasm2c05ea.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/camlasm2c05ea.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/camlasm94660f.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/camlasm94660f.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/camlasm510f36.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/camlasm510f36.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/camlasm6857f0.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/camlasm6857f0.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/camlasm11584e.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/camlasm11584e.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/camlasm39b688.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/camlasm39b688.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/camlasm114604.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/camlasm114604.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/camlasme66816.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/camlasme66816.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/camlasm376785.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/camlasm376785.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/camlasm155c4c.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/camlasm155c4c.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/camlasmc815f9.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/camlasmc815f9.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/camlasmf871a0.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/camlasmf871a0.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/camlasm3d6182.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/camlasm3d6182.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/camlasm68226f.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/camlasm68226f.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/camlasm6b0847.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/camlasm6b0847.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/camlasm21174a.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/camlasm21174a.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/camlasm18e2eb.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/camlasm18e2eb.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/camlasmac5ab8.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/camlasmac5ab8.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/camlasmb390b0.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/camlasmb390b0.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/camlasm81e13b.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/camlasm81e13b.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/camlasm87cc27.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/camlasm87cc27.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/camlasm756654.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/camlasm756654.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/camlasm37596b.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/camlasm37596b.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/camlasm6e6e80.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/camlasm6e6e80.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/camlasm7bf41e.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/camlasm7bf41e.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