[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_amd64_4 #187
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Tue Sep 1 00:59:42 UTC 2015
See <https://jenkins.debian.net/job/reproducible_builder_amd64_4/187/>
------------------------------------------
[...truncated 46402 lines...]
NUM_EQS_basic 0
NUM_EQS_model-value 0
NUM_EQS_user-sort 0
NUM_EQS_arith 1
NUM_THEORIES 1
END_PRIMITIVE_STATIC_FEATURES
(smt.simplifier-done)
(smt.preprocessing :time 0.01 :before-memory 233.78 :after-memory 233.78)
(smt.searching)
(smt.stats :time 0.01 :before-memory 233.78 :after-memory 233.78)
validating: (not (=> true true))
(smt.simplifying :time 0.01 :before-memory 233.69 :after-memory 233.69)
(smt.collecting-features)
BEGIN_PRIMITIVE_STATIC_FEATURES
CNF 1
NUM_EXPRS 1
NUM_ROOTS 1
MAX_DEPTH 1
NUM_QUANTIFIERS 0
NUM_QUANTIFIERS_WITH_PATTERNS 0
NUM_QUANTIFIERS_WITH_MULTI_PATTERNS 0
NUM_CLAUSES 1
NUM_BIN_CLAUSES 0
NUM_UNITS 1
SUM_CLAUSE_SIZE 1
NUM_NESTED_FORMULAS 0
NUM_BOOL_EXPRS 1
NUM_BOOL_CONSTANTS 1
NUM_FORMULA_TREES 0
MAX_FORMULA_DEPTH 0
SUM_FORMULA_DEPTH 0
NUM_OR_AND_TREES 0
MAX_OR_AND_TREE_DEPTH 0
SUM_OR_AND_TREE_DEPTH 0
NUM_ITE_TREES 0
MAX_ITE_TREE_DEPTH 0
SUM_ITE_TREE_DEPTH 0
NUM_ORS 0
NUM_ANDS 0
NUM_IFFS 0
NUM_ITE_FORMULAS 0
NUM_ITE_TERMS 0
NUM_SHARING 0
NUM_INTERPRETED_EXPRS 0
NUM_UNINTERPRETED_EXPRS 0
NUM_INTERPRETED_CONSTANTS 0
NUM_UNINTERPRETED_CONSTANTS 0
NUM_UNINTERPRETED_FUNCTIONS 0
NUM_EQS 0
HAS_RATIONAL 0
HAS_INT 0
HAS_REAL 0
ARITH_K_SUM 0
NUM_ARITH_TERMS 0
NUM_ARITH_EQS 0
NUM_ARITH_INEQS 0
NUM_DIFF_TERMS 0
NUM_DIFF_EQS 0
NUM_DIFF_INEQS 0
NUM_SIMPLE_EQS 0
NUM_SIMPLE_INEQS 0
NUM_NON_LINEAR 0
NUM_ALIENS 0
NUM_THEORIES 0
END_PRIMITIVE_STATIC_FEATURES
(smt.preprocessing :time 0.01 :before-memory 233.79 :after-memory 233.79)
rm -f interval_lemma_* trigo-lemmas.math
make[1]: Leaving directory '/tmp/buildd/z3-4.4.0'
fakeroot debian/rules binary
dh binary --parallel --with python2
dh_testroot -O--parallel
dh_prep -O--parallel
debian/rules override_dh_auto_install
make[1]: Entering directory '/tmp/buildd/z3-4.4.0'
mkdir -p debian/tmp/usr/lib/python2.7/dist-packages/z3
dh_auto_install
make -j8 install DESTDIR=/tmp/buildd/z3-4.4.0/debian/tmp AM_UPDATE_INFO_DIR=no
make[2]: Entering directory '/tmp/buildd/z3-4.4.0'
make -C build install
make[3]: Entering directory '/tmp/buildd/z3-4.4.0/build'
Z3 was successfully installed.
Z3 shared libraries were installed at /tmp/buildd/z3-4.4.0/debian/tmp/usr/lib, make sure this directory is in your LD_LIBRARY_PATH environment variable.
Z3Py was installed at /tmp/buildd/z3-4.4.0/debian/tmp/usr/lib/python2.7/dist-packages, make sure this directory is in your PYTHONPATH environment variable.
make[3]: Leaving directory '/tmp/buildd/z3-4.4.0/build'
make[2]: Leaving directory '/tmp/buildd/z3-4.4.0'
touch debian/tmp/usr/lib/python2.7/dist-packages/z3/__init__.py
mv debian/tmp/usr/lib/libz3.so debian/tmp/usr/lib/libz3.so.4
ln -s libz3.so.4 debian/tmp/usr/lib/libz3.so
make[1]: Leaving directory '/tmp/buildd/z3-4.4.0'
dh_install -O--parallel
dh_installdocs -O--parallel
debian/rules override_dh_installchangelogs
make[1]: Entering directory '/tmp/buildd/z3-4.4.0'
dh_installchangelogs RELEASE_NOTES
make[1]: Leaving directory '/tmp/buildd/z3-4.4.0'
dh_installman -O--parallel
dh_python2 -O--parallel
W: dh_python2:479: Please add dh-python package to Build-Depends
dh_perl -O--parallel
dh_link -O--parallel
dh_strip_nondeterminism -O--parallel
dh_compress -O--parallel
dh_fixperms -O--parallel
dh_strip -O--parallel
dh_makeshlibs -O--parallel
dh_shlibdeps -O--parallel
dh_installdeb -O--parallel
dh_gencontrol -O--parallel
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: package python-z3: unused substitution variable ${python:Versions}
dpkg-gencontrol: warning: package python-z3: unused substitution variable ${python:Provides}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: package python-z3: unused substitution variable ${python:Provides}
dpkg-gencontrol: warning: package python-z3: unused substitution variable ${python:Versions}
dh_md5sums -O--parallel
dh_builddeb -O--parallel
dpkg-deb: building package 'z3-dbgsym' in '../z3-dbgsym_4.4.0-2_amd64.deb'.
dpkg-deb: building package 'libz3-dev-dbgsym' in '../libz3-dev-dbgsym_4.4.0-2_amd64.deb'.
dpkg-deb: building package 'python-z3-dbgsym' in '../python-z3-dbgsym_4.4.0-2_amd64.deb'.
dpkg-deb: building package 'libz3-dev' in '../libz3-dev_4.4.0-2_amd64.deb'.
dpkg-deb: building package 'z3' in '../z3_4.4.0-2_amd64.deb'.
dpkg-deb: building package 'python-z3' in '../python-z3_4.4.0-2_amd64.deb'.
dpkg-genbuildinfo >../z3_4.4.0-2_amd64.buildinfo
dpkg-distaddfile z3_4.4.0-2_amd64.buildinfo science extra
dpkg-distaddfile: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-genchanges -b >../z3_4.4.0-2_amd64.changes
dpkg-genchanges: warning: package libz3-dev-dbgsym listed in files list but not in control info
dpkg-genchanges: warning: package python-z3-dbgsym listed in files list but not in control info
dpkg-genchanges: warning: package z3-dbgsym listed in files list but not in control info
dpkg-genchanges: binary-only upload (no source code included)
dpkg-source --after-build z3-4.4.0
dpkg-buildpackage: binary-only upload (no source included)
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//29468 and its subdirectories
I: Current time: Mon Aug 31 13:01:41 GMT+12 2015
I: pbuilder-time-stamp: 1441069301
+ true
+ rm /srv/reproducible-results/tmp.6SZU4T5J6n/pbuilderrc_uiDn
++ date -u
Tue Sep 1 01:01:41 UTC 2015 - build #1 for z3/unstable/amd64 on profitbricks-build1-amd64 done
+ echo 'Tue Sep 1 01:01:41 UTC 2015 - build #1 for z3/unstable/amd64 on profitbricks-build1-amd64 done'
+ exit 0
+ cleanup_all
+ '[' 0 -eq 1 ']'
+ '[' '' = failure ']'
+ '[' '!' -z '' ']'
+ gzip -9fvn /srv/reproducible-results/tmp.kCj2VUqTIe/tmp.czZ0XCIwcW
/srv/reproducible-results/tmp.kCj2VUqTIe/tmp.czZ0XCIwcW: 83.2% -- replaced with /srv/reproducible-results/tmp.kCj2VUqTIe/tmp.czZ0XCIwcW.gz
+ '[' 1 = legacy ']'
+ '[' 1 = ng ']'
+ false
+ rm -f /tmp/reproducible-lockfile-unstable-amd64-z3
Tue Sep 1 01:01:41 UTC 2015 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-AnfUIQZh, which will now be removed.
+ rsync -e 'ssh -p 22' -r profitbricks-build1-amd64.debian.net:/srv/reproducible-results/tmp.6SZU4T5J6n/b1 /srv/reproducible-results/tmp.6SZU4T5J6n/
jenkins_node_wrapper.sh[14381] remote_host called with rsync --server --sender -re.iLsfx . /srv/reproducible-results/tmp.6SZU4T5J6n/b1
+ ls -R /srv/reproducible-results/tmp.6SZU4T5J6n
/srv/reproducible-results/tmp.6SZU4T5J6n:
b1
b2
tmp.MpMZ5hJ15y
z3_4.4.0-3.debian.tar.xz
z3_4.4.0-3.dsc
z3_4.4.0.orig.tar.gz
/srv/reproducible-results/tmp.6SZU4T5J6n/b1:
build.log
libz3-dev-dbgsym_4.4.0-2_amd64.deb
libz3-dev_4.4.0-2_amd64.deb
python-z3-dbgsym_4.4.0-2_amd64.deb
python-z3_4.4.0-2_amd64.deb
z3-dbgsym_4.4.0-2_amd64.deb
z3_4.4.0-2.debian.tar.xz
z3_4.4.0-2.dsc
z3_4.4.0-2_amd64.buildinfo
z3_4.4.0-2_amd64.changes
z3_4.4.0-2_amd64.deb
z3_4.4.0.orig.tar.gz
/srv/reproducible-results/tmp.6SZU4T5J6n/b2:
+ ssh -p 22 profitbricks-build1-amd64.debian.net 'rm -r /srv/reproducible-results/tmp.6SZU4T5J6n'
jenkins_node_wrapper.sh[14625] remote_host called with rm -r /srv/reproducible-results/tmp.6SZU4T5J6n
+ '[' '!' -f b1/z3_4.4.0-3_amd64.changes ']'
+ '[' -f b1/z3_4.4.0-2_amd64.changes ']'
+ echo 'Version mismatch between main node and first build node, aborting. Please upgrade the schroots...'
+ tee -a /srv/reproducible-results/tmp.6SZU4T5J6n/tmp.MpMZ5hJ15y
Version mismatch between main node and first build node, aborting. Please upgrade the schroots...
+ FTBFS=0
+ calculate_build_duration
++ date +%s
+ END=1441069177
+ DURATION=880
+ update_db_and_html depwait
+ STATUS=depwait
+ '[' -z 4.4.0-3 ']'
++ sqlite3 -init /var/lib/jenkins/reproducible.init /var/lib/jenkins/reproducible.db 'SELECT status FROM results WHERE package_id='\''46729'\'''
+ local OLD_STATUS=FTBFS
+ '[' FTBFS = reproducible ']'
+ '[' FTBFS '!=' depwait ']'
+ '[' 0 -eq 1 ']'
+ sqlite3 -init /var/lib/jenkins/reproducible.init /var/lib/jenkins/reproducible.db 'REPLACE INTO results (package_id, version, status, build_date, build_duration, builder) VALUES ('\''46729'\'', '\''4.4.0-3'\'', '\''depwait'\'', '\''2015-09-01 00:44'\'', '\''880'\'', '\''amd64_4/187'\'')'
+ '[' '!' -z 880 ']'
+ sqlite3 -init /var/lib/jenkins/reproducible.init /var/lib/jenkins/reproducible.db 'INSERT INTO stats_build (name, version, suite, architecture, status, build_date, build_duration, builder) VALUES ('\''z3'\'', '\''4.4.0-3'\'', '\''unstable'\'', '\''amd64'\'', '\''depwait'\'', '\''2015-09-01 00:44'\'', '\''880'\'', '\''amd64_4/187'\'')'
+ sqlite3 -init /var/lib/jenkins/reproducible.init /var/lib/jenkins/reproducible.db 'DELETE FROM schedule WHERE package_id='\''46729'\'';'
+ gen_package_html z3
+ cd /srv/jenkins/bin
+ python3 -c 'import reproducible_html_packages as rep
pkg = rep.Package('\''z3'\'', no_notes=True)
rep.gen_packages_html([pkg], no_clean=True)'
INFO: Starting at 2015-09-01 00:59:41.765838
INFO: Finished at 2015-09-01 00:59:41.777101, took: 0:00:00.011271
+ cd -
+ echo
+ echo 'Successfully updated the database and updated https://reproducible.debian.net/rb-pkg/unstable/amd64/z3.html'
Successfully updated the database and updated https://reproducible.debian.net/rb-pkg/unstable/amd64/z3.html
+ echo
+ exit 1
+ cleanup_all
+ '[' 0 -eq 1 ']'
+ '[' '' = failure ']'
+ '[' '!' -z '' ']'
+ gzip -9fvn /srv/reproducible-results/tmp.6SZU4T5J6n/tmp.MpMZ5hJ15y
/srv/reproducible-results/tmp.6SZU4T5J6n/tmp.MpMZ5hJ15y: 39.2% -- replaced with /srv/reproducible-results/tmp.6SZU4T5J6n/tmp.MpMZ5hJ15y.gz
+ '[' ng = legacy ']'
+ '[' ng = ng ']'
+ gen_package_html z3
+ cd /srv/jenkins/bin
+ python3 -c 'import reproducible_html_packages as rep
pkg = rep.Package('\''z3'\'', no_notes=True)
rep.gen_packages_html([pkg], no_clean=True)'
INFO: Starting at 2015-09-01 00:59:41.957289
INFO: Finished at 2015-09-01 00:59:41.970657, took: 0:00:00.013384
+ cd -
+ cd
+ rm -r /srv/reproducible-results/tmp.6SZU4T5J6n
+ false
+ rm -f /tmp/reproducible-lockfile-unstable-amd64-z3
Tue 1 Sep 00:59:42 UTC 2015 - /srv/jenkins/bin/reproducible_build.sh stopped running as /tmp/jenkins-script-hkLgoRUh, which will now be removed.
Build step 'Execute shell' marked build as failure
More information about the Qa-jenkins-scm
mailing list