Build #7 for cryptol-2.2.0
Package | cryptol-2.2.0 |
---|
Install | BuildFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2016-12-10 14:20:20.613563 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... Downloading GraphSCC-1.0.4... Configuring ansi-terminal-0.6.2.3... Configuring base-compat-0.9.1... Downloading smtLib-1.0.8... Building base-compat-0.9.1... Building ansi-terminal-0.6.2.3... Installed ansi-terminal-0.6.2.3 Configuring call-stack-0.1.0... Configuring data-binary-ieee754-0.4.4... Installed base-compat-0.9.1 Building call-stack-0.1.0... Building data-binary-ieee754-0.4.4... Configuring heredoc-0.2.0.0... Installed call-stack-0.1.0 Configuring gitrev-1.2.0... Installed data-binary-ieee754-0.4.4 Building heredoc-0.2.0.0... Building gitrev-1.2.0... Configuring monadLib-3.7.3... Installed heredoc-0.2.0.0 Configuring ieee754-0.7.9... Installed gitrev-1.2.0 Building monadLib-3.7.3... Building ieee754-0.7.9... Configuring old-locale-1.0.0.7... Installed monadLib-3.7.3 Configuring presburger-1.3.1... Installed ieee754-0.7.9 Downloading crackNum-1.5... Building old-locale-1.0.0.7... Building presburger-1.3.1... Configuring mtl-2.2.1... Installed old-locale-1.0.0.7 Building mtl-2.2.1... Configuring random-1.1... Installed presburger-1.3.1 Building random-1.1... Configuring stm-2.4.4.1... Installed mtl-2.2.1 Building stm-2.4.4.1... Configuring primitive-0.6.2.0... Installed random-1.1 Building primitive-0.6.2.0... Configuring syb-0.6... Installed stm-2.4.4.1 Building syb-0.6... Configuring utf8-string-1.0.1.1... Installed syb-0.6 Building utf8-string-1.0.1.1... Configuring GraphSCC-1.0.4... Installed primitive-0.6.2.0 Building GraphSCC-1.0.4... Configuring text-1.2.2.1... Installed GraphSCC-1.0.4 Building text-1.2.2.1... Configuring smtLib-1.0.8... Installed utf8-string-1.0.1.1 Building smtLib-1.0.8... Installed smtLib-1.0.8 Configuring HUnit-1.5.0.0... Building HUnit-1.5.0.0... Configuring crackNum-1.5... Installed HUnit-1.5.0.0 Building crackNum-1.5... Configuring old-time-1.1.0.3... Installed crackNum-1.5 Configuring async-2.1.1... Installed text-1.2.2.1 Building async-2.1.1... Building old-time-1.1.0.3... Configuring tf-random-0.5... Installed async-2.1.1 Building tf-random-0.5... Installed old-time-1.1.0.3 Installed tf-random-0.5 Configuring QuickCheck-2.9.2... Building QuickCheck-2.9.2... Installed QuickCheck-2.9.2 Downloading sbv-5.13... Configuring sbv-5.13... Building sbv-5.13... Installed sbv-5.13 Downloading cryptol-2.2.0... 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-2667/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-2667/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.