Build #2 for Wired-0.1
| Package | Wired-0.1 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | mtl-2.1.2, containers-0.5.0.0, chalmers-lava2000-1.3, base-4.6.0.1, 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 chalmers-lava2000-1.3...
Building chalmers-lava2000-1.3...
Preprocessing library chalmers-lava2000-1.3...
[ 1 of 40] Compiling Paths_chalmers_lava2000 ( dist/build/autogen/Paths_chalmers_lava2000.hs, dist/build/Paths_chalmers_lava2000.o )
[ 2 of 40] Compiling Lava.LavaRandom ( Lava/LavaRandom.hs, dist/build/Lava/LavaRandom.o )
[ 3 of 40] Compiling Lava.MyST ( Lava/MyST.hs, dist/build/Lava/MyST.o )
[ 4 of 40] Compiling Lava.Ref ( Lava/Ref.hs, dist/build/Lava/Ref.o )
[ 5 of 40] Compiling Lava.SignalTry ( Lava/SignalTry.hs, dist/build/Lava/SignalTry.o )
[ 6 of 40] Compiling Lava.IOBuffering ( Lava/IOBuffering.hs, dist/build/Lava/IOBuffering.o )
[ 7 of 40] Compiling Lava.LavaDir ( Lava/LavaDir.hs, dist/build/Lava/LavaDir.o )
[ 8 of 40] Compiling Lava.Error ( Lava/Error.hs, dist/build/Lava/Error.o )
[ 9 of 40] Compiling Lava.Sequent ( Lava/Sequent.hs, dist/build/Lava/Sequent.o )
[10 of 40] Compiling Lava.Signal ( Lava/Signal.hs, dist/build/Lava/Signal.o )
[11 of 40] Compiling Lava.Generic ( Lava/Generic.hs, dist/build/Lava/Generic.o )
[12 of 40] Compiling Lava.Operators ( Lava/Operators.hs, dist/build/Lava/Operators.o )
[13 of 40] Compiling Lava.ConstructiveAnalysis ( Lava/ConstructiveAnalysis.hs, dist/build/Lava/ConstructiveAnalysis.o )
[14 of 40] Compiling Lava.Property ( Lava/Property.hs, dist/build/Lava/Property.o )
[15 of 40] Compiling Lava.Netlist ( Lava/Netlist.hs, dist/build/Lava/Netlist.o )
[16 of 40] Compiling Lava.Combinational ( Lava/Combinational.hs, dist/build/Lava/Combinational.o )
[17 of 40] Compiling Lava.Sequential ( Lava/Sequential.hs, dist/build/Lava/Sequential.o )
[18 of 40] Compiling Lava.Test ( Lava/Test.hs, dist/build/Lava/Test.o )
[19 of 40] Compiling Lava.SequentialConstructive ( Lava/SequentialConstructive.hs, dist/build/Lava/SequentialConstructive.o )
[20 of 40] Compiling Lava.Verification ( Lava/Verification.hs, dist/build/Lava/Verification.o )
[21 of 40] Compiling Lava.Vis ( Lava/Vis.hs, dist/build/Lava/Vis.o )
[22 of 40] Compiling Lava.Fixit ( Lava/Fixit.hs, dist/build/Lava/Fixit.o )
[23 of 40] Compiling Lava.Smv ( Lava/Smv.hs, dist/build/Lava/Smv.o )
[24 of 40] Compiling Lava.Satzoo ( Lava/Satzoo.hs, dist/build/Lava/Satzoo.o )
[25 of 40] Compiling Lava.Retime ( Lava/Retime.hs, dist/build/Lava/Retime.o )
[26 of 40] Compiling Lava.Vhdl ( Lava/Vhdl.hs, dist/build/Lava/Vhdl.o )
[27 of 40] Compiling Lava.Captain ( Lava/Captain.hs, dist/build/Lava/Captain.o )
[28 of 40] Compiling Lava.Eprover ( Lava/Eprover.hs, dist/build/Lava/Eprover.o )
[29 of 40] Compiling Lava.HeerHugo ( Lava/HeerHugo.hs, dist/build/Lava/HeerHugo.o )
[30 of 40] Compiling Lava.Isc ( Lava/Isc.hs, dist/build/Lava/Isc.o )
[31 of 40] Compiling Lava.Limmat ( Lava/Limmat.hs, dist/build/Lava/Limmat.o )
[32 of 40] Compiling Lava.Modoc ( Lava/Modoc.hs, dist/build/Lava/Modoc.o )
[33 of 40] Compiling Lava.Satnik ( Lava/Satnik.hs, dist/build/Lava/Satnik.o )
[34 of 40] Compiling Lava.Stable ( Lava/Stable.hs, dist/build/Lava/Stable.o )
[35 of 40] Compiling Lava.Table ( Lava/Table.hs, dist/build/Lava/Table.o )
[36 of 40] Compiling Lava.Zchaff ( Lava/Zchaff.hs, dist/build/Lava/Zchaff.o )
[37 of 40] Compiling Lava ( Lava.hs, dist/build/Lava.o )
[38 of 40] Compiling Lava.Patterns ( Lava/Patterns.hs, dist/build/Lava/Patterns.o )
[39 of 40] Compiling Lava.Arithmetic ( Lava/Arithmetic.hs, dist/build/Lava/Arithmetic.o )
[40 of 40] Compiling Lava.SequentialCircuits ( Lava/SequentialCircuits.hs, dist/build/Lava/SequentialCircuits.o )
In-place registering chalmers-lava2000-1.3...
Running Haddock for chalmers-lava2000-1.3...
Running hscolour for chalmers-lava2000-1.3...
Preprocessing library chalmers-lava2000-1.3...
Preprocessing library chalmers-lava2000-1.3...
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:
0% ( 0 / 8) in 'Paths_chalmers_lava2000'
Warning: Couldn't find .haddock for export System.Random.next
Warning: Couldn't find .haddock for export System.Random.split
0% ( 0 / 5) in 'Lava.LavaRandom'
0% ( 0 / 11) in 'Lava.MyST'
0% ( 0 / 15) in 'Lava.Ref'
0% ( 0 / 4) in 'Lava.SignalTry'
0% ( 0 / 2) in 'Lava.IOBuffering'
0% ( 0 / 2) in 'Lava.LavaDir'
0% ( 0 / 3) in 'Lava.Error'
0% ( 0 / 3) in 'Lava.Sequent'
0% ( 0 / 38) in 'Lava.Signal'
0% ( 0 / 29) in 'Lava.Generic'
0% ( 0 / 32) in 'Lava.Operators'
0% ( 0 / 2) in 'Lava.ConstructiveAnalysis'
0% ( 0 / 18) in 'Lava.Property'
0% ( 0 / 4) in 'Lava.Netlist'
0% ( 0 / 2) in 'Lava.Combinational'
0% ( 0 / 2) in 'Lava.Sequential'
0% ( 0 / 2) in 'Lava.Test'
0% ( 0 / 2) in 'Lava.SequentialConstructive'
0% ( 0 / 7) in 'Lava.Verification'
0% ( 0 / 6) in 'Lava.Vis'
0% ( 0 / 2) in 'Lava.Fixit'
0% ( 0 / 2) in 'Lava.Smv'
0% ( 0 / 2) in 'Lava.Satzoo'
0% ( 0 / 2) in 'Lava.Retime'
0% ( 0 / 4) in 'Lava.Vhdl'
0% ( 0 / 2) in 'Lava.Captain'
0% ( 0 / 2) in 'Lava.Eprover'
0% ( 0 / 2) in 'Lava.HeerHugo'
0% ( 0 / 4) in 'Lava.Isc'
0% ( 0 / 2) in 'Lava.Limmat'
0% ( 0 / 2) in 'Lava.Modoc'
0% ( 0 / 2) in 'Lava.Satnik'
0% ( 0 / 2) in 'Lava.Stable'
0% ( 0 / 3) in 'Lava.Table'
0% ( 0 / 2) in 'Lava.Zchaff'
94% ( 16 / 17) in 'Lava'
0% ( 0 / 31) in 'Lava.Patterns'
0% ( 0 / 11) in 'Lava.Arithmetic'
0% ( 0 / 12) in 'Lava.SequentialCircuits'
Warning: Lava.LavaRandom: could not find link destinations for:
System.Random.StdGen System.Random.RandomGen
Documentation created: dist/doc/html/chalmers-lava2000/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/chalmers-lava2000-1.3
Registering chalmers-lava2000-1.3...
Installed chalmers-lava2000-1.3
Configuring Wired-0.1...
Building Wired-0.1...
Preprocessing library Wired-0.1...
Analysis/STA.hs:18:8:
Could not find module `Analysis.STA.Library'
Use -v to see a list of the files searched for.
Failed to install Wired-0.1
cabal: Error: some packages failed to install:
Wired-0.1 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.