Build #1 for dove-0.0.0
Package | dove-0.0.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2015-04-28 18:03:27.234467 UTC |
---|---|
Compiler | ghc-7.8.3 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.7.0.1, acl2-0.0.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading acl2-0.0.1... Configuring acl2-0.0.1... Building acl2-0.0.1... Preprocessing library acl2-0.0.1... [1 of 1] Compiling Language.ACL2 ( Language/ACL2.hs, dist/build/Language/ACL2.o ) In-place registering acl2-0.0.1... Running Haddock for acl2-0.0.1... Running hscolour for acl2-0.0.1... Preprocessing library acl2-0.0.1... Preprocessing library acl2-0.0.1... Haddock coverage: 2% ( 1 / 48) in 'Language.ACL2' Documentation created: dist/doc/html/acl2/index.html, dist/doc/html/acl2/acl2.txt Creating package registration file: /tmp/pkgConf-acl2-0.018642.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/acl2-0.0.1 Registering acl2-0.0.1... Installed acl2-0.0.1 Downloading dove-0.0.0... Configuring dove-0.0.0... Building dove-0.0.0... Preprocessing library dove-0.0.0... [1 of 4] Compiling Language.Dove.Syntax ( Language/Dove/Syntax.hs, dist/build/Language/Dove/Syntax.o ) [2 of 4] Compiling Language.Dove.Optimize ( Language/Dove/Optimize.hs, dist/build/Language/Dove/Optimize.o ) [3 of 4] Compiling Language.Dove.ACL2 ( Language/Dove/ACL2.hs, dist/build/Language/Dove/ACL2.o ) [4 of 4] Compiling Language.Dove ( Language/Dove.hs, dist/build/Language/Dove.o ) In-place registering dove-0.0.0... Running Haddock for dove-0.0.0... Running hscolour for dove-0.0.0... Preprocessing library dove-0.0.0... Preprocessing library dove-0.0.0... Haddock coverage: 0% ( 0 / 23) in 'Language.Dove.Syntax' 0% ( 0 / 2) in 'Language.Dove.Optimize' 25% ( 1 / 4) in 'Language.Dove.ACL2' 75% ( 3 / 4) in 'Language.Dove' Documentation created: dist/doc/html/dove/index.html, dist/doc/html/dove/dove.txt Creating package registration file: /tmp/pkgConf-dove-0.018642.0 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/dove-0.0.0 Registering dove-0.0.0... Installed dove-0.0.0
Test log
No test log was submitted for this report.