Fri Aug  5 12:22:18 BST 2016
/home/paule/autobuild/building/ubuntu-server_2016-08-05__T11_13_02
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking for guile... /home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/bin/guile
checking for guile-config... /home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/bin/guile-config
checking for guile-tools... /home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/bin/guile-tools
checking libguile compile flags... -I/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/include -P -pthread
checking libguile link flags... -P -pthread -L/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/lib -lguile -lltdl -L/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/lib -lgmp -lcrypt -lm -lltdl
checking for Guile installation directory... yes
checking whether make sets $(MAKE)... (cached) yes
configure: creating ./config.status
config.status: creating Makefile
config.status: creating guile-gui
make[1]: Entering directory `/home/paule/autobuild/building/ubuntu-server_2016-08-05__T11_13_02/guile-gui-0.3'
test -z "/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/bin" || /bin/mkdir -p "/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/bin"
 /usr/bin/install -c guile-gui '/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/bin'
test -z "/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/share/guile/gui" || /bin/mkdir -p "/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/share/guile/gui"
 /usr/bin/install -c -m 644 event-loop.scm entry-port.scm text-output-port.scm paren-match.scm '/home/paule/autobuild/Linux-ubuntu-server-pre-release-gtk2-python/share/guile/gui'
make[1]: Leaving directory `/home/paule/autobuild/building/ubuntu-server_2016-08-05__T11_13_02/guile-gui-0.3'