[*] /home/pbulk/build/devel/why3/work/.tools/bin/mkdir conf92807.dir
<.> /usr/bin/mkdir -p conf92807.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 conf95542.dir
<.> /usr/bin/mkdir -p conf95542.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/camlasm46e3ff.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/camlasm46e3ff.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/camlstartup5f29ae.o /tmp/camlstartup065d14.s
<.> /home/pbulk/build/devel/why3/work/.gcc/bin/gcc -fcommon -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -c -o /tmp/camlstartup5f29ae.o /tmp/camlstartup065d14.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/camlstartup5f29ae.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/camlstartup5f29ae.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/camlasm88c21a.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/camlasm88c21a.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/camlasm16e02a.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/camlasm16e02a.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/camlasm43ea35.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/camlasm43ea35.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/camlasm68cad4.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/camlasm68cad4.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/camlasmbc9cc0.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/camlasmbc9cc0.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/camlasm693f95.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/camlasm693f95.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/camlasmfdbafa.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/camlasmfdbafa.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/camlasm702670.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/camlasm702670.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/camlasm4eb236.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/camlasm4eb236.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/camlasm56cdd7.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/camlasm56cdd7.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/camlasmc5091f.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/camlasmc5091f.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/camlasme70b22.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/camlasme70b22.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/camlasm404dbc.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/camlasm404dbc.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/camlasme0069d.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/camlasme0069d.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/camlasm75e8ab.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/camlasm75e8ab.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/camlasmb1aaf4.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/camlasmb1aaf4.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/camlasm5f31a5.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/camlasm5f31a5.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/camlasm072e11.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/camlasm072e11.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/camlasmaa4607.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/camlasmaa4607.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/camlasm249613.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/camlasm249613.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/camlasm6a9391.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/camlasm6a9391.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/camlasmda4318.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/camlasmda4318.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/camlasm0e0221.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/camlasm0e0221.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/camlasme1bfd3.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/camlasme1bfd3.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/camlasmb3e40a.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/camlasmb3e40a.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/camlasm7ca49f.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/camlasm7ca49f.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/camlasmb16fee.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/camlasmb16fee.s -specs=/home/pbulk/build/devel/why3/work/.cwrapper/specs.pkgsrc -gdwarf-2 -I/home/pbulk/build/devel/why3/work/.buildlink/include