Build #7 for logic-TPTP-0.2.0.6
| Package | logic-TPTP-0.2.0.6 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2016-12-28 14:53:32.337813 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.9.2, ansi-wl-pprint-0.6.7.3, array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1, syb-0.6, utf8-prelude-0.1.6 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring ansi-terminal-0.6.2.3...
Configuring mtl-2.2.1...
Building ansi-terminal-0.6.2.3...
Building mtl-2.2.1...
Installed ansi-terminal-0.6.2.3
Configuring random-1.1...
Building random-1.1...
Configuring primitive-0.6.2.0...
Installed mtl-2.2.1
Building primitive-0.6.2.0...
Configuring syb-0.6...
Installed random-1.1
Building syb-0.6...
Configuring utf8-string-0.3.7...
Installed syb-0.6
Building utf8-string-0.3.7...
Configuring ansi-wl-pprint-0.6.7.3...
Installed primitive-0.6.2.0
Building ansi-wl-pprint-0.6.7.3...
Installed ansi-wl-pprint-0.6.7.3
Configuring tf-random-0.5...
Installed utf8-string-0.3.7
Configuring utf8-prelude-0.1.6...
Building tf-random-0.5...
Building utf8-prelude-0.1.6...
Installed utf8-prelude-0.1.6
Installed tf-random-0.5
Configuring QuickCheck-2.9.2...
Building QuickCheck-2.9.2...
Installed QuickCheck-2.9.2
Configuring logic-TPTP-0.2.0.6...
Building logic-TPTP-0.2.0.6...
Failed to install logic-TPTP-0.2.0.6
Build log ( /home/builder/.cabal/logs/logic-TPTP-0.2.0.6.log ):
cabal: Entering directory '/tmp/cabal-tmp-3315/logic-TPTP-0.2.0.6'
Configuring logic-TPTP-0.2.0.6...
Building logic-TPTP-0.2.0.6...
Preprocessing library logic-TPTP-0.2.0.6...
Codec/TPTP/Base.hs:8:0: error:
fatal error: ../../MACROS.h: No such file or directory
#include "../../MACROS.h"
^
compilation terminated.
`gcc' failed in phase `C pre-processor'. (Exit code: 1)
cabal: Leaving directory '/tmp/cabal-tmp-3315/logic-TPTP-0.2.0.6'
cabal: Error: some packages failed to install:
logic-TPTP-0.2.0.6 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.