Build #1 for Agda-2.5.4.1
| Package | Agda-2.5.4.1 |
|---|
| Install | ConfigureFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2018-07-19 14:20:14.582678526 UTC |
|---|---|
| Compiler | ghc-8.4.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | EdisonCore-1.3.2.1, array-0.5.2.0, async-2.2.1, base-4.11.1.0, binary-0.8.5.1, blaze-html-0.9.1.1, boxes-0.1.5, bytestring-0.10.8.2, containers-0.5.11.0, data-hash-0.2.0.1, deepseq-1.4.3.0, directory-1.3.1.5, edit-distance-0.2.2.1, equivalence-0.3.2, filepath-1.4.2, geniplate-mirror-0.7.6, gitrev-1.3.1, hashable-1.2.7.0, hashtables-1.2.3.1, haskeline-0.7.4.2, ieee754-0.8.0, mtl-2.2.2, murmur-hash-0.1.0.9, pretty-1.1.3.6, process-1.6.3.0, regex-tdfa-1.2.3.1, stm-2.4.5.0, strict-0.3.2, template-haskell-2.13.0.0, text-1.2.3.0, time-1.8.0.2, transformers-0.5.5.0, unordered-containers-0.2.9.0, uri-encode-1.5.0.5, zlib-0.6.2, base-4.11.1.0, base-4.11.1.0, directory-1.3.1.5, filepath-1.4.2, process-1.6.3.0 |
| Flags | cpphs -debug -enable-cluster-counting |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring STMonadTrans-0.4.3... Configuring EdisonAPI-1.3.1... Building EdisonAPI-1.3.1... Building STMonadTrans-0.4.3... Installed STMonadTrans-0.4.3 Configuring base-compat-0.10.4... Building base-compat-0.10.4... Installed EdisonAPI-1.3.1 Configuring blaze-builder-0.4.1.0... Building blaze-builder-0.4.1.0... Installed blaze-builder-0.4.1.0 Configuring data-hash-0.2.0.1... Building data-hash-0.2.0.1... Installed base-compat-0.10.4 Configuring geniplate-mirror-0.7.6... Installed data-hash-0.2.0.1 Configuring hashable-1.2.7.0... Building geniplate-mirror-0.7.6... Building hashable-1.2.7.0... Installed hashable-1.2.7.0 Configuring ieee754-0.8.0... Building ieee754-0.8.0... Installed geniplate-mirror-0.7.6 Configuring murmur-hash-0.1.0.9... Building murmur-hash-0.1.0.9... Installed murmur-hash-0.1.0.9 Configuring network-uri-2.6.1.0... Building network-uri-2.6.1.0... Installed ieee754-0.8.0 Configuring primitive-0.6.4.0... Building primitive-0.6.4.0... Installed network-uri-2.6.1.0 Configuring random-1.1... Building random-1.1... Installed random-1.1 Configuring regex-base-0.93.2... Building regex-base-0.93.2... Installed regex-base-0.93.2 Configuring split-0.2.3.3... Building split-0.2.3.3... Installed split-0.2.3.3 Configuring strict-0.3.2... Installed primitive-0.6.4.0 Configuring transformers-compat-0.6.2... Building strict-0.3.2... Building transformers-compat-0.6.2... Installed strict-0.3.2 Configuring unix-compat-0.5.0.1... Building unix-compat-0.5.0.1... Installed transformers-compat-0.6.2 Configuring utf8-string-1.0.1.1... Building utf8-string-1.0.1.1... Installed unix-compat-0.5.0.1 Configuring zlib-0.6.2... Building zlib-0.6.2... Installed utf8-string-1.0.1.1 Configuring blaze-markup-0.8.2.1... Building blaze-markup-0.8.2.1... Installed zlib-0.6.2 Configuring gitrev-1.3.1... Building gitrev-1.3.1... Installed blaze-markup-0.8.2.1 Configuring unordered-containers-0.2.9.0... Building unordered-containers-0.2.9.0... Installed gitrev-1.3.1 Configuring async-2.2.1... Building async-2.2.1... Installed async-2.2.1 Configuring edit-distance-0.2.2.1... Building edit-distance-0.2.2.1... Installed edit-distance-0.2.2.1 Configuring regex-tdfa-1.2.3.1... Building regex-tdfa-1.2.3.1... Installed unordered-containers-0.2.9.0 Configuring boxes-0.1.5... Building boxes-0.1.5... Installed boxes-0.1.5 Configuring vector-0.12.0.1... Building vector-0.12.0.1... Installed regex-tdfa-1.2.3.1 Configuring tf-random-0.5... Building tf-random-0.5... Installed tf-random-0.5 Configuring equivalence-0.3.2... Building equivalence-0.3.2... Installed equivalence-0.3.2 Configuring filemanip-0.3.6.3... Building filemanip-0.3.6.3... Installed filemanip-0.3.6.3 Configuring uri-encode-1.5.0.5... Building uri-encode-1.5.0.5... Installed uri-encode-1.5.0.5 Configuring blaze-html-0.9.1.1... Building blaze-html-0.9.1.1... Installed vector-0.12.0.1 Configuring QuickCheck-2.11.3... Building QuickCheck-2.11.3... Installed blaze-html-0.9.1.1 Configuring hashtables-1.2.3.1... Building hashtables-1.2.3.1... Installed QuickCheck-2.11.3 Configuring EdisonCore-1.3.2.1... Building EdisonCore-1.3.2.1... Installed hashtables-1.2.3.1 Installed EdisonCore-1.3.2.1 Downloading Agda-2.5.4.1... Configuring Agda-2.5.4.1... Failed to install Agda-2.5.4.1 Build log ( /home/builder/.cabal/logs/ghc-8.4.3/Agda-2.5.4.1-8za3iTrL6F58UgENO09Tqf.log ): cabal: Entering directory '/tmp/cabal-tmp-26891/Agda-2.5.4.1' [1 of 1] Compiling Main ( /tmp/cabal-tmp-26891/Agda-2.5.4.1/dist/setup/setup.hs, /tmp/cabal-tmp-26891/Agda-2.5.4.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-26891/Agda-2.5.4.1/dist/setup/setup ... Configuring Agda-2.5.4.1... 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-26891/Agda-2.5.4.1' cabal: Error: some packages failed to install: Agda-2.5.4.1-8za3iTrL6F58UgENO09Tqf failed during the configure step. The exception was: ExitFailure 1
Test log
No test log was submitted for this report.