Resolving dependencies... Configuring mtl-2.1.3.1... Building mtl-2.1.3.1... Preprocessing library mtl-2.1.3.1... [ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o ) [ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o ) [ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o ) [ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o ) [ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o ) [ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o ) [ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o ) [ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o ) [ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o ) [10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o ) [11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o ) [12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o ) [13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o ) [14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o ) [15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o ) [16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o ) [17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o ) [18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o ) [19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o ) [20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o ) [21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o ) In-place registering mtl-2.1.3.1... Running Haddock for mtl-2.1.3.1... Running hscolour for mtl-2.1.3.1... Preprocessing library mtl-2.1.3.1... Preprocessing library mtl-2.1.3.1... Haddock coverage: 75% ( 3 / 4) in 'Control.Monad.Writer.Class' 100% ( 4 / 4) in 'Control.Monad.State.Class' 100% ( 3 / 3) in 'Control.Monad.Reader.Class' 80% ( 4 / 5) in 'Control.Monad.RWS.Class' 100% ( 4 / 4) in 'Control.Monad.Identity' 100% ( 3 / 3) in 'Control.Monad.Error.Class' 50% ( 1 / 2) in 'Control.Monad.Cont.Class' 100% ( 3 / 3) in 'Control.Monad.Trans' 100% ( 14 / 14) in 'Control.Monad.Error' 100% ( 5 / 5) in 'Control.Monad.List' 100% ( 21 / 21) in 'Control.Monad.RWS.Lazy' 100% ( 2 / 2) in 'Control.Monad.RWS' 100% ( 22 / 22) in 'Control.Monad.Reader' 100% ( 21 / 21) in 'Control.Monad.RWS.Strict' 100% ( 23 / 23) in 'Control.Monad.State.Lazy' 100% ( 2 / 2) in 'Control.Monad.State' 100% ( 23 / 23) in 'Control.Monad.State.Strict' 94% ( 17 / 18) in 'Control.Monad.Writer.Lazy' 100% ( 2 / 2) in 'Control.Monad.Writer' 94% ( 17 / 18) in 'Control.Monad.Writer.Strict' 95% ( 20 / 21) in 'Control.Monad.Cont' Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt Creating package registration file: /tmp/pkgConf-mtl-2.1.324188.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1 Registering mtl-2.1.3.1... Installed mtl-2.1.3.1 Configuring primitive-0.6... Building primitive-0.6... Preprocessing library primitive-0.6... [ 1 of 10] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, dist/build/Data/Primitive/Internal/Compat.o ) [ 2 of 10] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, dist/build/Data/Primitive/MachDeps.o ) [ 3 of 10] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, dist/build/Data/Primitive/Internal/Operations.o ) [ 4 of 10] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, dist/build/Control/Monad/Primitive.o ) [ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o ) [ 6 of 10] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, dist/build/Data/Primitive/Array.o ) [ 7 of 10] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, dist/build/Data/Primitive/ByteArray.o ) [ 8 of 10] Compiling Data.Primitive.Addr ( Data/Primitive/Addr.hs, dist/build/Data/Primitive/Addr.o ) [ 9 of 10] Compiling Data.Primitive ( Data/Primitive.hs, dist/build/Data/Primitive.o ) [10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o ) In-place registering primitive-0.6... Running Haddock for primitive-0.6... Running hscolour for primitive-0.6... Preprocessing library primitive-0.6... Preprocessing library primitive-0.6... Haddock coverage: 100% ( 3 / 3) in 'Data.Primitive.Internal.Compat' 3% ( 1 / 35) in 'Data.Primitive.MachDeps' 3% ( 1 / 29) in 'Data.Primitive.Internal.Operations' 75% ( 12 / 16) in 'Control.Monad.Primitive' 100% ( 3 / 3) in 'Data.Primitive.Types' 100% ( 15 / 15) in 'Data.Primitive.Array' 93% ( 27 / 29) in 'Data.Primitive.ByteArray' 100% ( 16 / 16) in 'Data.Primitive.Addr' 100% ( 7 / 7) in 'Data.Primitive' 100% ( 9 / 9) in 'Data.Primitive.MutVar' Documentation created: dist/doc/html/primitive/index.html, dist/doc/html/primitive/primitive.txt Creating package registration file: /tmp/pkgConf-primitive-024188.6 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/primitive-0.6 Registering primitive-0.6... Installed primitive-0.6 Configuring random-1.1... Building random-1.1... Preprocessing library random-1.1... [1 of 1] Compiling System.Random ( System/Random.hs, dist/build/System/Random.o ) In-place registering random-1.1... Running Haddock for random-1.1... Running hscolour for random-1.1... Preprocessing library random-1.1... Preprocessing library random-1.1... Haddock coverage: Cannot find documentation for: $intro 100% ( 16 / 16) in 'System.Random' Documentation created: dist/doc/html/random/index.html, dist/doc/html/random/random.txt Creating package registration file: /tmp/pkgConf-random-124188.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/random-1.1 Registering random-1.1... Installed random-1.1 Configuring chalmers-lava2000-1.5... Building chalmers-lava2000-1.5... Preprocessing library chalmers-lava2000-1.5... [ 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.5... Running Haddock for chalmers-lava2000-1.5... Running hscolour for chalmers-lava2000-1.5... Preprocessing library chalmers-lava2000-1.5... Preprocessing library chalmers-lava2000-1.5... Haddock coverage: 0% ( 0 / 8) in 'Paths_chalmers_lava2000' 40% ( 2 / 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 / 4) in 'Lava.Sequent' 0% ( 0 / 44) in 'Lava.Signal' 0% ( 0 / 71) in 'Lava.Generic' 0% ( 0 / 37) 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.Property: could not find link destinations for: Lava.Property.ifThenElseWithSig Documentation created: dist/doc/html/chalmers-lava2000/index.html, dist/doc/html/chalmers-lava2000/chalmers-lava2000.txt Creating package registration file: /tmp/pkgConf-chalmers-lava2000-124188.5 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/chalmers-lava2000-1.5 Registering chalmers-lava2000-1.5... Installed chalmers-lava2000-1.5 Configuring tf-random-0.5... Building tf-random-0.5... Preprocessing library tf-random-0.5... [1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, dist/build/System/Random/TF/Gen.o ) [2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, dist/build/System/Random/TF/Init.o ) src/System/Random/TF/Init.hs:94:5: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" [3 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, dist/build/System/Random/TF/Instances.o ) [4 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, dist/build/System/Random/TF.o ) In-place registering tf-random-0.5... Running Haddock for tf-random-0.5... Running hscolour for tf-random-0.5... Preprocessing library tf-random-0.5... Preprocessing library tf-random-0.5... src/System/Random/TF/Init.hs:94:5: Warning: In the use of ‘bitSize’ (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" Haddock coverage: 100% ( 4 / 4) in 'System.Random.TF.Gen' 83% ( 5 / 6) in 'System.Random.TF.Init' 33% ( 1 / 3) in 'System.Random.TF.Instances' 100% ( 3 / 3) in 'System.Random.TF' Documentation created: dist/doc/html/tf-random/index.html, dist/doc/html/tf-random/tf-random.txt Creating package registration file: /tmp/pkgConf-tf-random-024188.5 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/tf-random-0.5 Registering tf-random-0.5... Installed tf-random-0.5 Configuring QuickCheck-2.8.1... Building QuickCheck-2.8.1... Preprocessing library QuickCheck-2.8.1... [ 1 of 15] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, dist/build/Test/QuickCheck/Random.o ) [ 2 of 15] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, dist/build/Test/QuickCheck/Exception.o ) [ 3 of 15] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, dist/build/Test/QuickCheck/Text.o ) [ 4 of 15] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, dist/build/Test/QuickCheck/State.o ) [ 5 of 15] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, dist/build/Test/QuickCheck/Gen.o ) [ 6 of 15] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, dist/build/Test/QuickCheck/Gen/Unsafe.o ) [ 7 of 15] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, dist/build/Test/QuickCheck/Arbitrary.o ) [ 8 of 15] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, dist/build/Test/QuickCheck/Modifiers.o ) [ 9 of 15] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, dist/build/Test/QuickCheck/Poly.o ) [10 of 15] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, dist/build/Test/QuickCheck/Function.o ) [11 of 15] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, dist/build/Test/QuickCheck/Property.o ) [12 of 15] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, dist/build/Test/QuickCheck/Test.o ) [13 of 15] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, dist/build/Test/QuickCheck/All.o ) [14 of 15] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, dist/build/Test/QuickCheck/Monadic.o ) [15 of 15] Compiling Test.QuickCheck ( Test/QuickCheck.hs, dist/build/Test/QuickCheck.o ) In-place registering QuickCheck-2.8.1... Running Haddock for QuickCheck-2.8.1... Running hscolour for QuickCheck-2.8.1... Preprocessing library QuickCheck-2.8.1... Preprocessing library QuickCheck-2.8.1... Haddock coverage: 10% ( 2 / 20) in 'Test.QuickCheck.Random' 33% ( 3 / 9) in 'Test.QuickCheck.Exception' 6% ( 1 / 18) in 'Test.QuickCheck.Text' 100% ( 2 / 2) in 'Test.QuickCheck.State' 89% ( 25 / 28) in 'Test.QuickCheck.Gen' 80% ( 4 / 5) in 'Test.QuickCheck.Gen.Unsafe' 100% ( 32 / 32) in 'Test.QuickCheck.Arbitrary' 93% ( 14 / 15) in 'Test.QuickCheck.Modifiers' 14% ( 1 / 7) in 'Test.QuickCheck.Poly' 38% ( 3 / 8) in 'Test.QuickCheck.Function' 62% ( 44 / 71) in 'Test.QuickCheck.Property' 50% ( 14 / 28) in 'Test.QuickCheck.Test' 100% ( 9 / 9) in 'Test.QuickCheck.All' 78% ( 14 / 18) in 'Test.QuickCheck.Monadic' 99% (127 /128) in 'Test.QuickCheck' Warning: Test.QuickCheck.Arbitrary: could not find link destinations for: Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.GSubterms Test.QuickCheck.Arbitrary.GCoArbitrary Test.QuickCheck.Arbitrary.gSubterms Test.QuickCheck.Arbitrary.gSubtermsIncl Warning: Test.QuickCheck: could not find link destinations for: Test.QuickCheck.Arbitrary.GCoArbitrary Test.QuickCheck.Arbitrary.RecursivelyShrink Test.QuickCheck.Arbitrary.GSubterms Documentation created: dist/doc/html/QuickCheck/index.html, dist/doc/html/QuickCheck/QuickCheck.txt Creating package registration file: /tmp/pkgConf-QuickCheck-2.824188.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/QuickCheck-2.8.1 Registering QuickCheck-2.8.1... Installed QuickCheck-2.8.1 Downloading Wired-0.1... 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. Lava/Internal.hs:34:18: Could not find module ‘Lava2000.Ref’ Use -v to see a list of the files searched for. Libs/Simple130nm/Lava.hs:11:18: Could not find module ‘Lava2000’ Use -v to see a list of the files searched for. Libs/Simple130nm/Lava.hs:12:18: Could not find module ‘Lava2000.Arithmetic’ Perhaps you meant Lava.Arithmetic (from chalmers-lava2000-1.5) 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