[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_i386_6 #19538

jenkins at jenkins.debian.net jenkins at jenkins.debian.net
Sun Oct 9 19:06:54 UTC 2016 

https://jenkins.debian.net/job/reproducible_builder_i386_6/19538/------------------------------------------
[...truncated 31203 lines...]
+W: coq doesn't resolve dependency on unit Typeclass
+W: coq doesn't resolve dependency on unit Printtyped
+W: coq doesn't resolve dependency on unit Ident
+W: coq doesn't resolve dependency on unit Opcodes
+W: coq doesn't resolve dependency on unit Primitive
+W: coq doesn't resolve dependency on unit Printast
+W: coq doesn't resolve dependency on unit Parsetree
+W: coq doesn't resolve dependency on unit Config
+W: coq doesn't resolve dependency on unit Bytesections
 W: coq doesn't resolve dependency on unit Subst
-W: coq doesn't resolve dependency on unit Misc
+W: coq doesn't resolve dependency on unit Longident
+W: coq doesn't resolve dependency on unit Topstart
+W: coq doesn't resolve dependency on unit Syntaxerr
+W: coq doesn't resolve dependency on unit Matching
+W: coq doesn't resolve dependency on unit Includeclass
 W: coq doesn't resolve dependency on unit Annot
-W: coq doesn't resolve dependency on unit Runtimedef
-W: coq doesn't resolve dependency on unit Toploop
-W: coq doesn't resolve dependency on unit Ast_helper
-W: coq doesn't resolve dependency on unit Translclass
-W: coq doesn't resolve dependency on unit Printast
-W: coq doesn't resolve dependency on unit Typedecl
-W: coq doesn't resolve dependency on unit Typemod
-W: coq doesn't resolve dependency on unit Parmatch
+W: coq doesn't resolve dependency on unit Lambda
+W: coq doesn't resolve dependency on unit Btype
+W: coq doesn't resolve dependency on unit Clflags
+W: coq doesn't resolve dependency on unit Stypes
+W: coq doesn't resolve dependency on unit Translobj
 W: coq doesn't resolve dependency on unit Docstrings
-W: coq doesn't resolve dependency on unit Mtype
-W: coq doesn't resolve dependency on unit Topstart
-W: coq doesn't resolve dependency on unit Compile
-W: coq doesn't resolve dependency on unit Emitcode
-W: coq doesn't resolve dependency on unit Typedtree
-W: coq doesn't resolve dependency on unit Parse
-W: coq doesn't resolve dependency on unit Consistbl
-W: coq doesn't resolve dependency on unit TypedtreeIter
+W: coq doesn't resolve dependency on unit Typecore
+W: coq doesn't resolve dependency on unit Compmisc
+W: coq doesn't resolve dependency on unit TypedtreeMap
+W: coq doesn't resolve dependency on unit Symtable
+W: coq doesn't resolve dependency on unit Translmod
+W: coq doesn't resolve dependency on unit Toploop
+W: coq doesn't resolve dependency on unit Asttypes
 W: coq doesn't resolve dependency on unit Path
-W: coq doesn't resolve dependency on unit Genprintval
-W: coq doesn't resolve dependency on unit Ctype
-W: coq doesn't resolve dependency on unit Clflags
+W: coq doesn't resolve dependency on unit Consistbl
+W: coq doesn't resolve dependency on unit Simplif
 W: coq doesn't resolve dependency on unit Cmo_format
-W: coq doesn't resolve dependency on unit Typeclass
-W: coq doesn't resolve dependency on unit Printtyped
-W: coq doesn't resolve dependency on unit Printlambda
-W: coq doesn't resolve dependency on unit Config
+W: coq doesn't resolve dependency on unit Typetexp
 W: coq doesn't resolve dependency on unit Bytegen
+W: coq doesn't resolve dependency on unit Ccomp
+W: coq doesn't resolve dependency on unit Typedtree
+W: coq doesn't resolve dependency on unit Parser
+W: coq doesn't resolve dependency on unit Compile
+W: coq doesn't resolve dependency on unit Includecore
+W: coq doesn't resolve dependency on unit Printinstr
+W: coq doesn't resolve dependency on unit Predef
 W: coq doesn't resolve dependency on unit Switch
-W: coq doesn't resolve dependency on unit Ident
-W: coq doesn't resolve dependency on unit Compmisc
-W: coq doesn't resolve dependency on unit Lambda
-W: coq doesn't resolve dependency on unit Cmt_format
-W: coq doesn't resolve dependency on unit Tbl
+W: coq doesn't resolve dependency on unit Instruct
+W: coq doesn't resolve dependency on unit Misc
+W: coq doesn't resolve dependency on unit Translclass
+W: coq doesn't resolve dependency on unit Topmain
+W: coq doesn't resolve dependency on unit Parmatch
+W: coq doesn't resolve dependency on unit Typedecl
 W: coqide doesn't resolve dependency on unit Interface
 for f in debian/*substvars; do echo $f; cat $f; done
-debian/coq-theories.substvars
-shlibs:Depends=libc6 (>= 2.1.3)
-ocaml:Depends=libcoq-ocaml-egt84, ocaml-base-nox-4.02.3
-debian/coq.substvars
-shlibs:Depends=libc6 (>= 2.3.6-6~), libc6 (>= 2.7)
-ocaml:Depends=libcoq-ocaml-egt84, ocaml-base-nox-4.02.3
 debian/coqide.substvars
 shlibs:Depends=libatk1.0-0 (>= 1.12.4), libc6 (>= 2.3.6-6~), libc6 (>= 2.7), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0)
-ocaml:Depends=libcoq-ocaml-egt84, ocaml-base-nox-4.02.3
+ocaml:Depends=libcoq-ocaml-ptkx2, ocaml-base-nox-4.02.3
+debian/coq.substvars
+shlibs:Depends=libc6 (>= 2.3.6-6~), libc6 (>= 2.7)
+ocaml:Depends=libcoq-ocaml-ptkx2, ocaml-base-nox-4.02.3
+debian/coq-theories.substvars
+shlibs:Depends=libc6 (>= 2.1.3)
+ocaml:Depends=libcoq-ocaml-ptkx2, ocaml-base-nox-4.02.3
 debian/libcoq-ocaml-dev.substvars
 shlibs:Depends=libc6 (>= 2.3.6-6~), libc6 (>= 2.7)
-ocaml:Provides=libcoq-ocaml-dev-egt84
-ocaml:Depends=camlp5-bx6a3, libcoq-ocaml-egt84, liblablgtk2-ocaml-dev-ybcn9, liblablgtksourceview2-ocaml-dev-gfeb3, ocaml-nox-4.02.3
+ocaml:Provides=libcoq-ocaml-dev-ptkx2
+ocaml:Depends=camlp5-bx6a3, libcoq-ocaml-ptkx2, liblablgtk2-ocaml-dev-ybcn9, liblablgtksourceview2-ocaml-dev-gfeb3, ocaml-nox-4.02.3
 debian/libcoq-ocaml.substvars
 shlibs:Depends=libc6 (>= 2.1.3)
-ocaml:Provides=libcoq-ocaml-egt84
+ocaml:Provides=libcoq-ocaml-ptkx2
 ocaml:Depends=liblablgtk2-ocaml-ybcn9, liblablgtksourceview2-ocaml-gfeb3, ocaml-base-nox-4.02.3
-make[1]: Leaving directory '/build-1st/coq-8.5'
+make[1]: Verzeichnis „/build-2nd/coq-8.5“ wird verlassen
    debian/rules override_dh_gencontrol
-make[1]: Entering directory '/build-1st/coq-8.5'
+make[1]: Verzeichnis „/build-2nd/coq-8.5“ wird betreten
 for u in coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev; do \
   echo 'F:OCamlABI=4.02.3' >> debian/$u.substvars; \
   echo 'F:CoqABI=8.5+4.02.3' >> debian/$u.substvars; \
@@ -7475,17 +7486,17 @@
 dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
 dpkg-gencontrol: warning: package coq: unused substitution variable ${F:OCamlABI}
 dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
-dpkg-gencontrol: warning: package coqide: unused substitution variable ${F:OCamlABI}
 dpkg-gencontrol: warning: package coqide: unused substitution variable ${F:CoqABI}
-dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
 dpkg-gencontrol: warning: package coqide: unused substitution variable ${F:OCamlABI}
+dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
 dpkg-gencontrol: warning: package coqide: unused substitution variable ${F:CoqABI}
+dpkg-gencontrol: warning: package coqide: unused substitution variable ${F:OCamlABI}
 dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
-dpkg-gencontrol: warning: package coq-theories: unused substitution variable ${ocaml:Depends}
 dpkg-gencontrol: warning: package coq-theories: unused substitution variable ${F:OCamlABI}
+dpkg-gencontrol: warning: package coq-theories: unused substitution variable ${ocaml:Depends}
 dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
-dpkg-gencontrol: warning: package coq-theories: unused substitution variable ${F:OCamlABI}
 dpkg-gencontrol: warning: package coq-theories: unused substitution variable ${ocaml:Depends}
+dpkg-gencontrol: warning: package coq-theories: unused substitution variable ${F:OCamlABI}
 dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
 dpkg-gencontrol: warning: package libcoq-ocaml: unused substitution variable ${F:CoqABI}
 dpkg-gencontrol: warning: package libcoq-ocaml: unused substitution variable ${F:OCamlABI}
@@ -7493,24 +7504,24 @@
 dpkg-gencontrol: warning: package libcoq-ocaml: unused substitution variable ${F:OCamlABI}
 dpkg-gencontrol: warning: package libcoq-ocaml: unused substitution variable ${F:CoqABI}
 dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
-dpkg-gencontrol: warning: package libcoq-ocaml-dev: unused substitution variable ${F:CoqABI}
 dpkg-gencontrol: warning: package libcoq-ocaml-dev: unused substitution variable ${F:OCamlABI}
-dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
 dpkg-gencontrol: warning: package libcoq-ocaml-dev: unused substitution variable ${F:CoqABI}
+dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
 dpkg-gencontrol: warning: package libcoq-ocaml-dev: unused substitution variable ${F:OCamlABI}
-make[1]: Leaving directory '/build-1st/coq-8.5'
+dpkg-gencontrol: warning: package libcoq-ocaml-dev: unused substitution variable ${F:CoqABI}
+make[1]: Verzeichnis „/build-2nd/coq-8.5“ wird verlassen
    dh_md5sums
    dh_builddeb
-dpkg-deb: building package 'coq-dbgsym' in '../coq-dbgsym_8.5-2_i386.deb'.
-dpkg-deb: building package 'coqide-dbgsym' in '../coqide-dbgsym_8.5-2_i386.deb'.
-dpkg-deb: building package 'libcoq-ocaml-dbgsym' in '../libcoq-ocaml-dbgsym_8.5-2_i386.deb'.
-dpkg-deb: building package 'coq-theories-dbgsym' in '../coq-theories-dbgsym_8.5-2_i386.deb'.
-dpkg-deb: building package 'libcoq-ocaml-dev-dbgsym' in '../libcoq-ocaml-dev-dbgsym_8.5-2_i386.deb'.
-dpkg-deb: building package 'libcoq-ocaml-dev' in '../libcoq-ocaml-dev_8.5-2_i386.deb'.
-dpkg-deb: building package 'libcoq-ocaml' in '../libcoq-ocaml_8.5-2_i386.deb'.
-dpkg-deb: building package 'coqide' in '../coqide_8.5-2_i386.deb'.
-dpkg-deb: building package 'coq' in '../coq_8.5-2_i386.deb'.
-dpkg-deb: building package 'coq-theories' in '../coq-theories_8.5-2_i386.deb'.
+dpkg-deb: Paket »coq-theories-dbgsym« wird in »../coq-theories-dbgsym_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »libcoq-ocaml-dev-dbgsym« wird in »../libcoq-ocaml-dev-dbgsym_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »coqide-dbgsym« wird in »../coqide-dbgsym_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »coq-dbgsym« wird in »../coq-dbgsym_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »libcoq-ocaml-dbgsym« wird in »../libcoq-ocaml-dbgsym_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »libcoq-ocaml-dev« wird in »../libcoq-ocaml-dev_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »libcoq-ocaml« wird in »../libcoq-ocaml_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »coqide« wird in »../coqide_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »coq-theories« wird in »../coq-theories_8.5-2_i386.deb« gebaut.
+dpkg-deb: Paket »coq« wird in »../coq_8.5-2_i386.deb« gebaut.
  dpkg-genbuildinfo --build=any,all --buildinfo-id=i386
 dpkg-genbuildinfo: warning: File::FcntlLock not available; using flock which is not NFS-safe
  dpkg-genchanges --build=any,all >../coq_8.5-2_i386.changes
@@ -7518,12 +7529,14 @@
  dpkg-source --after-build coq-8.5
 dpkg-buildpackage: info: binary-only upload (no source included)
 I: copying local configuration
+I: user script /srv/workspace/pbuilder/3266/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/3266/tmp/hooks/B01_cleanup finished
 I: unmounting /dev/shm filesystem
 I: unmounting dev/pts filesystem
 I: unmounting run/shm filesystem
 I: unmounting proc filesystem
 I: unmounting sys filesystem
 I: cleaning the build env 
-I: removing directory /srv/workspace/pbuilder/36915 and its subdirectories
-I: Current time: Sat Nov 11 11:21:29 GMT+12 2017
-I: pbuilder-time-stamp: 1510442489
+I: removing directory /srv/workspace/pbuilder/3266 and its subdirectories
+I: Current time: Mon Okt 10 07:48:46 GMT-14 2016
+I: pbuilder-time-stamp: 1476035326

Compressing the 2nd log...
/var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/i386/coq_8.5-2.diff:	 89.3% -- replaced with /var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/i386/coq_8.5-2.diff.gz
b2/build.log:	 87.5%
+ echo 'Compressing the 1st log...'
Compressing the 1st log...
+ gzip -9cvn b1/build.log
b1/build.log:	 87.5%
+ chmod 644 /var/lib/jenkins/userContent/reproducible/debian/logs/unstable/i386/coq_8.5-2.build1.log.gz
+ update_rbuildlog
+ chmod 644 /srv/reproducible-results/rbuild-debian-CfUa1VNo/tmp.l8xWcSXa2c
+ mv /srv/reproducible-results/rbuild-debian-CfUa1VNo/tmp.l8xWcSXa2c /var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/i386/coq_8.5-2.rbuild.log
+ RBUILDLOG=/var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/i386/coq_8.5-2.rbuild.log
+ '[' 0 -eq 1 ']'
+ '[' 0 -eq 0 ']'
+ call_diffoscope_on_buildinfo_files
++ mktemp --tmpdir=/srv/reproducible-results/rbuild-debian-CfUa1VNo
+ local TMPLOG=/srv/reproducible-results/rbuild-debian-CfUa1VNo/tmp.1dY5Q8zqzo
+ local TIMEOUT=120m
+ DBDSUITE=unstable
+ '[' unstable = experimental ']'
+ set -x
++ mktemp --tmpdir=/srv/reproducible-results/rbuild-debian-CfUa1VNo -d dbd-tmp-XXXXXXX
+ local TEMP=/srv/reproducible-results/rbuild-debian-CfUa1VNo/dbd-tmp-tPI1uWq
++ schroot --directory /srv/reproducible-results/rbuild-debian-CfUa1VNo -c source:jenkins-reproducible-unstable-diffoscope diffoscope -- --version
+ DIFFOSCOPE='diffoscope 61'
++ echo diffoscope 61
++ grep '^E: 15binfmt: update-binfmts: unable to open'
++ true
+ LOG_RESULT=
+ '[' '!' -z '' ']'
+ log_info 'diffoscope 61 will be used to compare the two builds:'
+ _log I: 'diffoscope 61 will be used to compare the two builds:'
+ local prefix=I:
+ shift 1
+ tee -a /var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/i386/coq_8.5-2.rbuild.log
++ date -u
+ echo -e 'Sun Oct  9 17:48:51 UTC 2016  I: diffoscope 61 will be used to compare the two builds:'
Sun Oct  9 17:48:51 UTC 2016  I: diffoscope 61 will be used to compare the two builds:
+ set +e
+ set -x
+ timeout 120m nice schroot --directory /srv/reproducible-results/rbuild-debian-CfUa1VNo -c source:jenkins-reproducible-unstable-diffoscope -- sh -c 'export TMPDIR=/srv/reproducible-results/rbuild-debian-CfUa1VNo/dbd-tmp-tPI1uWq ; diffoscope 			--html /srv/reproducible-results/rbuild-debian-CfUa1VNo/coq_8.5-2.diffoscope.html 			--text /srv/reproducible-results/rbuild-debian-CfUa1VNo/coq_8.5-2.diffoscope.txt 			/srv/reproducible-results/rbuild-debian-CfUa1VNo/b1/coq_8.5-2_i386.buildinfo 			/srv/reproducible-results/rbuild-debian-CfUa1VNo/b2/coq_8.5-2_i386.buildinfo'
+ RESULT=1
++ grep '^E: 15binfmt: update-binfmts: unable to open' /srv/reproducible-results/rbuild-debian-CfUa1VNo/tmp.1dY5Q8zqzo
++ true
+ LOG_RESULT=
+ '[' '!' -z '' ']'
+ false
+ set +x
Sun Oct  9 19:06:53 UTC 2016  E: coq failed to build reproducibly in unstable on i386.
mv: error writing ‘/var/lib/jenkins/userContent/reproducible/debian/dbd/unstable/i386/coq_8.5-2.diffoscope.html’: No space left on device
mv: failed to extend ‘/var/lib/jenkins/userContent/reproducible/debian/dbd/unstable/i386/coq_8.5-2.diffoscope.html’: No space left on device
/var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/i386/coq_8.5-2.rbuild.log:	
gzip: /var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/i386/coq_8.5-2.rbuild.log.gz: No space left on device
Sun  9 Oct 19:06:53 UTC 2016 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-sHJnOUBT, which will now be removed.
Build step 'Execute shell' marked build as failure

More information about the Qa-jenkins-scm mailing list