[Qa-jenkins-scm] Build failed in Jenkins: reproducible_builder_archlinux_5 #332047
jenkins at jenkins.debian.net
jenkins at jenkins.debian.net
Wed Oct 19 08:24:10 BST 2022
See <https://jenkins.debian.net/job/reproducible_builder_archlinux_5/332047/display/redirect>
Changes:
------------------------------------------
[...truncated 40.13 KB...]
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 251k 100 251k 0 0 37.8M 0 --:--:-- --:--:-- --:--:-- 40.9M
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing numactl...
installing ghc-libs...
installing haskell-call-stack...
installing haskell-hunit...
installing haskell-base-orphans...
installing haskell-ghc-bignum-orphans...
installing haskell-hashable...
installing haskell-integer-logarithms...
installing haskell-primitive...
installing haskell-scientific...
installing haskell-attoparsec...
installing haskell-dlist...
installing haskell-safe...
installing haskell-sha...
installing haskell-base64-bytestring...
installing haskell-blaze-builder...
installing haskell-fclabels...
installing haskell-syb...
installing haskell-tamarin-prover-utils...
:: Running post-transaction hooks...
(1/2) Arming ConditionNeedsUpdate...
(2/2) Registering Haskell modules...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...
Packages (3) llvm-14.0.6-3 llvm-libs-14.0.6-3 ghc-9.0.2-1
Total Download Size: 120.41 MiB
Total Installed Size: 673.53 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 27.5M 100 27.5M 0 0 211M 0 --:--:-- --:--:-- --:--:-- 212M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 60.7M 100 60.7M 0 0 247M 0 --:--:-- --:--:-- --:--:-- 249M
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0100 32.0M 100 32.0M 0 0 246M 0 --:--:-- --:--:-- --:--:-- 246M
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing llvm-libs...
installing llvm...
installing ghc...
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
==> Retrieving sources...
-> Downloading tamarin-prover-1.6.1.tar.gz...
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0
100 2208k 0 2208k 0 0 1933k 0 --:--:-- 0:00:01 --:--:-- 1933k100 4592k 0 4592k 0 0 2148k 0 --:--:-- 0:00:02 --:--:-- 2393k100 7184k 0 7184k 0 0 2288k 0 --:--:-- 0:00:03 --:--:-- 2491k100 14.8M 0 14.8M 0 0 3668k 0 --:--:-- 0:00:04 --:--:-- 4329k100 14.8M 0 14.8M 0 0 3668k 0 --:--:-- 0:00:04 --:--:-- 4329k
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha512sums...
tamarin-prover-1.6.1.tar.gz ... Passed
==> Extracting sources...
-> Extracting tamarin-prover-1.6.1.tar.gz with bsdtar
==> Starting build()...
Configuring tamarin-prover-term-1.6.1...
Preprocessing library for tamarin-prover-term-1.6.1..
Building library for tamarin-prover-term-1.6.1..
[ 1 of 27] Compiling Term.Rewriting.Definitions ( src/Term/Rewriting/Definitions.hs, dist/build/Term/Rewriting/Definitions.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 2 of 27] Compiling Term.Term.Classes ( src/Term/Term/Classes.hs, dist/build/Term/Term/Classes.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 3 of 27] Compiling Term.Term.FunctionSymbols ( src/Term/Term/FunctionSymbols.hs, dist/build/Term/Term/FunctionSymbols.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 4 of 27] Compiling Term.Term.Raw ( src/Term/Term/Raw.hs, dist/build/Term/Term/Raw.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 5 of 27] Compiling Term.Term ( src/Term/Term.hs, dist/build/Term/Term.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 6 of 27] Compiling Term.VTerm ( src/Term/VTerm.hs, dist/build/Term/VTerm.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 7 of 27] Compiling Term.Positions ( src/Term/Positions.hs, dist/build/Term/Positions.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 8 of 27] Compiling Term.LTerm ( src/Term/LTerm.hs, dist/build/Term/LTerm.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[ 9 of 27] Compiling Term.SubtermRule ( src/Term/SubtermRule.hs, dist/build/Term/SubtermRule.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[10 of 27] Compiling Term.Substitution.SubstVFresh ( src/Term/Substitution/SubstVFresh.hs, dist/build/Term/Substitution/SubstVFresh.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[11 of 27] Compiling Term.Substitution.SubstVFree ( src/Term/Substitution/SubstVFree.hs, dist/build/Term/Substitution/SubstVFree.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[12 of 27] Compiling Term.Substitution ( src/Term/Substitution.hs, dist/build/Term/Substitution.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[13 of 27] Compiling Term.Maude.Types ( src/Term/Maude/Types.hs, dist/build/Term/Maude/Types.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[14 of 27] Compiling Term.Builtin.Signature ( src/Term/Builtin/Signature.hs, dist/build/Term/Builtin/Signature.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[15 of 27] Compiling Term.Builtin.Convenience ( src/Term/Builtin/Convenience.hs, dist/build/Term/Builtin/Convenience.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[16 of 27] Compiling Term.Builtin.Rules ( src/Term/Builtin/Rules.hs, dist/build/Term/Builtin/Rules.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[17 of 27] Compiling Term.Maude.Signature ( src/Term/Maude/Signature.hs, dist/build/Term/Maude/Signature.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[18 of 27] Compiling Term.Maude.Parser ( src/Term/Maude/Parser.hs, dist/build/Term/Maude/Parser.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[19 of 27] Compiling Term.Maude.Process ( src/Term/Maude/Process.hs, dist/build/Term/Maude/Process.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[20 of 27] Compiling Term.Unification ( src/Term/Unification.hs, dist/build/Term/Unification.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[21 of 27] Compiling Term.Subsumption ( src/Term/Subsumption.hs, dist/build/Term/Subsumption.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[22 of 27] Compiling Term.Narrowing.Narrow ( src/Term/Narrowing/Narrow.hs, dist/build/Term/Narrowing/Narrow.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[23 of 27] Compiling Term.Rewriting.Norm ( src/Term/Rewriting/Norm.hs, dist/build/Term/Rewriting/Norm.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[24 of 27] Compiling Term.Narrowing.Variants.Check ( src/Term/Narrowing/Variants/Check.hs, dist/build/Term/Narrowing/Variants/Check.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[25 of 27] Compiling Term.Narrowing.Variants.Compute ( src/Term/Narrowing/Variants/Compute.hs, dist/build/Term/Narrowing/Variants/Compute.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[26 of 27] Compiling Term.Narrowing.Variants ( src/Term/Narrowing/Variants.hs, dist/build/Term/Narrowing/Variants.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
[27 of 27] Compiling Term.UnitTests ( src/Term/UnitTests.hs, dist/build/Term/UnitTests.dyn_o )
You are using an unsupported version of LLVM!
Currently only 9 to 14 is supported. System LLVM version: 14.0.6
We will try though...
Unregistering tamarin-prover-term-1.6.1...
==> Entering fakeroot environment...
==> Starting package()...
Installing library in /tmp/haskell-tamarin-prover-term-archlinuxrb-build-mJskCJ2d/haskell-tamarin-prover-term/trunk/pkg/haskell-tamarin-prover-term/usr/lib/ghc-9.0.2/site-local/tamarin-prover-term-1.6.1
==> Tidying install...
-> Removing libtool files...
-> Purging unwanted files...
-> Removing static library files...
-> Stripping unneeded symbols from binaries and libraries...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "haskell-tamarin-prover-term"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: haskell-tamarin-prover-term 1.6.1-69 (Tue Nov 21 13:46:23 2023)
+ PRESULT=0
+ '[' 0 -eq 124 ']'
+ set +e
+ schroot --end-session -c archlinux-haskell-tamarin-prover-term-archlinuxrb-build-mJskCJ2d
+ tee -a /srv/reproducible-results/archlinuxrb-build-mJskCJ2d/b2/haskell-tamarin-prover-term/build2.log
+ PRESULT=0
+ '[' 0 -ne 0 ']'
+ false
+ set +x
'/tmp/haskell-tamarin-prover-term-archlinuxrb-build-mJskCJ2d/haskell-tamarin-prover-term/trunk/haskell-tamarin-prover-term-1.6.1-69-x86_64.pkg.tar.zst' -> '/srv/reproducible-results/archlinuxrb-build-mJskCJ2d/b2/haskell-tamarin-prover-term/haskell-tamarin-prover-term-1.6.1-69-x86_64.pkg.tar.zst'
Tue Nov 21 13:46:24 UTC 2023 - build #2 for haskell-tamarin-prover-term on osuosl170-amd64 done.
Tue Nov 21 13:46:24 UTC 2023 - reproducible_build_archlinux_pkg.sh stopped running as /tmp/jenkins-script-h83DO4GZ, removing.
/srv/reproducible-results/archlinuxrb-build-mJskCJ2d:
total 8
drwxr-xr-x 3 jenkins jenkins 4096 Oct 19 07:21 b1
drwxr-xr-x 3 jenkins jenkins 4096 Oct 19 07:23 b2
/srv/reproducible-results/archlinuxrb-build-mJskCJ2d/b1:
total 4
drwxr-xr-x 2 jenkins jenkins 4096 Oct 19 07:21 haskell-tamarin-prover-term
/srv/reproducible-results/archlinuxrb-build-mJskCJ2d/b1/haskell-tamarin-prover-term:
total 1060
-rw-r--r-- 1 jenkins jenkins 20851 Oct 19 07:21 build1.log
-rw-r--r-- 1 jenkins jenkins 9 Oct 19 07:21 build1.version
-rw-r--r-- 1 jenkins jenkins 1050622 Oct 19 07:21 haskell-tamarin-prover-term-1.6.1-69-x86_64.pkg.tar.zst
/srv/reproducible-results/archlinuxrb-build-mJskCJ2d/b2:
total 4
drwxr-xr-x 2 jenkins jenkins 4096 Oct 19 07:23 haskell-tamarin-prover-term
/srv/reproducible-results/archlinuxrb-build-mJskCJ2d/b2/haskell-tamarin-prover-term:
total 1056
-rw-r--r-- 1 jenkins jenkins 20058 Oct 19 07:23 build2.log
-rw-r--r-- 1 jenkins jenkins 9 Oct 19 07:23 build2.version
-rw-r--r-- 1 jenkins jenkins 1050618 Oct 19 07:23 haskell-tamarin-prover-term-1.6.1-69-x86_64.pkg.tar.zst
Wed Oct 19 07:23:31 UTC 2022 - comparing results now.
Files /srv/reproducible-results/archlinuxrb-build-mJskCJ2d/b1/haskell-tamarin-prover-term/haskell-tamarin-prover-term-1.6.1-69-x86_64.pkg.tar.zst and /srv/reproducible-results/archlinuxrb-build-mJskCJ2d/b2/haskell-tamarin-prover-term/haskell-tamarin-prover-term-1.6.1-69-x86_64.pkg.tar.zst differ
Wed Oct 19 07:23:31 UTC 2022 - running diffoscope on the results now:
Wed Oct 19 07:23:36 UTC 2022 - Running diffoscope 224 now...
Wed Oct 19 07:24:10 UTC 2022 - diffoscope 224 found issues, please investigate haskell-tamarin-prover-term/haskell-tamarin-prover-term-1.6.1-69-x86_64.pkg.tar.zst
cp: error writing '/var/lib/jenkins/userContent/reproducible/archlinux/community/haskell-tamarin-prover-term/haskell-tamarin-prover-term-1.6.1-69-x86_64.pkg.tar.zst.html': No space left on device
Wed Oct 19 07:24:10 UTC 2022 - /srv/reproducible-results/archlinuxrb-build-mJskCJ2d deleted.
Wed Oct 19 07:24:10 UTC 2022 - reproducible_build_archlinux_pkg.sh stopped running as /tmp/jenkins-script-1Cn7Hfgd, removing.
Build step 'Execute shell' marked build as failure
More information about the Qa-jenkins-scm
mailing list