[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir conf25207.dir
<.> /usr/bin/mkdir -p conf25207.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 conf28116.dir
<.> /usr/bin/mkdir -p conf28116.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/camlasm91cd40.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/camlasm91cd40.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/camlstartup840129.o /tmp/camlstartup44aebb.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o /tmp/camlstartup840129.o /tmp/camlstartup44aebb.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/camlstartup840129.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/camlstartup840129.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/camlasm0d5a31.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/camlasm0d5a31.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/camlasm9f1d91.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/camlasm9f1d91.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/camlasme8feba.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/camlasme8feba.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/camlasme5e728.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/camlasme5e728.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/camlasm810039.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/camlasm810039.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/camlasm574eab.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/camlasm574eab.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/camlasma5a1fa.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/camlasma5a1fa.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/camlasm0731e6.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/camlasm0731e6.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/camlasm885cff.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/camlasm885cff.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/camlasma68114.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/camlasma68114.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/camlasm7358c7.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/camlasm7358c7.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/camlasm46421f.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/camlasm46421f.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/camlasme8c533.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/camlasme8c533.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/camlasmb8e67b.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/camlasmb8e67b.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/camlasm19ef38.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/camlasm19ef38.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/camlasm0c5415.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/camlasm0c5415.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/camlasm4d0662.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/camlasm4d0662.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/camlasm026e2c.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/camlasm026e2c.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/camlasm1d28bf.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/camlasm1d28bf.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/camlasm551f7a.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/camlasm551f7a.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/camlasm2f5735.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/camlasm2f5735.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/camlasmb9166a.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/camlasmb9166a.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/camlasm1f3072.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/camlasm1f3072.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/camlasmc107cb.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/camlasmc107cb.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/camlasmcca47f.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/camlasmcca47f.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/camlasm173146.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/camlasm173146.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/camlasmb0b57f.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/camlasmb0b57f.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