[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_gamma #56134
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Sat Jul 18 10:37:21 UTC 2015
See <https://jenkins.debian.net/job/reproducible_builder_gamma/56134/>
------------------------------------------
[...truncated 1488 lines...]
coqc -q -R . Float Finduct
coqc -q -R . Float FroundPlus
coqc -q -R . Float ClosestPlus
coqc -q -R . Float Closest2Prop
coqc -q -R . Float Closest2Plus
coqc -q -R . Float AllFloat
coqc -q -R . Float Others/discriminant2
coqc -q -R . Float Others/discriminant3
coqc -q -R . Float Others/discriminant
coqc -q -R . Float Others/Veltkamp
coqc -q -R . Float Others/PradixE
coqc -q -R . Float Others/FroundDivSqrt
coqc -q -R . Float Others/FminOp
coqc -q -R . Float Others/DblRndOdd
coqc -q -R . Float Ct2/FboundI
coqc -q -R . Float FnElem/MinOrMax
coqc -q -R . Float FnElem/DoubleRound
coqc -q -R . Float Others/FmaEmul
coqc -q -R . Float Others/Divnk
coqc -q -R . Float Others/Dekker
coqc -q -R . Float Others/AlgoPredSucc
coqc -q -R . Float FnElem/FmaErr
coqc -q -R . Float FnElem/FmaErrApprox2
coqc -q -R . Float FnElem/FmaErrApprox
coqc -q -R . Float FnElem/FmaErr2
coqc -q -R . Float FnElem/FIA64elem
coqc -q -R . Float Ct2/FnormI
coqc -q -R . Float FnElem/FArgReduct
coqc -q -R . Float FnElem/FArgReduct2
coqc -q -R . Float FnElem/FArgReduct3
coqc -q -R . Float FnElem/FArgReduct4
coqc -q -R . Float FnElem/Axpy
coqc -q -R . Float Expansions/Fast2Sum
coqc -q -R . Float Expansions/TwoSum
coqc -q -R . Float Expansions/ThreeSum2
coqc -q -R . Float Expansions/ThreeSumProps
coqc -q -R . Float Expansions/Fexp
coqc -q -R . Float Expansions/FexpPlus
coqc -q -R . Float Expansions/FexpDiv
coqc -q -R . Float Expansions/Fexp2
coqc -q -R . Float Expansions/FexpAdd
coqc -q -R . Float Expansions/EFast2Sum
coqc -q -R . Float Expansions/Fast2Diff
coqc -q -R . Float MSBProp
make[2]: Leaving directory '/tmp/buildd/coq-float-8.4'
/usr/bin/make html
make[2]: Entering directory '/tmp/buildd/coq-float-8.4'
mkdir -p html
coqdoc -toc -interpolate -utf8 -html -R . Float -d html Fsucc.v Others/discriminant3.v Others/discriminant2.v Others/discriminant.v Others/Veltkamp.v Others/PradixE.v Others/FroundDivSqrt.v Others/FminOp.v Others/FmaEmul.v Others/Divnk.v Others/Dekker.v Others/DblRndOdd.v Others/AlgoPredSucc.v FnElem/MinOrMax.v FnElem/FmaErrApprox2.v FnElem/FmaErrApprox.v FnElem/FmaErr2.v FnElem/FmaErr.v FnElem/FIA64elem.v FnElem/FArgReduct4.v FnElem/FArgReduct3.v FnElem/FArgReduct2.v FnElem/FArgReduct.v FnElem/DoubleRound.v FnElem/Axpy.v Expansions/TwoSum.v Expansions/ThreeSumProps.v Expansions/ThreeSum2.v Expansions/FexpPlus.v Expansions/FexpDiv.v Expansions/FexpAdd.v Expansions/Fexp2.v Expansions/Fexp.v Expansions/Fast2Sum.v Expansions/Fast2Diff.v Expansions/EFast2Sum.v sTactic.v Zenum.v Zdivides.v Rpow.v RND.v Paux.v Option.v MSBProp.v MSB.v FroundProp.v FroundPlus.v FroundMult.v Fround.v Fprop.v Fop.v Fodd.v Fnorm.v Fmin.v Float.v Finduct.v Fcomp.v Fbound.v Faux.v FSucc.v FPred.v Digit.v ClosestProp.v ClosestPlus.v ClosestMult.v Closest2Prop.v Closest2Plus.v Closest.v AllFloat.v Ct2/FnormI.v Ct2/FboundI.v
make[2]: Leaving directory '/tmp/buildd/coq-float-8.4'
make[1]: Leaving directory '/tmp/buildd/coq-float-8.4'
dh_auto_test
fakeroot debian/rules binary
dh binary
dh_testroot
dh_prep
dh_install
dh_installdocs
dh_installchangelogs
dh_perl
dh_link
dh_strip_nondeterminism
dh_compress
dh_fixperms
dh_installdeb
debian/rules override_dh_gencontrol
make[1]: Entering directory '/tmp/buildd/coq-float-8.4'
dh_gencontrol -- -VF:CoqABI="8.4pl4+4.01.0"
dpkg-gencontrol: warning: Depends field of package libfloat-coq: unknown substitution variable ${shlibs:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
make[1]: Leaving directory '/tmp/buildd/coq-float-8.4'
dh_md5sums
dh_builddeb
dpkg-deb: building package 'libfloat-coq' in '../libfloat-coq_8.4-4_all.deb'.
dpkg-genbuildinfo >../coq-float_8.4-4_amd64.buildinfo
dpkg-distaddfile coq-float_8.4-4_amd64.buildinfo math optional
dpkg-distaddfile: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-genchanges -b >../coq-float_8.4-4_amd64.changes
dpkg-genchanges: binary-only upload (no source code included)
dpkg-source --after-build coq-float-8.4
dpkg-buildpackage: binary-only upload (no source included)
W: no hooks of type B found -- ignoring
I: unmounting /sys filesystem
I: unmounting /dev/shm 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//10264 and its subdirectories
I: Current time: dimanche 19 juillet 2015, 00:37:10 (UTC+1400)
I: pbuilder-time-stamp: 1437215830
+ false
+ set +x
Format: 1.8
Date: Wed, 30 Jul 2014 08:59:29 +0200
Source: coq-float
Binary: libfloat-coq
Architecture: amd64 all
Version: 1:8.4-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Stéphane Glondu <glondu at debian.org>
Description:
libfloat-coq - Coq library on floating-point arithmetic
Changes:
coq-float (1:8.4-4) unstable; urgency=medium
.
* Recompile with coq 8.4pl4
Checksums-Sha1:
0af57e85e9c90243ec416642474428a3844a2c2e 4627 coq-float_8.4-4_amd64.buildinfo
224645f66d26989d0a7ea1a1a9bc653d90ec3aaa 11365648 libfloat-coq_8.4-4_all.deb
Checksums-Sha256:
dca85c79301bf8bd86ba226fce701349d3697d032794529ea9052db6fc6aee8c 4627 coq-float_8.4-4_amd64.buildinfo
d40aee61e0ac35c595dac0b1e7798810c54f01bc755dc635a97c6eff4924cc7f 11365648 libfloat-coq_8.4-4_all.deb
Files:
1b6023cc25b3baf2d7b0140931c26dd7 4627 math optional coq-float_8.4-4_amd64.buildinfo
ef15b0caa313a657328cc897b006cab6 11365648 math optional libfloat-coq_8.4-4_all.deb
removed ‘/var/lib/jenkins/userContent/reproducible/rbuild/testing/amd64/coq-float_8.4-4.rbuild.log’
removed ‘/var/lib/jenkins/userContent/reproducible/buildinfo/testing/amd64/coq-float_8.4-4_amd64.buildinfo’
Diff of the two buildlogs:
--
--- b1/build.log 2015-07-18 09:58:03.277294624 +0000
+++ b2/build.log 2015-07-18 10:37:10.137957433 +0000
@@ -1,7 +1,7 @@
I: using fakeroot in build.
I: pbuilder: network access will be disabled during build
-I: Current time: Fri Jul 17 21:17:07 GMT+12 2015
-I: pbuilder-time-stamp: 1437211027
+I: Current time: samedi 18 juillet 2015, 23:58:03 (UTC+1400)
+I: pbuilder-time-stamp: 1437213483
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/testing-reproducible-base.tgz]
I: creating local configuration
@@ -13,6 +13,9 @@
I: Mounting /sys
I: policy-rc.d already exists
I: Installing the build-deps
+I: user script /var/cache/pbuilder/build//10264/tmp/hooks/D01_modify_environment starting
+I: Changing hostname to test build reproducibility
+I: user script /var/cache/pbuilder/build//10264/tmp/hooks/D01_modify_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
@@ -67,7 +70,7 @@
Get: 4 http://ftp.de.debian.org/debian/ testing/main libpng12-0 amd64 1.2.50-2+b2 [172 kB]
Get: 5 http://ftp.de.debian.org/debian/ testing/main libfreetype6 amd64 2.5.2-4 [466 kB]
Get: 6 http://ftp.de.debian.org/debian/ testing/main ucf all 3.0030 [69.7 kB]
-Get: 7 http://ftp.de.debian.org/debian/ testing/main fonts-dejavu-core all 2.35-1 [1064 kB]
+Get: 7 http://ftp.de.debian.org/debian/ testing/main fonts-dejavu-core all 2.35-1 [1'064 kB]
Get: 8 http://ftp.de.debian.org/debian/ testing/main fontconfig-config all 2.11.0-6.3 [273 kB]
Get: 9 http://ftp.de.debian.org/debian/ testing/main libfontconfig1 amd64 2.11.0-6.3 [329 kB]
Get: 10 http://ftp.de.debian.org/debian/ testing/main fontconfig amd64 2.11.0-6.3 [402 kB]
@@ -101,7 +104,7 @@
Get: 38 http://ftp.de.debian.org/debian/ testing/main libtiff5 amd64 4.0.3-13 [212 kB]
Get: 39 http://ftp.de.debian.org/debian/ testing/main libgdk-pixbuf2.0-common all 2.31.4-2 [295 kB]
Get: 40 http://ftp.de.debian.org/debian/ testing/main libgdk-pixbuf2.0-0 amd64 2.31.4-2 [171 kB]
-Get: 41 http://ftp.de.debian.org/debian/ testing/main libgtk2.0-common all 2.24.28-1 [3140 kB]
+Get: 41 http://ftp.de.debian.org/debian/ testing/main libgtk2.0-common all 2.24.28-1 [3'140 kB]
Get: 42 http://ftp.de.debian.org/debian/ testing/main libnettle6 amd64 3.1.1-3 [188 kB]
Get: 43 http://ftp.de.debian.org/debian/ testing/main libhogweed4 amd64 3.1.1-3 [136 kB]
Get: 44 http://ftp.de.debian.org/debian/ testing/main libtasn1-6 amd64 4.5-2 [49.6 kB]
@@ -127,15 +130,15 @@
Get: 64 http://ftp.de.debian.org/debian/ testing/main libxinerama1 amd64 2:1.1.3-1+b1 [16.9 kB]
Get: 65 http://ftp.de.debian.org/debian/ testing/main libxrandr2 amd64 2:1.4.2-1+b1 [35.5 kB]
Get: 66 http://ftp.de.debian.org/debian/ testing/main shared-mime-info amd64 1.3-1 [634 kB]
-Get: 67 http://ftp.de.debian.org/debian/ testing/main libgtk2.0-0 amd64 2.24.28-1 [2304 kB]
+Get: 67 http://ftp.de.debian.org/debian/ testing/main libgtk2.0-0 amd64 2.24.28-1 [2'304 kB]
Get: 68 http://ftp.de.debian.org/debian/ testing/main libglade2-0 amd64 1:2.6.4-2 [81.8 kB]
Get: 69 http://ftp.de.debian.org/debian/ testing/main coq-theories all 8.4pl4dfsg-1 [32.2 MB]
Get: 70 http://ftp.de.debian.org/debian/ testing/main ocaml-base-nox amd64 4.01.0-5 [520 kB]
Get: 71 http://ftp.de.debian.org/debian/ testing/main libgtkspell0 amd64 2.0.16-1.1 [23.9 kB]
Get: 72 http://ftp.de.debian.org/debian/ testing/main liblablgtk2-ocaml amd64 2.16.0+dfsg-1 [774 kB]
-Get: 73 http://ftp.de.debian.org/debian/ testing/main libcoq-ocaml amd64 8.4pl4dfsg-1 [1638 kB]
-Get: 74 http://ftp.de.debian.org/debian/ testing/main coq amd64 8.4pl4dfsg-1 [4048 kB]
-Fetched 57.3 MB in 2min 4s (461 kB/s)
+Get: 73 http://ftp.de.debian.org/debian/ testing/main libcoq-ocaml amd64 8.4pl4dfsg-1 [1'638 kB]
+Get: 74 http://ftp.de.debian.org/debian/ testing/main coq amd64 8.4pl4dfsg-1 [4'048 kB]
+Fetched 57.3 MB in 2s (22.2 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libkeyutils1:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20215 files and directories currently installed.)
@@ -479,14 +482,15 @@
I: copying [./coq-float_8.4-4.debian.tar.xz]
I: Extracting source
gpgv: keyblock resource `/tmp/buildd/.gnupg/trustedkeys.gpg': file open error
-gpgv: Signature made Tue Jul 29 20:13:33 2014 GMT+12 using RSA key ID 49881AD3
+gpgv: Signature made mer 30 jui 2014 22:13:33 GMT-14 using RSA key ID 49881AD3
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./coq-float_8.4-4.dsc
dpkg-source: info: extracting coq-float in coq-float-8.4
dpkg-source: info: unpacking coq-float_8.4.orig.tar.gz
dpkg-source: info: unpacking coq-float_8.4-4.debian.tar.xz
I: Building the package
-I: Running cd tmp/buildd/*/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" dpkg-buildpackage -us -uc -b -rfakeroot
+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 coq-float
dpkg-buildpackage: source version 1:8.4-4
dpkg-buildpackage: source distribution unstable
@@ -707,12 +711,13 @@
dpkg-genchanges: binary-only upload (no source code included)
dpkg-source --after-build coq-float-8.4
dpkg-buildpackage: binary-only upload (no source included)
+W: no hooks of type B found -- ignoring
I: unmounting /sys filesystem
I: unmounting /dev/shm 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//17506 and its subdirectories
-I: Current time: Fri Jul 17 21:58:03 GMT+12 2015
-I: pbuilder-time-stamp: 1437213483
+I: removing directory /var/cache/pbuilder/build//10264 and its subdirectories
+I: Current time: dimanche 19 juillet 2015, 00:37:10 (UTC+1400)
+I: pbuilder-time-stamp: 1437215830
Compressing the logs...
/var/lib/jenkins/userContent/reproducible/logdiffs/testing/amd64/coq-float_8.4-4.diff: 69.6% -- replaced with /var/lib/jenkins/userContent/reproducible/logdiffs/testing/amd64/coq-float_8.4-4.diff.gz
b2/build.log: 82.0%
b1/build.log: 82.1%
/var/lib/jenkins/userContent/reproducible/rbuild/testing/amd64/coq-float_8.4-4.rbuild.log: 79.8% -- replaced with /var/lib/jenkins/userContent/reproducible/rbuild/testing/amd64/coq-float_8.4-4.rbuild.log.gz
CRITICAL: buildinfo not detected at /var/lib/jenkins/userContent/reproducible/buildinfo/testing/amd64/coq-float_8.4-4_amd64.buildinfo
Sat 18 Jul 10:37:21 UTC 2015 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-ieqKZ4cs, which will now be removed.
Build step 'Execute shell' marked build as failure
More information about the Qa-jenkins-scm
mailing list