Build #8 for cryptol-2.2.0
| Package | cryptol-2.2.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-10 15:34:05.205701 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | GraphSCC-1.0.4, QuickCheck-2.9.2, array-0.5.1.1, async-2.1.1, base-4.9.0.0, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.2.6.2, filepath-1.4.1.0, gitrev-1.2.0, heredoc-0.2.0.0, monadLib-3.7.3, old-time-1.1.0.3, presburger-1.3.1, pretty-1.1.3.3, process-1.4.2.0, random-1.1, sbv-5.13, smtLib-1.0.8, syb-0.6, template-haskell-2.11.0.0, text-1.2.2.1, tf-random-0.5, transformers-0.5.2.0, utf8-string-1.0.1.1, ansi-terminal-0.6.2.3, base-4.9.0.0, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.2.6.2, filepath-1.4.1.0, haskeline-0.7.2.3, monadLib-3.7.3, process-1.4.2.0, random-1.1, sbv-5.13, tf-random-0.5, transformers-0.5.2.0 |
| Flags | -static self-contained relocatable |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring GraphSCC-1.0.4...
Configuring ansi-terminal-0.6.2.3...
Building GraphSCC-1.0.4...
Building ansi-terminal-0.6.2.3...
Installed GraphSCC-1.0.4
Configuring base-compat-0.9.1...
Building base-compat-0.9.1...
Configuring call-stack-0.1.0...
Installed ansi-terminal-0.6.2.3
Building call-stack-0.1.0...
Configuring gitrev-1.2.0...
Installed call-stack-0.1.0
Configuring data-binary-ieee754-0.4.4...
Installed base-compat-0.9.1
Building gitrev-1.2.0...
Building data-binary-ieee754-0.4.4...
Configuring ieee754-0.7.9...
Installed gitrev-1.2.0
Configuring monadLib-3.7.3...
Installed data-binary-ieee754-0.4.4
Building ieee754-0.7.9...
Building monadLib-3.7.3...
Configuring heredoc-0.2.0.0...
Installed ieee754-0.7.9
Building heredoc-0.2.0.0...
Configuring old-locale-1.0.0.7...
Installed monadLib-3.7.3
Building old-locale-1.0.0.7...
Configuring mtl-2.2.1...
Installed heredoc-0.2.0.0
Configuring presburger-1.3.1...
Installed old-locale-1.0.0.7
Building mtl-2.2.1...
Building presburger-1.3.1...
Configuring random-1.1...
Installed mtl-2.2.1
Configuring primitive-0.6.2.0...
Installed presburger-1.3.1
Building random-1.1...
Building primitive-0.6.2.0...
Configuring smtLib-1.0.8...
Installed random-1.1
Building smtLib-1.0.8...
Configuring stm-2.4.4.1...
Installed primitive-0.6.2.0
Building stm-2.4.4.1...
Configuring syb-0.6...
Installed stm-2.4.4.1
Configuring text-1.2.2.1...
Installed smtLib-1.0.8
Building syb-0.6...
Building text-1.2.2.1...
Configuring utf8-string-1.0.1.1...
Installed syb-0.6
Building utf8-string-1.0.1.1...
Installed utf8-string-1.0.1.1
Configuring HUnit-1.5.0.0...
Building HUnit-1.5.0.0...
Configuring old-time-1.1.0.3...
Installed HUnit-1.5.0.0
Building old-time-1.1.0.3...
Configuring crackNum-1.5...
Installed text-1.2.2.1
Building crackNum-1.5...
Configuring tf-random-0.5...
Installed old-time-1.1.0.3
Building tf-random-0.5...
Configuring async-2.1.1...
Installed tf-random-0.5
Installed crackNum-1.5
Configuring QuickCheck-2.9.2...
Building async-2.1.1...
Building QuickCheck-2.9.2...
Installed async-2.1.1
Installed QuickCheck-2.9.2
Configuring sbv-5.13...
Building sbv-5.13...
Installed sbv-5.13
Configuring cryptol-2.2.0...
Building cryptol-2.2.0...
Failed to install cryptol-2.2.0
Build log ( /home/builder/.cabal/logs/cryptol-2.2.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-15838/cryptol-2.2.0'
Configuring cryptol-2.2.0...
Warning: 'ghc-options: -prof' is not necessary and will lead to problems when
used on a library. Use the configure flag --enable-library-profiling and/or
--enable-profiling.
Building cryptol-2.2.0...
Preprocessing library cryptol-2.2.0...
[ 1 of 72] Compiling Paths_cryptol ( dist/build/autogen/Paths_cryptol.hs, dist/build/Paths_cryptol.o )
[ 2 of 72] Compiling GitRev ( src/GitRev.hs, dist/build/GitRev.o )
[ 3 of 72] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist/build/Cryptol/Version.o )
[ 4 of 72] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist/build/Cryptol/Utils/Panic.o )
[ 5 of 72] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist/build/Cryptol/Utils/PP.o )
[ 6 of 72] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist/build/Cryptol/Utils/Debug.o )
[ 7 of 72] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist/build/Cryptol/TypeCheck/Solver/InfNat.o )
[ 8 of 72] Compiling Cryptol.TypeCheck.Solver.Interval ( src/Cryptol/TypeCheck/Solver/Interval.hs, dist/build/Cryptol/TypeCheck/Solver/Interval.o )
[ 9 of 72] Compiling Cryptol.TypeCheck.Solver.CrySAT ( src/Cryptol/TypeCheck/Solver/CrySAT.hs, dist/build/Cryptol/TypeCheck/Solver/CrySAT.o )
[10 of 72] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist/build/Cryptol/TypeCheck/PP.o )
[11 of 72] Compiling Cryptol.Symbolic.BitVector ( src/Cryptol/Symbolic/BitVector.hs, dist/build/Cryptol/Symbolic/BitVector.o )
src/Cryptol/Symbolic/BitVector.hs:57:10: error:
Not in scope: type constructor or class ‘SignCast’
cabal: Leaving directory '/tmp/cabal-tmp-15838/cryptol-2.2.0'
cabal: Error: some packages failed to install:
cryptol-2.2.0 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.