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 utf8-string-0.3.7...
Installed random-1.1
Building utf8-string-0.3.7...
Configuring syb-0.6...
Installed utf8-string-0.3.7
Downloading utf8-prelude-0.1.6...
Building syb-0.6...
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...
Configuring utf8-prelude-0.1.6...
Installed syb-0.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
Downloading logic-TPTP-0.2.0.6...
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-29278/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-29278/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