Resolving dependencies... Configuring smtLib-1.0.7... Building smtLib-1.0.7... Preprocessing library smtLib-1.0.7... [ 1 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist/build/SMTLib2/AST.o ) [ 2 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist/build/SMTLib2/PP.o ) [ 3 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist/build/SMTLib2/Core.o ) [ 4 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist/build/SMTLib2/BitVector.o ) [ 5 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist/build/SMTLib2/Array.o ) [ 6 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist/build/SMTLib2/Int.o ) [ 7 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist/build/SMTLib2.o ) [ 8 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist/build/SMTLib1/AST.o ) [ 9 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist/build/SMTLib1/PP.o ) [10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist/build/SMTLib2/Compat1.o ) [11 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist/build/SMTLib1.o ) [12 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist/build/SMTLib1/QF_BV.o ) [13 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist/build/SMTLib1/QF_AUFBV.o ) In-place registering smtLib-1.0.7... Running Haddock for smtLib-1.0.7... Running hscolour for smtLib-1.0.7... Preprocessing library smtLib-1.0.7... Preprocessing library smtLib-1.0.7... Haddock coverage: 0% ( 0 / 16) in 'SMTLib2.AST' 0% ( 0 / 3) in 'SMTLib2.PP' 0% ( 0 / 12) in 'SMTLib2.Core' 0% ( 0 / 38) in 'SMTLib2.BitVector' 0% ( 0 / 4) in 'SMTLib2.Array' 0% ( 0 / 14) in 'SMTLib2.Int' 0% ( 0 / 17) in 'SMTLib2' 8% ( 2 / 26) in 'SMTLib1.AST' 0% ( 0 / 2) in 'SMTLib1.PP' 0% ( 0 / 16) in 'SMTLib2.Compat1' 7% ( 2 / 27) in 'SMTLib1' Warning: smtLib-1.0.7:SMTLib1.QF_BV: Could not find documentation for exported module: X 8% ( 3 / 40) in 'SMTLib1.QF_BV' Warning: smtLib-1.0.7:SMTLib1.QF_AUFBV: Could not find documentation for exported module: X 75% ( 3 / 4) in 'SMTLib1.QF_AUFBV' Documentation created: dist/doc/html/smtLib/index.html, dist/doc/html/smtLib/smtLib.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/smtLib-1.0.7 Registering smtLib-1.0.7... Installed smtLib-1.0.7 Downloading Hsmtlib-0.2.0.6... Configuring Hsmtlib-0.2.0.6... Building Hsmtlib-0.2.0.6... Preprocessing library Hsmtlib-0.2.0.6... [ 1 of 17] Compiling Hsmtlib.Solvers.Cmd.Parser.Syntax ( Hsmtlib/Solvers/Cmd/Parser/Syntax.hs, dist/build/Hsmtlib/Solvers/Cmd/Parser/Syntax.o ) [ 2 of 17] Compiling Hsmtlib.Solvers.Cmd.Parser.Parsers ( Hsmtlib/Solvers/Cmd/Parser/Parsers.hs, dist/build/Hsmtlib/Solvers/Cmd/Parser/Parsers.o ) [ 3 of 17] Compiling Hsmtlib.Solvers.Cmd.Parser.Visualizers ( Hsmtlib/Solvers/Cmd/Parser/Visualizers.hs, dist/build/Hsmtlib/Solvers/Cmd/Parser/Visualizers.o ) [ 4 of 17] Compiling Hsmtlib.Solvers.Cmd.ProcCom.Process ( Hsmtlib/Solvers/Cmd/ProcCom/Process.hs, dist/build/Hsmtlib/Solvers/Cmd/ProcCom/Process.o ) [ 5 of 17] Compiling Hsmtlib.Solvers.Cmd.BatchCmd ( Hsmtlib/Solvers/Cmd/BatchCmd.hs, dist/build/Hsmtlib/Solvers/Cmd/BatchCmd.o ) [ 6 of 17] Compiling Hsmtlib.Solver ( Hsmtlib/Solver.hs, dist/build/Hsmtlib/Solver.o ) [ 7 of 17] Compiling Hsmtlib.HighLevel ( Hsmtlib/HighLevel.hs, dist/build/Hsmtlib/HighLevel.o ) [ 8 of 17] Compiling Hsmtlib.Solvers.Cmd.Parser.CmdResult ( Hsmtlib/Solvers/Cmd/Parser/CmdResult.hs, dist/build/Hsmtlib/Solvers/Cmd/Parser/CmdResult.o ) [ 9 of 17] Compiling Hsmtlib.Solvers.Cmd.OnlineCmd ( Hsmtlib/Solvers/Cmd/OnlineCmd.hs, dist/build/Hsmtlib/Solvers/Cmd/OnlineCmd.o ) [10 of 17] Compiling Hsmtlib.Solvers.Cmd.ScriptCmd ( Hsmtlib/Solvers/Cmd/ScriptCmd.hs, dist/build/Hsmtlib/Solvers/Cmd/ScriptCmd.o ) [11 of 17] Compiling Hsmtlib.Solvers.Altergo ( Hsmtlib/Solvers/Altergo.hs, dist/build/Hsmtlib/Solvers/Altergo.o ) [12 of 17] Compiling Hsmtlib.Solvers.Boolector ( Hsmtlib/Solvers/Boolector.hs, dist/build/Hsmtlib/Solvers/Boolector.o ) [13 of 17] Compiling Hsmtlib.Solvers.Cvc4 ( Hsmtlib/Solvers/Cvc4.hs, dist/build/Hsmtlib/Solvers/Cvc4.o ) [14 of 17] Compiling Hsmtlib.Solvers.MathSAT ( Hsmtlib/Solvers/MathSAT.hs, dist/build/Hsmtlib/Solvers/MathSAT.o ) [15 of 17] Compiling Hsmtlib.Solvers.Yices ( Hsmtlib/Solvers/Yices.hs, dist/build/Hsmtlib/Solvers/Yices.o ) [16 of 17] Compiling Hsmtlib.Solvers.Z3 ( Hsmtlib/Solvers/Z3.hs, dist/build/Hsmtlib/Solvers/Z3.o ) [17 of 17] Compiling Hsmtlib ( Hsmtlib.hs, dist/build/Hsmtlib.o ) In-place registering Hsmtlib-0.2.0.6... Running Haddock for Hsmtlib-0.2.0.6... Running hscolour for Hsmtlib-0.2.0.6... Preprocessing library Hsmtlib-0.2.0.6... Preprocessing library Hsmtlib-0.2.0.6... Haddock coverage: 0% ( 0 / 26) in 'Hsmtlib.Solvers.Cmd.Parser.Syntax' 0% ( 0 / 81) in 'Hsmtlib.Solvers.Cmd.Parser.Parsers' 0% ( 0 / 24) in 'Hsmtlib.Solvers.Cmd.Parser.Visualizers' 100% ( 9 / 9) in 'Hsmtlib.Solvers.Cmd.ProcCom.Process' 0% ( 0 / 2) in 'Hsmtlib.Solvers.Cmd.BatchCmd' 100% ( 11 / 11) in 'Hsmtlib.Solver' 94% ( 15 / 16) in 'Hsmtlib.HighLevel' 36% ( 17 / 47) in 'Hsmtlib.Solvers.Cmd.Parser.CmdResult' 4% ( 1 / 23) in 'Hsmtlib.Solvers.Cmd.OnlineCmd' 4% ( 1 / 26) in 'Hsmtlib.Solvers.Cmd.ScriptCmd' 100% ( 2 / 2) in 'Hsmtlib.Solvers.Altergo' 100% ( 2 / 2) in 'Hsmtlib.Solvers.Boolector' 100% ( 2 / 2) in 'Hsmtlib.Solvers.Cvc4' 100% ( 2 / 2) in 'Hsmtlib.Solvers.MathSAT' 100% ( 2 / 2) in 'Hsmtlib.Solvers.Yices' 100% ( 2 / 2) in 'Hsmtlib.Solvers.Z3' 100% ( 2 / 2) in 'Hsmtlib' Warning: Hsmtlib.Solvers.Cmd.ProcCom.Process: could not find link destinations for: Hsmtlib.Solvers.Cmd.ProcCom.Process.Context Documentation created: dist/doc/html/Hsmtlib/index.html, dist/doc/html/Hsmtlib/Hsmtlib.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Hsmtlib-0.2.0.6 Registering Hsmtlib-0.2.0.6... Installed Hsmtlib-0.2.0.6