Build #1 for smtLib-1.0.7
| Package | smtLib-1.0.7 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | pretty-1.1.1.0, base-4.6.0.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading smtLib-1.0.7... 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 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
Test log
No test log was submitted for this report.