Build #1 for agda2train-0.0.3.0
| Package | agda2train-0.0.3.0 |
|---|
| Install | InstallFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2023-10-19 12:07:11.270781472 UTC |
|---|---|
| Compiler | ghc-9.2.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | Agda-2.6.3, aeson-2.1.2.1, async-2.2.4, base-4.16.3.0, containers-0.6.5.1, file-embed-0.0.15.0, mtl-2.2.2, pretty-1.1.3.6, Agda-2.6.3, aeson-2.1.2.1, aeson-pretty-0.8.10, async-2.2.4, base-4.16.3.0, bytestring-0.11.3.1, containers-0.6.5.1, deepseq-1.4.6.1, directory-1.3.6.2, file-embed-0.0.15.0, filepath-1.4.2.2, mtl-2.2.2, pretty-1.1.3.6, unordered-containers-0.2.19.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting OneTuple-0.4.1.1
Starting STMonadTrans-0.4.7
Starting StateVar-1.2.2
Starting cmdargs-0.10.22
Starting data-hash-0.2.0.1
Starting dlist-1.0
Starting file-embed-0.0.15.0
Starting generically-0.1.1
Starting murmur-hash-0.1.0.10
Starting integer-logarithms-1.0.3.1
Starting parallel-3.2.2.0
Starting split-0.2.4
Starting tagged-0.8.8
Starting splitmix-0.1.0.5
Starting th-compat-0.1.4
Starting utf8-string-1.0.2
Starting transformers-compat-0.7.2
Starting vector-stream-0.1.0.0
Starting blaze-builder-0.4.2.3
Starting base-orphans-0.9.1
Starting data-array-byte-0.1.0.1
Starting base-compat-0.13.1
Starting regex-base-0.94.0.2
Starting th-abstraction-0.5.0.0
Starting zlib-0.6.3.0
Building OneTuple-0.4.1.1
Building parallel-3.2.2.0
Building dlist-1.0
Building splitmix-0.1.0.5
Building STMonadTrans-0.4.7
Building StateVar-1.2.2
Building generically-0.1.1
Building tagged-0.8.8
Building file-embed-0.0.15.0
Building cmdargs-0.10.22
Building data-hash-0.2.0.1
Building th-abstraction-0.5.0.0
Building split-0.2.4
Building murmur-hash-0.1.0.10
Building integer-logarithms-1.0.3.1
Building zlib-0.6.3.0
Building transformers-compat-0.7.2
Building regex-base-0.94.0.2
Building base-compat-0.13.1
Building blaze-builder-0.4.2.3
Building utf8-string-1.0.2
Building vector-stream-0.1.0.0
Building data-array-byte-0.1.0.1
Building th-compat-0.1.4
Building base-orphans-0.9.1
Completed generically-0.1.1
Completed integer-logarithms-1.0.3.1
Completed split-0.2.4
Starting boxes-0.1.5
Completed OneTuple-0.4.1.1
Completed StateVar-1.2.2
Starting contravariant-1.5.5
Building boxes-0.1.5
Completed splitmix-0.1.0.5
Starting random-1.2.1.1
Building contravariant-1.5.5
Completed data-array-byte-0.1.0.1
Starting hashable-1.4.3.0
Starting primitive-0.8.0.0
Completed base-orphans-0.9.1
Completed data-hash-0.2.0.1
Building random-1.2.1.1
Completed file-embed-0.0.15.0
Building hashable-1.4.3.0
Building primitive-0.8.0.0
Completed th-compat-0.1.4
Starting network-uri-2.6.4.2
Completed murmur-hash-0.1.0.10
Completed STMonadTrans-0.4.7
Building network-uri-2.6.4.2
Completed dlist-1.0
Completed parallel-3.2.2.0
Completed tagged-0.8.8
Starting foldable1-classes-compat-0.1
Starting distributive-0.6.2.1
Starting assoc-1.1
Completed regex-base-0.94.0.2
Starting regex-tdfa-1.3.2.2
Building distributive-0.6.2.1
Building assoc-1.1
Building foldable1-classes-compat-0.1
Completed vector-stream-0.1.0.0
Completed blaze-builder-0.4.2.3
Starting blaze-markup-0.8.3.0
Building regex-tdfa-1.3.2.2
Completed utf8-string-1.0.2
Completed transformers-compat-0.7.2
Starting transformers-base-0.4.6
Starting equivalence-0.4.1
Building blaze-markup-0.8.3.0
Completed zlib-0.6.3.0
Completed th-abstraction-0.5.0.0
Building transformers-base-0.4.6
Building equivalence-0.4.1
Completed boxes-0.1.5
Completed contravariant-1.5.5
Completed assoc-1.1
Completed distributive-0.6.2.1
Completed base-compat-0.13.1
Starting gitrev-1.3.1
Completed transformers-base-0.4.6
Starting monad-control-1.0.3.1
Building gitrev-1.3.1
Building monad-control-1.0.3.1
Completed foldable1-classes-compat-0.1
Starting indexed-traversable-0.1.3
Starting base-compat-batteries-0.13.1
Completed hashable-1.4.3.0
Starting unordered-containers-0.2.19.1
Starting these-1.2
Starting data-fix-0.3.2
Starting text-short-0.1.5
Starting case-insensitive-1.2.1.0
Starting async-2.2.4
Starting time-compat-1.9.6.1
Building indexed-traversable-0.1.3
Building base-compat-batteries-0.13.1
Completed equivalence-0.4.1
Completed network-uri-2.6.4.2
Starting uri-encode-1.5.0.7
Building unordered-containers-0.2.19.1
Building these-1.2
Building case-insensitive-1.2.1.0
Building text-short-0.1.5
Building data-fix-0.3.2
Building async-2.2.4
Building time-compat-1.9.6.1
Building uri-encode-1.5.0.7
Completed blaze-markup-0.8.3.0
Starting blaze-html-0.9.1.2
Building blaze-html-0.9.1.2
Completed monad-control-1.0.3.1
Completed gitrev-1.3.1
Completed random-1.2.1.1
Starting uuid-types-1.0.5.1
Starting edit-distance-0.2.2.1
Starting QuickCheck-2.14.3
Building uuid-types-1.0.5.1
Building edit-distance-0.2.2.1
Building QuickCheck-2.14.3
Completed data-fix-0.3.2
Completed cmdargs-0.10.22
Completed async-2.2.4
Completed case-insensitive-1.2.1.0
Completed uri-encode-1.5.0.7
Completed primitive-0.8.0.0
Starting scientific-0.3.7.0
Starting vector-0.13.1.0
Completed indexed-traversable-0.1.3
Starting comonad-5.0.8
Building scientific-0.3.7.0
Building vector-0.13.1.0
Completed time-compat-1.9.6.1
Building comonad-5.0.8
Completed these-1.2
Starting strict-0.5
Completed text-short-0.1.5
Building strict-0.5
Completed base-compat-batteries-0.13.1
Completed edit-distance-0.2.2.1
Completed regex-tdfa-1.3.2.2
Completed uuid-types-1.0.5.1
Completed unordered-containers-0.2.19.1
Completed comonad-5.0.8
Starting bifunctors-5.6.1
Completed scientific-0.3.7.0
Starting attoparsec-0.14.4
Building bifunctors-5.6.1
Building attoparsec-0.14.4
Completed strict-0.5
Completed blaze-html-0.9.1.2
Completed QuickCheck-2.14.3
Completed bifunctors-5.6.1
Starting semigroupoids-6.0.0.1
Building semigroupoids-6.0.0.1
Completed attoparsec-0.14.4
Completed vector-0.13.1.0
Starting indexed-traversable-instances-0.1.1.2
Starting vector-hashtables-0.1.1.3
Building vector-hashtables-0.1.1.3
Building indexed-traversable-instances-0.1.1.2
Completed semigroupoids-6.0.0.1
Completed indexed-traversable-instances-0.1.1.2
Starting semialign-1.3
Starting witherable-0.4.2
Building witherable-0.4.2
Building semialign-1.3
Completed vector-hashtables-0.1.1.3
Completed semialign-1.3
Completed witherable-0.4.2
Starting aeson-2.1.2.1
Building aeson-2.1.2.1
Completed aeson-2.1.2.1
Starting attoparsec-aeson-2.1.0.0
Starting Agda-2.6.3
Building attoparsec-aeson-2.1.0.0
Completed attoparsec-aeson-2.1.0.0
Starting aeson-pretty-0.8.10
Building aeson-pretty-0.8.10
Building Agda-2.6.3
Completed aeson-pretty-0.8.10
Completed Agda-2.6.3
Downloading agda2train-0.0.3.0
Downloaded agda2train-0.0.3.0
Starting agda2train-0.0.3.0
Building agda2train-0.0.3.0
Failed to install agda2train-0.0.3.0
Build log ( /home/builder/.cabal/logs/ghc-9.2.4/agda2train-0.0.3.0-6T9IKnZLvwD3a3XofCUiNV.log ):
cabal: Entering directory '/tmp/cabal-tmp-215787/agda2train-0.0.3.0'
Configuring agda2train-0.0.3.0...
Preprocessing library 'agda2train-lib' for agda2train-0.0.3.0..
Building library 'agda2train-lib' for agda2train-0.0.3.0..
[1 of 3] Compiling AgdaInternals ( src/AgdaInternals.hs, dist/build/agda2train-lib/AgdaInternals.o, dist/build/agda2train-lib/AgdaInternals.dyn_o )
[2 of 3] Compiling Output ( src/Output.hs, dist/build/agda2train-lib/Output.o, dist/build/agda2train-lib/Output.dyn_o )
[3 of 3] Compiling ToTrain ( src/ToTrain.hs, dist/build/agda2train-lib/ToTrain.o, dist/build/agda2train-lib/ToTrain.dyn_o )
Preprocessing executable 'agda2train' for agda2train-0.0.3.0..
Building executable 'agda2train' for agda2train-0.0.3.0..
[1 of 4] Compiling AgdaInternals ( src/AgdaInternals.hs, dist/build/agda2train/agda2train-tmp/AgdaInternals.o, dist/build/agda2train/agda2train-tmp/AgdaInternals.dyn_o )
[2 of 4] Compiling Output ( src/Output.hs, dist/build/agda2train/agda2train-tmp/Output.o, dist/build/agda2train/agda2train-tmp/Output.dyn_o )
[3 of 4] Compiling ToTrain ( src/ToTrain.hs, dist/build/agda2train/agda2train-tmp/ToTrain.o, dist/build/agda2train/agda2train-tmp/ToTrain.dyn_o )
[4 of 4] Compiling Main ( src/Main.hs, dist/build/agda2train/agda2train-tmp/Main.o, dist/build/agda2train/agda2train-tmp/Main.dyn_o )
Linking dist/build/agda2train/agda2train ...
Preprocessing library 'agda2train-lib' for agda2train-0.0.3.0..
Running Haddock on library 'agda2train-lib' for agda2train-0.0.3.0..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
100% ( 1 / 1) in 'AgdaInternals'
65% ( 25 / 38) in 'Output'
Missing documentation for:
:> (src/Output.hs:46)
:~ (src/Output.hs:94)
pp (src/Output.hs:351)
ppm (src/Output.hs:354)
prender (src/Output.hs:357)
pinterleave (src/Output.hs:360)
pbindings (src/Output.hs:363)
report (src/Output.hs:366)
panic (src/Output.hs:369)
ppName (src/Output.hs:373)
unqualify (src/Output.hs:376)
\/ (src/Output.hs:379)
isNotCubical (src/Output.hs:382)
Warning: 'TCM' is ambiguous. It is defined
* in Agda.TypeChecking.Monad.Base
* in Agda.TypeChecking.Monad.Base
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined in Agda.TypeChecking.Monad.Base
64% ( 11 / 17) in 'ToTrain'
Missing documentation for:
runC (src/ToTrain.hs:44)
noop (src/ToTrain.hs:47)
silently (src/ToTrain.hs:50)
withTimeout (src/ToTrain.hs:161)
mkReduced (src/ToTrain.hs:169)
reportReduced (src/ToTrain.hs:182)
Documentation created: dist/doc/html/agda2train/index.html,
dist/doc/html/agda2train/agda2train.txt
Preprocessing executable 'agda2train' for agda2train-0.0.3.0..
Installing internal library agda2train-lib in /home/builder/builder-dir/build-cache/tmp-install/lib/x86_64-linux-ghc-9.2.4/agda2train-0.0.3.0-6T9IKnZLvwD3a3XofCUiNV
Installing executable agda2train in /home/builder/builder-dir/build-cache/tmp-install/bin
Warning: The directory /home/builder/builder-dir/build-cache/tmp-install/bin
is not in the system search path.
cabal: Leaving directory '/tmp/cabal-tmp-215787/agda2train-0.0.3.0'
Error: cabal: Some packages failed to install:
agda2train-0.0.3.0-6T9IKnZLvwD3a3XofCUiNV failed during the final install
step. The exception was:
dieVerbatim: user error (Error: cabal:
'/home/builder/.ghcup/ghc/9.2.4/bin/ghc-pkg-9.2.4' exited with
an error:
z-agda2train-z-agda2train-lib-0.0.3.0: Warning: .:30:1: Unknown field:
"library-dirs-static"
z-agda2train-z-agda2train-lib-0.0.3.0: installed package info from too old
version of Cabal (key field does not match id field)
)
Test log
No test log was submitted for this report.