Build #2 for Agda-2.5.3
Package | Agda-2.5.3 |
---|
Install | ConfigureFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2017-09-08 22:36:44.518512745 UTC |
---|---|
Compiler | ghc-8.0.2 |
OS | linux |
Arch | x86_64 |
Dependencies | EdisonCore-1.3.1.1, array-0.5.1.1, async-2.1.1.1, base-4.9.1.0, binary-0.8.3.0, blaze-html-0.9.0.1, boxes-0.1.4, bytestring-0.10.8.1, containers-0.5.7.1, data-hash-0.2.0.1, deepseq-1.4.2.0, directory-1.3.0.0, edit-distance-0.2.2.1, equivalence-0.3.2, filepath-1.4.1.1, geniplate-mirror-0.7.5, gitrev-1.3.1, hashable-1.2.6.1, hashtables-1.2.1.1, haskeline-0.7.3.0, ieee754-0.8.0, monadplus-1.4.2, mtl-2.2.1, murmur-hash-0.1.0.9, parallel-3.2.1.1, pretty-1.1.3.3, process-1.4.3.0, regex-tdfa-1.2.2, stm-2.4.4.1, strict-0.3.2, template-haskell-2.11.1.0, text-1.2.2.2, time-1.6.0.1, transformers-0.5.2.0, unordered-containers-0.2.8.0, uri-encode-1.5.0.5, zlib-0.6.1.2, base-4.9.1.0, base-4.9.1.0, directory-1.3.0.0, filepath-1.4.1.1, process-1.4.3.0 |
Flags | -enable-cluster-counting -debug cpphs |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring data-hash-0.2.0.1... Configuring base-compat-0.9.3... Building base-compat-0.9.3... Building data-hash-0.2.0.1... Installed data-hash-0.2.0.1 Configuring ieee754-0.8.0... Configuring monadplus-1.4.2... Installed base-compat-0.9.3 Building ieee754-0.8.0... Building monadplus-1.4.2... Configuring mtl-2.2.1... Installed monadplus-1.4.2 Building mtl-2.2.1... Configuring murmur-hash-0.1.0.9... Installed ieee754-0.8.0 Building murmur-hash-0.1.0.9... Configuring primitive-0.6.2.0... Installed murmur-hash-0.1.0.9 Configuring parallel-3.2.1.1... Installed mtl-2.2.1 Building primitive-0.6.2.0... Building parallel-3.2.1.1... Configuring random-1.1... Installed parallel-3.2.1.1 Building random-1.1... Configuring split-0.2.3.2... Installed random-1.1 Building split-0.2.3.2... Configuring strict-0.3.2... Installed primitive-0.6.2.0 Building strict-0.3.2... Configuring stm-2.4.4.1... Installed split-0.2.3.2 Building stm-2.4.4.1... Configuring text-1.2.2.2... Installed strict-0.3.2 Building text-1.2.2.2... Configuring utf8-string-1.0.1.1... Installed stm-2.4.4.1 Building utf8-string-1.0.1.1... Configuring transformers-compat-0.5.1.4... Installed utf8-string-1.0.1.1 Building transformers-compat-0.5.1.4... Configuring zlib-0.6.1.2... Installed transformers-compat-0.5.1.4 Building zlib-0.6.1.2... Installed zlib-0.6.1.2 Configuring STMonadTrans-0.4.3... Building STMonadTrans-0.4.3... Configuring gitrev-1.3.1... Installed text-1.2.2.2 Building gitrev-1.3.1... Configuring EdisonAPI-1.3.1... Installed STMonadTrans-0.4.3 Building EdisonAPI-1.3.1... Configuring geniplate-mirror-0.7.5... Installed gitrev-1.3.1 Building geniplate-mirror-0.7.5... Configuring regex-base-0.93.2... Installed EdisonAPI-1.3.1 Building regex-base-0.93.2... Configuring edit-distance-0.2.2.1... Installed geniplate-mirror-0.7.5 Building edit-distance-0.2.2.1... Configuring tf-random-0.5... Installed regex-base-0.93.2 Building tf-random-0.5... Configuring boxes-0.1.4... Installed edit-distance-0.2.2.1 Building boxes-0.1.4... Configuring async-2.1.1.1... Installed tf-random-0.5 Configuring vector-0.12.0.1... Installed boxes-0.1.4 Building async-2.1.1.1... Building vector-0.12.0.1... Installed async-2.1.1.1 Configuring blaze-builder-0.4.0.2... Building blaze-builder-0.4.0.2... Configuring hashable-1.2.6.1... Installed blaze-builder-0.4.0.2 Building hashable-1.2.6.1... Configuring equivalence-0.3.2... Installed hashable-1.2.6.1 Building equivalence-0.3.2... Configuring parsec-3.1.11... Installed equivalence-0.3.2 Building parsec-3.1.11... Configuring QuickCheck-2.10.0.1... Installed parsec-3.1.11 Building QuickCheck-2.10.0.1... Installed vector-0.12.0.1 Configuring blaze-markup-0.8.0.0... Building blaze-markup-0.8.0.0... Configuring network-uri-2.6.1.0... Installed blaze-markup-0.8.0.0 Building network-uri-2.6.1.0... Configuring unordered-containers-0.2.8.0... Installed network-uri-2.6.1.0 Building unordered-containers-0.2.8.0... Configuring regex-tdfa-1.2.2... Installed QuickCheck-2.10.0.1 Building regex-tdfa-1.2.2... Configuring hashtables-1.2.1.1... Installed unordered-containers-0.2.8.0 Building hashtables-1.2.1.1... Installed hashtables-1.2.1.1 Configuring uri-encode-1.5.0.5... Building uri-encode-1.5.0.5... Configuring blaze-html-0.9.0.1... Installed uri-encode-1.5.0.5 Building blaze-html-0.9.0.1... Configuring EdisonCore-1.3.1.1... Installed regex-tdfa-1.2.2 Building EdisonCore-1.3.1.1... Installed blaze-html-0.9.0.1 Installed EdisonCore-1.3.1.1 Configuring Agda-2.5.3... Failed to install Agda-2.5.3 Build log ( /home/builder/.cabal/logs/Agda-2.5.3.log ): cabal: Entering directory '/tmp/cabal-tmp-20526/Agda-2.5.3' [1 of 1] Compiling Main ( /tmp/cabal-tmp-20526/Agda-2.5.3/dist/setup/setup.hs, /tmp/cabal-tmp-20526/Agda-2.5.3/dist/setup/Main.o ) Linking /tmp/cabal-tmp-20526/Agda-2.5.3/dist/setup/setup ... Configuring Agda-2.5.3... setup: The program 'cpphs' version >=1.20.8 is required but the version found at /home/builder/.cabal/bin/cpphs is version 1.20.2 cabal: Leaving directory '/tmp/cabal-tmp-20526/Agda-2.5.3' cabal: Error: some packages failed to install: Agda-2.5.3 failed during the configure step. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.