[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_archlinux_1 #1215

jenkins at jenkins.debian.net jenkins at jenkins.debian.net
Fri Dec 18 15:13:48 UTC 2015 

See <https://jenkins.debian.net/job/reproducible_builder_archlinux_1/1215/>

------------------------------------------
[...truncated 1747 lines...]
make[8]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/bv/core'
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/bv/core'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/bv'
Making install in arrays
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/arrays'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/arrays'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/arrays'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/arrays'
Making install in aufbv
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/aufbv'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/aufbv'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/aufbv'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/aufbv'
Making install in auflia
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/auflia'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/auflia'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/auflia'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/auflia'
Making install in datatypes
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/datatypes'
Making install in .
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/datatypes'
make[8]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/datatypes'
make[8]: Nothing to be done for 'install-exec-am'.
make[8]: Nothing to be done for 'install-data-am'.
make[8]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/datatypes'
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/datatypes'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/datatypes'
Making install in quantifiers
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/quantifiers'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/quantifiers'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/quantifiers'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/quantifiers'
Making install in rewriterules
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/rewriterules'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/rewriterules'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/rewriterules'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/rewriterules'
Making install in lemmas
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/lemmas'
Making install in .
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/lemmas'
make[8]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/lemmas'
make[8]: Nothing to be done for 'install-exec-am'.
make[8]: Nothing to be done for 'install-data-am'.
make[8]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/lemmas'
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/lemmas'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/lemmas'
Making install in push-pop
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop'
Making install in boolean
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/boolean'
Making install in .
make[8]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/boolean'
make[9]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/boolean'
make[9]: Nothing to be done for 'install-exec-am'.
make[9]: Nothing to be done for 'install-data-am'.
make[9]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/boolean'
make[8]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/boolean'
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/boolean'
Making install in arith
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/arith'
Making install in .
make[8]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/arith'
make[9]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/arith'
make[9]: Nothing to be done for 'install-exec-am'.
make[9]: Nothing to be done for 'install-data-am'.
make[9]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/arith'
make[8]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/arith'
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop/arith'
Making install in .
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop'
make[8]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop'
make[8]: Nothing to be done for 'install-exec-am'.
make[8]: Nothing to be done for 'install-data-am'.
make[8]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop'
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/push-pop'
Making install in preprocess
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/preprocess'
Making install in .
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/preprocess'
make[8]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/preprocess'
make[8]: Nothing to be done for 'install-exec-am'.
make[8]: Nothing to be done for 'install-data-am'.
make[8]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/preprocess'
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/preprocess'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/preprocess'
Making install in tptp
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/tptp'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/tptp'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/tptp'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/tptp'
Making install in unconstrained
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/unconstrained'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/unconstrained'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/unconstrained'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/unconstrained'
Making install in decision
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/decision'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/decision'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/decision'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/decision'
Making install in fmf
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/fmf'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/fmf'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/fmf'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/fmf'
Making install in strings
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/strings'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/strings'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/strings'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/strings'
Making install in sets
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/sets'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/sets'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/sets'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/sets'
Making install in parser
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/parser'
make[7]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/parser'
make[7]: Nothing to be done for 'install-exec-am'.
make[7]: Nothing to be done for 'install-data-am'.
make[7]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/parser'
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0/parser'
make[5]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress/regress0'
make[5]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress'
make[6]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress'
make[6]: Nothing to be done for 'install-exec-am'.
make[6]: Nothing to be done for 'install-data-am'.
make[6]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress'
make[5]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress'
make[4]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test/regress'
Making install in .
make[4]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test'
make[5]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test'
make[5]: Nothing to be done for 'install-exec-am'.
make[5]: Nothing to be done for 'install-data-am'.
make[5]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test'
make[4]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test'
make[3]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/test'
Making install in contrib
make[3]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/contrib'
make[4]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/contrib'
make[4]: Nothing to be done for 'install-exec-am'.
make[4]: Nothing to be done for 'install-data-am'.
make[4]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/contrib'
make[3]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/contrib'
make[3]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln'
make[4]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln'
make[4]: Nothing to be done for 'install-exec-am'.
test -z "/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man1" || /usr/bin/mkdir -p "/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man1"
test -z "/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man3" || /usr/bin/mkdir -p "/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man3"
test -z "/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man5" || /usr/bin/mkdir -p "/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man5"
 /usr/bin/install -c -m 644 /tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/../../../doc/cvc4.1 doc/pcvc4.1 '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man1'
 /usr/bin/install -c -m 644 doc/cvc4.5 '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man5'
 /usr/bin/install -c -m 644 /tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/../../../doc/libcvc4.3 /tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/../../../doc/SmtEngine.3cvc /tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln/../../../doc/options.3cvc doc/libcvc4parser.3 doc/libcvc4compat.3 '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/pkg/cvc4/usr/share/man/man3'
make[4]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln'
make[3]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln'
make[2]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln'
make[1]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds'
make[1]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds'
(cd x86_64-unknown-linux-gnu/production-cln && make show-config)
make[2]: Entering directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln'

===============================================================================
This CVC4 build was configured with:
  configure --prefix=/usr --enable-optimization --disable-doxygen-doc --with-cln CVC4_BSD_LICENSED_CODE_ONLY=0
===============================================================================

make[2]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds/x86_64-unknown-linux-gnu/production-cln'
make[1]: Leaving directory '/tmp/cvc4-rbuild-archlinux-5QjYwzoG/cvc4/src/cvc4-1.4/builds'
==> Tidying install...
  -> Purging unwanted files...
  -> Removing libtool files...
  -> Removing static library files...
==> WARNING: Package contains reference to $srcdir
  -> Compressing man and info pages...
  -> Stripping unneeded symbols from binaries and libraries...
==> Creating package "cvc4"...
  -> Generating .PKGINFO file...
  -> Generating .MTREE file...
  -> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: cvc4 1.4-4 (Fri Dec 18 15:16:56 UTC 2015)
+ PRESULT=0
+ '[' 0 -eq 124 ']'
+ tee -a /srv/reproducible-results/rbuild-archlinux-5QjYwzoG/b1/cvc4/build1.log
+ schroot --end-session -c archlinux-cvc4-rbuild-archlinux-5QjYwzoG
E: 10mount: umount: /var/lib/schroot/union/underlay/archlinux-cvc4-rbuild-archlinux-5QjYwzoG: target is busy
E: 10mount:         (In some cases useful info about processes that
E: 10mount:          use the device is found by lsof(8) or fuser(1).)
E: archlinux-cvc4-rbuild-archlinux-5QjYwzoG: Chroot setup failed: stage=setup-stop
+ PRESULT=1
+ '[' 1 -ne 0 ']'
+ tee -a /srv/reproducible-results/rbuild-archlinux-5QjYwzoG/b1/cvc4/build1.log
++ date -u
+ echo 'Fri Dec 18 15:16:57 UTC 2015 - could not end schroot session, maybe some processes are still running? Sleeping 30 seconds and trying again…'
Fri Dec 18 15:16:57 UTC 2015 - could not end schroot session, maybe some processes are still running? Sleeping 30 seconds and trying again…
+ sleep 30
+ tee -a /srv/reproducible-results/rbuild-archlinux-5QjYwzoG/b1/cvc4/build1.log
+ schroot --end-session -c archlinux-cvc4-rbuild-archlinux-5QjYwzoG
E: 10mount: umount: /var/lib/schroot/union/underlay/archlinux-cvc4-rbuild-archlinux-5QjYwzoG: target is busy
E: 10mount:         (In some cases useful info about processes that
E: 10mount:          use the device is found by lsof(8) or fuser(1).)
E: archlinux-cvc4-rbuild-archlinux-5QjYwzoG: Chroot setup failed: stage=setup-stop
+ P2RESULT=1
+ '[' 1 -ne 0 ']'
+ exit 23
+ cleanup_all
+ cd
+ '[' 1 '!=' master ']'
++ basename /srv/reproducible-results/rbuild-archlinux-5QjYwzoG
+ schroot --end-session -c archlinux-cvc4-rbuild-archlinux-5QjYwzoG
+ true
+ '[' '!' -z cvc4 ']'
++ basename /srv/reproducible-results/rbuild-archlinux-5QjYwzoG
+ '[' -d /tmp/cvc4-rbuild-archlinux-5QjYwzoG ']'
++ basename /srv/reproducible-results/rbuild-archlinux-5QjYwzoG
+ rm -r /tmp/cvc4-rbuild-archlinux-5QjYwzoG
+ '[' 1 = master ']'
+ rm -f /tmp/archlinux-dummy-W652P2iC
Fri Dec 18 15:17:27 UTC 2015 - /srv/jenkins/bin/reproducible_build_archlinux_pkg.sh stopped running as /tmp/jenkins-script-gqEX6veP, which will now be removed.
remote job could not end schroot session properly, failing loudly so we get a pointer for investigations.
Fri Dec 18 15:13:47 UTC 2015 - /srv/reproducible-results/rbuild-archlinux-5QjYwzoG deleted.
Fri 18 Dec 15:13:47 UTC 2015 - /srv/jenkins/bin/reproducible_build_archlinux_pkg.sh stopped running as /tmp/jenkins-script-IHq6UCeP, which will now be removed.
Build step 'Execute shell' marked build as failure

More information about the Qa-jenkins-scm mailing list