[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_eta #14639
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Sat Jun 13 00:27:50 UTC 2015
See <https://jenkins.debian.net/job/reproducible_builder_eta/14639/>
------------------------------------------
[...truncated 2186 lines...]
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up libxinerama-dev:amd64 (2:1.1.3-1+b1) ...
Setting up x11proto-fixes-dev (1:5.0-2) ...
Setting up libxfixes-dev:amd64 (1:5.0.1-2+b2) ...
Setting up libxi-dev (2:1.7.4-1+b2) ...
Setting up x11proto-randr-dev (1.4.1-2) ...
Setting up libxrandr-dev:amd64 (2:1.4.2-1+b1) ...
Setting up libxcursor-dev:amd64 (1:1.1.14-1+b1) ...
Setting up x11proto-composite-dev (1:0.4.2-2) ...
Setting up libxcomposite-dev (1:0.4.4-1) ...
Setting up x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxdamage-dev:amd64 (1:1.1.4-2+b1) ...
Setting up libxml2-utils (2.9.2+dfsg1-3) ...
Setting up libgtk2.0-dev (2.24.28-1) ...
Setting up libicu-dev:amd64 (52.1-9) ...
Setting up libxml2-dev:amd64 (2.9.2+dfsg1-3) ...
Setting up libglade2-dev:amd64 (1:2.6.4-2) ...
Setting up libgtkspell0 (2.0.16-1.1) ...
Setting up libgtkspell-dev (2.0.16-1.1) ...
Setting up ocaml-base-nox (4.01.0-5) ...
Setting up liblablgtk2-ocaml (2.16.0+dfsg-1) ...
Setting up libtinfo-dev:amd64 (5.9+20150516-2) ...
Setting up libncurses5-dev:amd64 (5.9+20150516-2) ...
Setting up dh-ocaml (1.0.9) ...
Setting up ocaml-compiler-libs (4.01.0-5) ...
Setting up ocaml-interp (4.01.0-5) ...
Setting up ocaml-nox (4.01.0-5) ...
Setting up liblablgtk2-ocaml-dev (2.16.0+dfsg-1) ...
Setting up ocaml-native-compilers (4.01.0-5) ...
Processing triggers for libc-bin (2.19-18) ...
Processing triggers for dictionaries-common (1.25.2) ...
aspell-autobuildhash: processing: en [en-common].
aspell-autobuildhash: processing: en [en-variant_0].
aspell-autobuildhash: processing: en [en-variant_1].
aspell-autobuildhash: processing: en [en-variant_2].
aspell-autobuildhash: processing: en [en-w_accents-only].
aspell-autobuildhash: processing: en [en-wo_accents-only].
aspell-autobuildhash: processing: en [en_CA-variant_0].
aspell-autobuildhash: processing: en [en_CA-variant_1].
aspell-autobuildhash: processing: en [en_CA-w_accents-only].
aspell-autobuildhash: processing: en [en_CA-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only].
aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only].
aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-variant_0].
aspell-autobuildhash: processing: en [en_GB-variant_1].
aspell-autobuildhash: processing: en [en_US-w_accents-only].
aspell-autobuildhash: processing: en [en_US-wo_accents-only].
Processing triggers for systemd (220-6) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
-> Finished parsing the build-deps
Reading package lists...
Building dependency tree...
Reading state information...
fakeroot is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
I: Copying source file
I: copying [prooftree_0.12-1.dsc]
I: copying [./prooftree_0.12.orig.tar.gz]
I: copying [./prooftree_0.12-1.debian.tar.gz]
I: Extracting source
gpgv: keyblock resource `/tmp/buildd/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Wed May 29 08:28:15 2013 GMT-14 using RSA key ID 49881AD3
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./prooftree_0.12-1.dsc
dpkg-source: info: extracting prooftree in prooftree-0.12
dpkg-source: info: unpacking prooftree_0.12.orig.tar.gz
dpkg-source: info: unpacking prooftree_0.12-1.debian.tar.gz
I: Building the package
W: no hooks of type A found -- ignoring
I: Running cd tmp/buildd/*/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" dpkg-buildpackage -us -uc -b -rfakeroot
dpkg-buildpackage: source package prooftree
dpkg-buildpackage: source version 0.12-1
dpkg-buildpackage: source distribution unstable
dpkg-buildpackage: source changed by Hendrik Tews <hendrik at askra.de>
dpkg-source --before-build prooftree-0.12
dpkg-buildpackage: host architecture amd64
fakeroot debian/rules clean
dh clean --with ocaml
dh_testdir
debian/rules override_dh_auto_clean
make[1]: Entering directory '/tmp/buildd/prooftree-0.12'
dh_auto_clean
rm -f Makefile
make[1]: Leaving directory '/tmp/buildd/prooftree-0.12'
dh_ocamlclean
dh_clean
debian/rules build
dh build --with ocaml
dh_testdir
dh_ocamlinit
debian/rules override_dh_auto_configure
make[1]: Entering directory '/tmp/buildd/prooftree-0.12'
./configure --prefix /usr
ocamlc version 4.01.0 found.
ocamlopt.opt version 4.01.0 found. Native compilation enabled.
test ocamlopt.opt -I +lablgtk2
Configuration summary:
binaries will be copied to /usr/bin
man pages will be copied to /usr/share/man
native-code compilation enabled with ocamlopt.opt
LablGtk2 at +lablgtk2
make[1]: Leaving directory '/tmp/buildd/prooftree-0.12'
dh_auto_build
make -j1
make[1]: Entering directory '/tmp/buildd/prooftree-0.12'
Makefile:107: Makefile.deps: No such file or directory
echo '(* This file is automatically generated from version.txt *)' > version.ml
echo '(* DO NOT EDIT! *)' >> version.ml
echo "let version = \"`head -1 version.txt`\"" >> version.ml
ocamldep.opt version.mli proof_tree.mli input.mli version.ml util.ml gtk_ext.ml configuration.ml draw_tree.ml tree_layers.ml about_window.ml help_window.ml node_window.ml ext_dialog.ml emacs_commands.ml proof_window.ml proof_tree.ml coq.ml input.ml main.ml > Makefile.deps
ocamlopt.opt -c -w Aem -g -I +lablgtk2 version.mli
ocamlopt.opt -c -w Aem -g -I +lablgtk2 version.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 util.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 gtk_ext.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 configuration.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 draw_tree.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 ext_dialog.ml
File "ext_dialog.ml", line 439, characters 23-25:
Warning 3: deprecated feature: operator (or); you should use (||) instead
File "ext_dialog.ml", line 443, characters 36-38:
Warning 3: deprecated feature: operator (or); you should use (||) instead
ocamlopt.opt -c -w Aem -g -I +lablgtk2 tree_layers.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 about_window.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 help_window.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 node_window.ml
File "node_window.ml", line 123, characters 36-38:
Warning 3: deprecated feature: operator (or); you should use (||) instead
ocamlopt.opt -c -w Aem -g -I +lablgtk2 emacs_commands.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 proof_window.ml
File "proof_window.ml", line 470, characters 23-25:
Warning 3: deprecated feature: operator (or); you should use (||) instead
File "proof_window.ml", line 474, characters 36-38:
Warning 3: deprecated feature: operator (or); you should use (||) instead
File "proof_window.ml", line 485, characters 36-38:
Warning 3: deprecated feature: operator (or); you should use (||) instead
ocamlopt.opt -c -w Aem -g -I +lablgtk2 proof_tree.mli
ocamlopt.opt -c -w Aem -g -I +lablgtk2 proof_tree.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 coq.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 input.mli
ocamlopt.opt -c -w Aem -g -I +lablgtk2 input.ml
ocamlopt.opt -c -w Aem -g -I +lablgtk2 main.ml
File "main.ml", line 41, characters 0-18:
Warning 44: this open statement shadows the module identifier U (which is later used)
ocamlopt.opt -g -I +lablgtk2 -o prooftree \
unix.cmxa lablgtk.cmxa gtkInit.cmx version.cmx util.cmx gtk_ext.cmx configuration.cmx draw_tree.cmx tree_layers.cmx about_window.cmx help_window.cmx node_window.cmx ext_dialog.cmx emacs_commands.cmx proof_window.cmx proof_tree.cmx coq.cmx input.cmx main.cmx
make[1]: Leaving directory '/tmp/buildd/prooftree-0.12'
dh_auto_test
fakeroot debian/rules binary
dh binary --with ocaml
dh_testroot
dh_prep
dh_auto_install
make -j1 install DESTDIR=/tmp/buildd/prooftree-0.12/debian/prooftree AM_UPDATE_INFO_DIR=no
make[1]: Entering directory '/tmp/buildd/prooftree-0.12'
mkdir -p /tmp/buildd/prooftree-0.12/debian/prooftree/usr/bin
cp prooftree /tmp/buildd/prooftree-0.12/debian/prooftree/usr/bin
mkdir -p /tmp/buildd/prooftree-0.12/debian/prooftree/usr/share/man/man1
cp prooftree.1 /tmp/buildd/prooftree-0.12/debian/prooftree/usr/share/man/man1
make[1]: Leaving directory '/tmp/buildd/prooftree-0.12'
dh_ocamldoc
dh_installdocs
dh_installchangelogs
dh_installman
dh_perl
dh_link
dh_strip_nondeterminism
dh_compress
dh_fixperms
dh_strip
dh_makeshlibs
dh_shlibdeps
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/prooftree/usr/bin/prooftree was not linked against libcairo.so.2 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/prooftree/usr/bin/prooftree was not linked against libpangoft2-1.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/prooftree/usr/bin/prooftree was not linked against libatk-1.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/prooftree/usr/bin/prooftree was not linked against libpangocairo-1.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/prooftree/usr/bin/prooftree was not linked against libfontconfig.so.1 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/prooftree/usr/bin/prooftree was not linked against libgio-2.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/prooftree/usr/bin/prooftree was not linked against libfreetype.so.6 (it uses none of the library's symbols)
dh_installdeb
dh_ocaml
dh_gencontrol
dpkg-gencontrol: warning: Depends field of package prooftree: unknown substitution variable ${ocaml:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: Depends field of package prooftree: unknown substitution variable ${ocaml:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dh_md5sums
dh_builddeb
dpkg-deb: building package 'prooftree-dbgsym' in '../prooftree-dbgsym_0.12-1_amd64.deb'.
dpkg-deb: building package 'prooftree' in '../prooftree_0.12-1_amd64.deb'.
dpkg-genbuildinfo >../prooftree_0.12-1_amd64.buildinfo
dpkg-distaddfile prooftree_0.12-1_amd64.buildinfo science optional
dpkg-distaddfile: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-genchanges -b >../prooftree_0.12-1_amd64.changes
dpkg-genchanges: warning: package prooftree-dbgsym listed in files list but not in control info
dpkg-genchanges: binary-only upload (no source code included)
dpkg-source --after-build prooftree-0.12
dpkg-buildpackage: binary-only upload (no source included)
W: no hooks of type B found -- ignoring
I: unmounting /sys filesystem
I: unmounting dev/pts filesystem
I: unmounting run/shm filesystem
I: unmounting proc filesystem
I: cleaning the build env
I: removing directory /var/cache/pbuilder/build//19347 and its subdirectories
I: Current time: Sat Jun 13 14:27:39 GMT-14 2015
I: pbuilder-time-stamp: 1434155259
+ false
+ set +x
Format: 1.8
Date: Fri, 17 May 2013 16:53:01 +0200
Source: prooftree
Binary: prooftree
Architecture: amd64
Version: 0.12-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Hendrik Tews <hendrik at askra.de>
Description:
prooftree - proof-tree visualization for Proof General
Closes: 672480
Changes:
prooftree (0.12-1) unstable; urgency=low
.
* Initial release (Closes: #672480)
Checksums-Sha1:
6a8f88627052997a2b01014fe6ab997f54b03a32 173346 prooftree-dbgsym_0.12-1_amd64.deb
2c649e7131ac7a095f7a5f8d2fafb81dd4be9c27 9560 prooftree_0.12-1_amd64.buildinfo
643d62770675dfbb0ffd13cee5a31582aebd95d0 601524 prooftree_0.12-1_amd64.deb
Checksums-Sha256:
de9e83a3d1461a8fea669e0e84240297adc0f0e208545eb458e16ef4bad66225 173346 prooftree-dbgsym_0.12-1_amd64.deb
d4d43cc4299eef34b9861d45254a77a662f5e544171a42796d8a620f5d2d89cb 9560 prooftree_0.12-1_amd64.buildinfo
4a35fa5d8674fc13a2d775ebde21b1b0846289a255adb8952bdcccaef7249893 601524 prooftree_0.12-1_amd64.deb
Files:
1aab32e7b20a82a57c40867a069a3146 173346 debug extra prooftree-dbgsym_0.12-1_amd64.deb
2de9abf48703a2ca84452e89605af23b 9560 science optional prooftree_0.12-1_amd64.buildinfo
06d7a5db5c0b7ec738ee899152e0a465 601524 science optional prooftree_0.12-1_amd64.deb
Sat 13 Jun 00:27:50 UTC 2015 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-qgM6FA3m, which will now be removed.
Build step 'Execute shell' marked build as failure
More information about the Qa-jenkins-scm
mailing list