Build #1 for logic-TPTP-0.2.0.6
| Package | logic-TPTP-0.2.0.6 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | utf8-prelude-0.1.6, syb-0.4.1, mtl-2.1.2, containers-0.5.0.0, base-4.6.0.1, array-0.4.0.1, ansi-wl-pprint-0.6.6, QuickCheck-2.6 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring QuickCheck-2.6...
Building QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
[ 1 of 13] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o )
[ 2 of 13] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o )
[ 3 of 13] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o )
[ 4 of 13] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o )
[ 5 of 13] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o )
[ 6 of 13] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o )
[ 7 of 13] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o )
[ 8 of 13] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o )
[ 9 of 13] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o )
[10 of 13] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o )
[11 of 13] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o )
[12 of 13] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o )
[13 of 13] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o )
In-place registering QuickCheck-2.6...
Running Haddock for QuickCheck-2.6...
Running hscolour for QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
Preprocessing library QuickCheck-2.6...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: random-1.0.1.1
Haddock coverage:
12% ( 1 / 8) in 'Test.QuickCheck.Exception'
0% ( 0 / 18) in 'Test.QuickCheck.Text'
50% ( 1 / 2) in 'Test.QuickCheck.State'
95% ( 20 / 21) in 'Test.QuickCheck.Gen'
92% ( 23 / 25) in 'Test.QuickCheck.Arbitrary'
14% ( 1 / 7) in 'Test.QuickCheck.Poly'
14% ( 1 / 7) in 'Test.QuickCheck.Function'
92% ( 12 / 13) in 'Test.QuickCheck.Modifiers'
59% ( 34 / 58) in 'Test.QuickCheck.Property'
48% ( 13 / 27) in 'Test.QuickCheck.Test'
100% ( 9 / 9) in 'Test.QuickCheck.All'
7% ( 1 / 15) in 'Test.QuickCheck.Monadic'
93% ( 95 /102) in 'Test.QuickCheck'
Warning: Test.QuickCheck.Text: could not find link destinations for:
Test.QuickCheck.Text.Output
Warning: Test.QuickCheck.State: could not find link destinations for:
System.Random.StdGen
Warning: Test.QuickCheck.Gen: could not find link destinations for:
System.Random.StdGen System.Random.Random
Warning: Test.QuickCheck.Arbitrary: could not find link destinations for:
System.Random.Random
Warning: Test.QuickCheck.Property: could not find link destinations for:
Test.QuickCheck.Exception.AnException
Warning: Test.QuickCheck.Test: could not find link destinations for:
System.Random.StdGen
Warning: Test.QuickCheck: could not find link destinations for:
System.Random.StdGen System.Random.Random
Documentation created: dist/doc/html/QuickCheck/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/QuickCheck-2.6
Registering QuickCheck-2.6...
Installed QuickCheck-2.6
Configuring ansi-terminal-0.6...
Building ansi-terminal-0.6...
Preprocessing library ansi-terminal-0.6...
[1 of 3] Compiling System.Console.ANSI.Common ( System/Console/ANSI/Common.hs, dist/build/System/Console/ANSI/Common.o )
[2 of 3] Compiling System.Console.ANSI.Unix ( System/Console/ANSI/Unix.hs, dist/build/System/Console/ANSI/Unix.o )
[3 of 3] Compiling System.Console.ANSI ( System/Console/ANSI.hs, dist/build/System/Console/ANSI.o )
In-place registering ansi-terminal-0.6...
Running Haddock for ansi-terminal-0.6...
Running hscolour for ansi-terminal-0.6...
Preprocessing library ansi-terminal-0.6...
Preprocessing library ansi-terminal-0.6...
Haddock coverage:
88% ( 7 / 8) in 'System.Console.ANSI.Common'
36% ( 28 / 77) in 'System.Console.ANSI.Unix'
38% ( 29 / 77) in 'System.Console.ANSI'
Documentation created: dist/doc/html/ansi-terminal/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ansi-terminal-0.6
Registering ansi-terminal-0.6...
Installed ansi-terminal-0.6
Configuring syb-0.4.1...
Building syb-0.4.1...
Preprocessing library syb-0.4.1...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.4.1...
Running Haddock for syb-0.4.1...
Running hscolour for syb-0.4.1...
Preprocessing library syb-0.4.1...
Preprocessing library syb-0.4.1...
Haddock coverage:
100% ( 2 / 2) in 'Data.Generics.Basics'
100% ( 2 / 2) in 'Generics.SYB.Basics'
100% ( 1 / 1) in 'Data.Generics.Instances'
100% ( 1 / 1) in 'Generics.SYB.Instances'
96% ( 43 / 45) in 'Data.Generics.Aliases'
100% ( 19 / 19) in 'Data.Generics.Schemes'
100% ( 2 / 2) in 'Generics.SYB.Schemes'
100% ( 6 / 6) in 'Data.Generics.Text'
100% ( 2 / 2) in 'Generics.SYB.Text'
100% ( 16 / 16) in 'Data.Generics.Twins'
100% ( 2 / 2) in 'Generics.SYB.Twins'
100% ( 3 / 3) in 'Data.Generics.Builders'
100% ( 2 / 2) in 'Generics.SYB.Builders'
100% ( 2 / 2) in 'Generics.SYB.Aliases'
100% ( 8 / 8) in 'Data.Generics'
100% ( 2 / 2) in 'Generics.SYB'
Documentation created: dist/doc/html/syb/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/syb-0.4.1
Registering syb-0.4.1...
Installed syb-0.4.1
Configuring utf8-string-0.3.7...
Building utf8-string-0.3.7...
Preprocessing library utf8-string-0.3.7...
[1 of 7] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o )
[2 of 7] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o )
[3 of 7] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o )
[4 of 7] Compiling System.IO.UTF8 ( System/IO/UTF8.hs, dist/build/System/IO/UTF8.o )
[5 of 7] Compiling System.Environment.UTF8 ( System/Environment/UTF8.hs, dist/build/System/Environment/UTF8.o )
[6 of 7] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o )
[7 of 7] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o )
In-place registering utf8-string-0.3.7...
Running Haddock for utf8-string-0.3.7...
Running hscolour for utf8-string-0.3.7...
Preprocessing library utf8-string-0.3.7...
Preprocessing library utf8-string-0.3.7...
Haddock coverage:
100% ( 8 / 8) in 'Codec.Binary.UTF8.String'
94% ( 16 / 17) in 'Codec.Binary.UTF8.Generic'
89% ( 24 / 27) in 'Data.String.UTF8'
82% ( 14 / 17) in 'System.IO.UTF8'
14% ( 1 / 7) in 'System.Environment.UTF8'
100% ( 17 / 17) in 'Data.ByteString.UTF8'
100% ( 17 / 17) in 'Data.ByteString.Lazy.UTF8'
Documentation created: dist/doc/html/utf8-string/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/utf8-string-0.3.7
Registering utf8-string-0.3.7...
Installed utf8-string-0.3.7
Configuring ansi-wl-pprint-0.6.6...
Building ansi-wl-pprint-0.6.6...
Preprocessing library ansi-wl-pprint-0.6.6...
[1 of 1] Compiling Text.PrettyPrint.ANSI.Leijen ( Text/PrettyPrint/ANSI/Leijen.hs, dist/build/Text/PrettyPrint/ANSI/Leijen.o )
In-place registering ansi-wl-pprint-0.6.6...
Running Haddock for ansi-wl-pprint-0.6.6...
Running hscolour for ansi-wl-pprint-0.6.6...
Preprocessing library ansi-wl-pprint-0.6.6...
Preprocessing library ansi-wl-pprint-0.6.6...
Haddock coverage:
96% (126 /131) in 'Text.PrettyPrint.ANSI.Leijen'
Documentation created: dist/doc/html/ansi-wl-pprint/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/ansi-wl-pprint-0.6.6
Registering ansi-wl-pprint-0.6.6...
Installed ansi-wl-pprint-0.6.6
Configuring utf8-prelude-0.1.6...
Building utf8-prelude-0.1.6...
Preprocessing library utf8-prelude-0.1.6...
[1 of 2] Compiling System.UTF8IO ( System/UTF8IO.hs, dist/build/System/UTF8IO.o )
System/UTF8IO.hs:113:25: Warning:
A do-notation statement discarded a result of type Char.
Suppress this warning by saying "_ <- System.IO.hGetChar h",
or by using the flag -fno-warn-unused-do-bind
[2 of 2] Compiling UTF8Prelude ( UTF8Prelude.hs, dist/build/UTF8Prelude.o )
In-place registering utf8-prelude-0.1.6...
Preprocessing executable 'utf8-test' for utf8-prelude-0.1.6...
[1 of 4] Compiling System.UTF8IO ( System/UTF8IO.hs, dist/build/utf8-test/utf8-test-tmp/System/UTF8IO.o )
System/UTF8IO.hs:113:25: Warning:
A do-notation statement discarded a result of type Char.
Suppress this warning by saying "_ <- System.IO.hGetChar h",
or by using the flag -fno-warn-unused-do-bind
[2 of 4] Compiling UTF8Prelude ( UTF8Prelude.hs, dist/build/utf8-test/utf8-test-tmp/UTF8Prelude.o )
[3 of 4] Compiling Paths_utf8_prelude ( dist/build/autogen/Paths_utf8_prelude.hs, dist/build/utf8-test/utf8-test-tmp/Paths_utf8_prelude.o )
[4 of 4] Compiling Main ( Test.hs, dist/build/utf8-test/utf8-test-tmp/Main.o )
Test.hs:65:1: Warning: Defined but not used: `make_readFile_test'
Linking dist/build/utf8-test/utf8-test ...
Running Haddock for utf8-prelude-0.1.6...
Running hscolour for utf8-prelude-0.1.6...
Preprocessing library utf8-prelude-0.1.6...
Preprocessing executable 'utf8-test' for utf8-prelude-0.1.6...
Preprocessing library utf8-prelude-0.1.6...
Haddock coverage:
100% ( 10 / 10) in 'System.UTF8IO'
100% ( 4 / 4) in 'UTF8Prelude'
Documentation created: dist/doc/html/utf8-prelude/index.html
Preprocessing executable 'utf8-test' for utf8-prelude-0.1.6...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/utf8-prelude-0.1.6
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering utf8-prelude-0.1.6...
Installed utf8-prelude-0.1.6
Downloading 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:
fatal error: ../../MACROS.h: No such file or directory
compilation terminated.
Failed to install 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.