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.