Build #1 for idris-0.9.6.1
| Package | idris-0.9.6.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | transformers-0.3.0.0, split-0.2.2, process-1.1.0.2, pretty-1.1.1.0, parsec-3.1.3, mtl-2.1.2, haskeline-0.7.1.1, filepath-1.3.0.1, directory-1.2.0.1, containers-0.5.0.0, bytestring-0.10.0.2, binary-0.5.1.1, base-4.6.0.1, Cabal-1.16.0.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring split-0.2.2...
Building split-0.2.2...
Preprocessing library split-0.2.2...
[1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o )
[2 of 2] Compiling Data.List.Split ( src/Data/List/Split.hs, dist/build/Data/List/Split.o )
In-place registering split-0.2.2...
Running Haddock for split-0.2.2...
Running hscolour for split-0.2.2...
Preprocessing library split-0.2.2...
Preprocessing library split-0.2.2...
Haddock coverage:
91% ( 61 / 67) in 'Data.List.Split.Internals'
90% ( 44 / 49) in 'Data.List.Split'
Documentation created: dist/doc/html/split/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/split-0.2.2
Registering split-0.2.2...
Installed split-0.2.2
Configuring terminfo-0.3.2.6...
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking ncurses.h usability... yes
checking ncurses.h presence... yes
checking for ncurses.h... yes
checking for setupterm in -ltinfo... yes
configure: creating ./config.status
config.status: creating terminfo.buildinfo
configure: WARNING: unrecognized options: --with-compiler, --with-gcc
Building terminfo-0.3.2.6...
Preprocessing library terminfo-0.3.2.6...
[1 of 7] Compiling System.Console.Terminfo.Base ( System/Console/Terminfo/Base.hs, dist/build/System/Console/Terminfo/Base.o )
[2 of 7] Compiling System.Console.Terminfo.Keys ( System/Console/Terminfo/Keys.hs, dist/build/System/Console/Terminfo/Keys.o )
[3 of 7] Compiling System.Console.Terminfo.Cursor ( System/Console/Terminfo/Cursor.hs, dist/build/System/Console/Terminfo/Cursor.o )
[4 of 7] Compiling System.Console.Terminfo.Effects ( System/Console/Terminfo/Effects.hs, dist/build/System/Console/Terminfo/Effects.o )
[5 of 7] Compiling System.Console.Terminfo.Edit ( System/Console/Terminfo/Edit.hs, dist/build/System/Console/Terminfo/Edit.o )
[6 of 7] Compiling System.Console.Terminfo.Color ( System/Console/Terminfo/Color.hs, dist/build/System/Console/Terminfo/Color.o )
[7 of 7] Compiling System.Console.Terminfo ( System/Console/Terminfo.hs, dist/build/System/Console/Terminfo.o )
In-place registering terminfo-0.3.2.6...
Running Haddock for terminfo-0.3.2.6...
Running hscolour for terminfo-0.3.2.6...
Preprocessing library terminfo-0.3.2.6...
Preprocessing library terminfo-0.3.2.6...
Haddock coverage:
79% ( 22 / 28) in 'System.Console.Terminfo.Base'
32% ( 6 / 19) in 'System.Console.Terminfo.Keys'
41% ( 15 / 37) in 'System.Console.Terminfo.Cursor'
56% ( 14 / 25) in 'System.Console.Terminfo.Effects'
100% ( 5 / 5) in 'System.Console.Terminfo.Edit'
88% ( 7 / 8) in 'System.Console.Terminfo.Color'
100% ( 7 / 7) in 'System.Console.Terminfo'
Documentation created: dist/doc/html/terminfo/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/terminfo-0.3.2.6
Registering terminfo-0.3.2.6...
Installed terminfo-0.3.2.6
[1 of 1] Compiling Main ( /tmp/haskeline-0.7.1.1-32730/haskeline-0.7.1.1/Setup.hs, /tmp/haskeline-0.7.1.1-32730/haskeline-0.7.1.1/dist/setup/Main.o )
Linking /tmp/haskeline-0.7.1.1-32730/haskeline-0.7.1.1/dist/setup/setup ...
Configuring haskeline-0.7.1.1...
Building haskeline-0.7.1.1...
Preprocessing library haskeline-0.7.1.1...
[ 1 of 27] Compiling System.Console.Haskeline.Recover ( System/Console/Haskeline/Recover.hs, dist/build/System/Console/Haskeline/Recover.o )
[ 2 of 27] Compiling System.Console.Haskeline.Directory ( dist/build/System/Console/Haskeline/Directory.hs, dist/build/System/Console/Haskeline/Directory.o )
[ 3 of 27] Compiling System.Console.Haskeline.Key ( System/Console/Haskeline/Key.hs, dist/build/System/Console/Haskeline/Key.o )
[ 4 of 27] Compiling System.Console.Haskeline.History ( System/Console/Haskeline/History.hs, dist/build/System/Console/Haskeline/History.o )
[ 5 of 27] Compiling System.Console.Haskeline.LineState ( System/Console/Haskeline/LineState.hs, dist/build/System/Console/Haskeline/LineState.o )
[ 6 of 27] Compiling System.Console.Haskeline.Command ( System/Console/Haskeline/Command.hs, dist/build/System/Console/Haskeline/Command.o )
[ 7 of 27] Compiling System.Console.Haskeline.Backend.WCWidth ( System/Console/Haskeline/Backend/WCWidth.hs, dist/build/System/Console/Haskeline/Backend/WCWidth.o )
[ 8 of 27] Compiling System.Console.Haskeline.MonadException ( System/Console/Haskeline/MonadException.hs, dist/build/System/Console/Haskeline/MonadException.o )
[ 9 of 27] Compiling System.Console.Haskeline.Prefs ( System/Console/Haskeline/Prefs.hs, dist/build/System/Console/Haskeline/Prefs.o )
[10 of 27] Compiling System.Console.Haskeline.Monads ( System/Console/Haskeline/Monads.hs, dist/build/System/Console/Haskeline/Monads.o )
[11 of 27] Compiling System.Console.Haskeline.Command.Undo ( System/Console/Haskeline/Command/Undo.hs, dist/build/System/Console/Haskeline/Command/Undo.o )
[12 of 27] Compiling System.Console.Haskeline.Command.History ( System/Console/Haskeline/Command/History.hs, dist/build/System/Console/Haskeline/Command/History.o )
[13 of 27] Compiling System.Console.Haskeline.Command.KillRing ( System/Console/Haskeline/Command/KillRing.hs, dist/build/System/Console/Haskeline/Command/KillRing.o )
[14 of 27] Compiling System.Console.Haskeline.Completion ( System/Console/Haskeline/Completion.hs, dist/build/System/Console/Haskeline/Completion.o )
[15 of 27] Compiling System.Console.Haskeline.Term ( System/Console/Haskeline/Term.hs, dist/build/System/Console/Haskeline/Term.o )
System/Console/Haskeline/Term.hs:107:16: Warning:
In the use of `isEmptyChan'
(imported from Control.Concurrent, but defined in Control.Concurrent.Chan):
Deprecated: "if you need this operation, use Control.Concurrent.STM.TChan instead. See http://hackage.haskell.org/trac/ghc/ticket/4154 for details"
[16 of 27] Compiling System.Console.Haskeline.RunCommand ( System/Console/Haskeline/RunCommand.hs, dist/build/System/Console/Haskeline/RunCommand.o )
[17 of 27] Compiling System.Console.Haskeline.Backend.Posix.Encoder ( System/Console/Haskeline/Backend/Posix/Encoder.hs, dist/build/System/Console/Haskeline/Backend/Posix/Encoder.o )
[18 of 27] Compiling System.Console.Haskeline.Backend.Posix ( dist/build/System/Console/Haskeline/Backend/Posix.hs, dist/build/System/Console/Haskeline/Backend/Posix.o )
[19 of 27] Compiling System.Console.Haskeline.Backend.Terminfo ( System/Console/Haskeline/Backend/Terminfo.hs, dist/build/System/Console/Haskeline/Backend/Terminfo.o )
[20 of 27] Compiling System.Console.Haskeline.Backend.DumbTerm ( System/Console/Haskeline/Backend/DumbTerm.hs, dist/build/System/Console/Haskeline/Backend/DumbTerm.o )
[21 of 27] Compiling System.Console.Haskeline.Backend ( System/Console/Haskeline/Backend.hs, dist/build/System/Console/Haskeline/Backend.o )
[22 of 27] Compiling System.Console.Haskeline.InputT ( System/Console/Haskeline/InputT.hs, dist/build/System/Console/Haskeline/InputT.o )
[23 of 27] Compiling System.Console.Haskeline.Command.Completion ( System/Console/Haskeline/Command/Completion.hs, dist/build/System/Console/Haskeline/Command/Completion.o )
[24 of 27] Compiling System.Console.Haskeline.Vi ( System/Console/Haskeline/Vi.hs, dist/build/System/Console/Haskeline/Vi.o )
[25 of 27] Compiling System.Console.Haskeline.Emacs ( System/Console/Haskeline/Emacs.hs, dist/build/System/Console/Haskeline/Emacs.o )
[26 of 27] Compiling System.Console.Haskeline ( System/Console/Haskeline.hs, dist/build/System/Console/Haskeline.o )
[27 of 27] Compiling System.Console.Haskeline.IO ( System/Console/Haskeline/IO.hs, dist/build/System/Console/Haskeline/IO.o )
In-place registering haskeline-0.7.1.1...
Running Haddock for haskeline-0.7.1.1...
Running hscolour for haskeline-0.7.1.1...
Preprocessing library haskeline-0.7.1.1...
Preprocessing library haskeline-0.7.1.1...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, transformers-0.3.0.0
System/Console/Haskeline/Term.hs:107:16: Warning:
In the use of `isEmptyChan'
(imported from Control.Concurrent, but defined in Control.Concurrent.Chan):
Deprecated: "if you need this operation, use Control.Concurrent.STM.TChan instead. See http://hackage.haskell.org/trac/ghc/ticket/4154 for details"
Haddock coverage:
0% ( 0 / 2) in 'System.Console.Haskeline.Recover'
100% ( 4 / 4) in 'System.Console.Haskeline.Directory'
0% ( 0 / 12) in 'System.Console.Haskeline.Key'
73% ( 8 / 11) in 'System.Console.Haskeline.History'
35% ( 23 / 65) in 'System.Console.Haskeline.LineState'
4% ( 1 / 28) in 'System.Console.Haskeline.Command'
25% ( 1 / 4) in 'System.Console.Haskeline.Backend.WCWidth'
62% ( 13 / 21) in 'System.Console.Haskeline.MonadException'
33% ( 3 / 9) in 'System.Console.Haskeline.Prefs'
Warning: Couldn't find .haddock for export Control.Monad.Trans.Class.MonadTrans
Warning: Couldn't find .haddock for export Control.Monad.IO.Class.MonadIO
Warning: Couldn't find .haddock for export Control.Monad.Trans.Reader.ReaderT
Warning: Couldn't find .haddock for export Control.Monad.Trans.Reader.mapReaderT
Warning: Couldn't find .haddock for export Control.Monad.Trans.Maybe.MaybeT
5% ( 1 / 19) in 'System.Console.Haskeline.Monads'
0% ( 0 / 11) in 'System.Console.Haskeline.Command.Undo'
0% ( 0 / 28) in 'System.Console.Haskeline.Command.History'
0% ( 0 / 17) in 'System.Console.Haskeline.Command.KillRing'
62% ( 8 / 13) in 'System.Console.Haskeline.Completion'
29% ( 7 / 24) in 'System.Console.Haskeline.Term'
0% ( 0 / 2) in 'System.Console.Haskeline.RunCommand'
23% ( 3 / 13) in 'System.Console.Haskeline.Backend.Posix.Encoder'
0% ( 0 / 15) in 'System.Console.Haskeline.Backend.Posix'
0% ( 0 / 3) in 'System.Console.Haskeline.Backend.Terminfo'
0% ( 0 / 17) in 'System.Console.Haskeline.Backend.DumbTerm'
0% ( 0 / 7) in 'System.Console.Haskeline.Backend'
87% ( 20 / 23) in 'System.Console.Haskeline.InputT'
40% ( 2 / 5) in 'System.Console.Haskeline.Command.Completion'
0% ( 0 / 56) in 'System.Console.Haskeline.Vi'
0% ( 0 / 13) in 'System.Console.Haskeline.Emacs'
98% ( 47 / 48) in 'System.Console.Haskeline'
83% ( 5 / 6) in 'System.Console.Haskeline.IO'
Warning: System.Console.Haskeline.MonadException: could not find link destinations for:
Control.Monad.IO.Class.MonadIO Control.Monad.Trans.List.ListT Control.Monad.Trans.Maybe.MaybeT Control.Monad.Trans.Reader.ReaderT Control.Monad.Trans.State.Strict.StateT Control.Monad.Trans.Error.Error Control.Monad.Trans.Error.ErrorT Control.Monad.Trans.Writer.Lazy.WriterT Control.Monad.Trans.RWS.Lazy.RWST
Warning: System.Console.Haskeline.Completion: could not find link destinations for:
Control.Monad.IO.Class.MonadIO
Warning: System.Console.Haskeline: could not find link destinations for:
Control.Monad.Trans.Class.MonadTrans Control.Monad.IO.Class.MonadIO
Documentation created: dist/doc/html/haskeline/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/haskeline-0.7.1.1
Registering haskeline-0.7.1.1...
Installed haskeline-0.7.1.1
Downloading idris-0.9.6.1...
[1 of 1] Compiling Main ( /tmp/idris-0.9.6.1-32730/idris-0.9.6.1/Setup.hs, /tmp/idris-0.9.6.1-32730/idris-0.9.6.1/dist/setup/Main.o )
Linking /tmp/idris-0.9.6.1-32730/idris-0.9.6.1/dist/setup/setup ...
Configuring idris-0.9.6.1...
make: Entering directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/rts'
rm -f idris_rts.o idris_gc.o idris_gmp.o idris_stdfgn.o idris_bitstring.o libidris_rts.a
make: Leaving directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/rts'
Building idris-0.9.6.1...
Preprocessing executable 'idris' for idris-0.9.6.1...
[ 1 of 51] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/idris/idris-tmp/Util/Pretty.o )
[ 2 of 51] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/idris/idris-tmp/Paths_idris.o )
[ 3 of 51] Compiling Util.System ( src/Util/System.hs, dist/build/idris/idris-tmp/Util/System.o )
[ 4 of 51] Compiling Core.TT ( src/Core/TT.hs, dist/build/idris/idris-tmp/Core/TT.o )
[ 5 of 51] Compiling Core.Constraints ( src/Core/Constraints.hs, dist/build/idris/idris-tmp/Core/Constraints.o )
[ 6 of 51] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/idris/idris-tmp/IRTS/Lang.o )
[ 7 of 51] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/idris/idris-tmp/IRTS/Defunctionalise.o )
[ 8 of 51] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/idris/idris-tmp/IRTS/Simplified.o )
[ 9 of 51] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/idris/idris-tmp/IRTS/CodegenCommon.o )
[10 of 51] Compiling Core.CaseTree ( src/Core/CaseTree.hs, dist/build/idris/idris-tmp/Core/CaseTree.o )
[11 of 51] Compiling Core.Evaluate ( src/Core/Evaluate.hs, dist/build/idris/idris-tmp/Core/Evaluate.o )
[12 of 51] Compiling Core.Typecheck ( src/Core/Typecheck.hs, dist/build/idris/idris-tmp/Core/Typecheck.o )
[13 of 51] Compiling Core.Unify ( src/Core/Unify.hs, dist/build/idris/idris-tmp/Core/Unify.o )
[14 of 51] Compiling Core.ProofState ( src/Core/ProofState.hs, dist/build/idris/idris-tmp/Core/ProofState.o )
[15 of 51] Compiling Core.Elaborate ( src/Core/Elaborate.hs, dist/build/idris/idris-tmp/Core/Elaborate.o )
[16 of 51] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/idris/idris-tmp/Idris/AbsSyntaxTree.o )
[17 of 51] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/idris/idris-tmp/Idris/AbsSyntax.o )
[18 of 51] Compiling Idris.Imports ( src/Idris/Imports.hs, dist/build/idris/idris-tmp/Idris/Imports.o )
[19 of 51] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/idris/idris-tmp/Idris/Delaborate.o )
[20 of 51] Compiling Idris.Error ( src/Idris/Error.hs, dist/build/idris/idris-tmp/Idris/Error.o )
[21 of 51] Compiling Idris.Compiler ( src/Idris/Compiler.hs, dist/build/idris/idris-tmp/Idris/Compiler.o )
[22 of 51] Compiling Idris.Coverage ( src/Idris/Coverage.hs, dist/build/idris/idris-tmp/Idris/Coverage.o )
[23 of 51] Compiling Idris.UnusedArgs ( src/Idris/UnusedArgs.hs, dist/build/idris/idris-tmp/Idris/UnusedArgs.o )
[24 of 51] Compiling Idris.Docs ( src/Idris/Docs.hs, dist/build/idris/idris-tmp/Idris/Docs.o )
[25 of 51] Compiling Idris.Completion ( src/Idris/Completion.hs, dist/build/idris/idris-tmp/Idris/Completion.o )
[26 of 51] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, dist/build/idris/idris-tmp/IRTS/Bytecode.o )
[27 of 51] Compiling IRTS.CodegenC ( src/IRTS/CodegenC.hs, dist/build/idris/idris-tmp/IRTS/CodegenC.o )
[28 of 51] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/idris/idris-tmp/IRTS/CodegenJavaScript.o )
[29 of 51] Compiling IRTS.BCImp ( src/IRTS/BCImp.hs, dist/build/idris/idris-tmp/IRTS/BCImp.o )
[30 of 51] Compiling IRTS.CodegenJava ( src/IRTS/CodegenJava.hs, dist/build/idris/idris-tmp/IRTS/CodegenJava.o )
[31 of 51] Compiling IRTS.DumpBC ( src/IRTS/DumpBC.hs, dist/build/idris/idris-tmp/IRTS/DumpBC.o )
[32 of 51] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, dist/build/idris/idris-tmp/IRTS/Inliner.o )
[33 of 51] Compiling IRTS.Compiler ( src/IRTS/Compiler.hs, dist/build/idris/idris-tmp/IRTS/Compiler.o )
[34 of 51] Compiling Idris.DataOpts ( src/Idris/DataOpts.hs, dist/build/idris/idris-tmp/Idris/DataOpts.o )
[35 of 51] Compiling Idris.IBC ( src/Idris/IBC.hs, dist/build/idris/idris-tmp/Idris/IBC.o )
[36 of 51] Compiling Idris.Unlit ( src/Idris/Unlit.hs, dist/build/idris/idris-tmp/Idris/Unlit.o )
[37 of 51] Compiling Core.CoreParser ( src/Core/CoreParser.hs, dist/build/idris/idris-tmp/Core/CoreParser.o )
[38 of 51] Compiling Core.ShellParser ( src/Core/ShellParser.hs, dist/build/idris/idris-tmp/Core/ShellParser.o )
[39 of 51] Compiling Core.ProofShell ( src/Core/ProofShell.hs, dist/build/idris/idris-tmp/Core/ProofShell.o )
[40 of 51] Compiling IRTS.LParser ( src/IRTS/LParser.hs, dist/build/idris/idris-tmp/IRTS/LParser.o )
[41 of 51] Compiling Idris.DSL ( src/Idris/DSL.hs, dist/build/idris/idris-tmp/Idris/DSL.o )
[42 of 51] Compiling Idris.ElabTerm ( src/Idris/ElabTerm.hs, dist/build/idris/idris-tmp/Idris/ElabTerm.o )
[43 of 51] Compiling Idris.ElabDecls ( src/Idris/ElabDecls.hs, dist/build/idris/idris-tmp/Idris/ElabDecls.o )
[44 of 51] Compiling Idris.Parser ( src/Idris/Parser.hs, dist/build/idris/idris-tmp/Idris/Parser.o )
[45 of 51] Compiling Idris.REPLParser ( src/Idris/REPLParser.hs, dist/build/idris/idris-tmp/Idris/REPLParser.o )
[46 of 51] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/idris/idris-tmp/Idris/Primitives.o )
[47 of 51] Compiling Idris.Prover ( src/Idris/Prover.hs, dist/build/idris/idris-tmp/Idris/Prover.o )
[48 of 51] Compiling Idris.REPL ( src/Idris/REPL.hs, dist/build/idris/idris-tmp/Idris/REPL.o )
[49 of 51] Compiling Pkg.PParser ( src/Pkg/PParser.hs, dist/build/idris/idris-tmp/Pkg/PParser.o )
[50 of 51] Compiling Pkg.Package ( src/Pkg/Package.hs, dist/build/idris/idris-tmp/Pkg/Package.o )
[51 of 51] Compiling Main ( src/Main.hs, dist/build/idris/idris-tmp/Main.o )
Linking dist/build/idris/idris ...
Building libraries...
make: Entering directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/lib'
../dist/build/idris/idris --build base.ipkg
Type checking ./Builtins.idr
Type checking ./Prelude/Algebra.idr
Type checking ./Prelude/Cast.idr
Type checking ./Prelude/Maybe.idr
Type checking ./Prelude/Nat.idr
Type checking ./Prelude/List.idr
Type checking ./IO.idr
Type checking ./Prelude/Either.idr
Type checking ./Prelude/Fin.idr
Type checking ./Prelude/Functor.idr
Type checking ./Prelude/Applicative.idr
Type checking ./Prelude/Monad.idr
Type checking ./Prelude/Vect.idr
Type checking ./Prelude/Chars.idr
Type checking ./Prelude/Strings.idr
Type checking ./Prelude.idr
Type checking ./System.idr
Type checking ./Prelude/Heap.idr
Type checking ./Prelude/Complex.idr
Type checking ./Network/Cgi.idr
Type checking ./Debug/Trace.idr
Type checking ./System/Concurrency/Raw.idr
Type checking ./System/Concurrency/Process.idr
Type checking ./Language/Reflection.idr
Type checking ./Data/Morphisms.idr
Type checking ./Data/Bits.idr
Type checking ./Data/Mod2.idr
Type checking ./Control/Monad/Identity.idr
Type checking ./Control/Monad/State.idr
Type checking ./Control/Category.idr
Type checking ./Control/Arrow.idr
make: Leaving directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/lib'
make: Entering directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/rts'
gcc -O2 -Wall -c -o idris_rts.o idris_rts.c
gcc -O2 -Wall -c -o idris_gc.o idris_gc.c
gcc -O2 -Wall -c -o idris_gmp.o idris_gmp.c
gcc -O2 -Wall -c -o idris_stdfgn.o idris_stdfgn.c
gcc -O2 -Wall -c -o idris_bitstring.o idris_bitstring.c
ar r libidris_rts.a idris_rts.o idris_gc.o idris_gmp.o idris_stdfgn.o idris_bitstring.o
ar: creating libidris_rts.a
ranlib libidris_rts.a
make: Leaving directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/rts'
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables flag.
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Installing libraries in /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1
make: Entering directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/lib'
../dist/build/idris/idris --install base.ipkg
Skipping ./Builtins.idr
Skipping ./Prelude.idr
Skipping ./IO.idr
Skipping ./Prelude/List.idr
Skipping ./Prelude/Algebra.idr
Skipping ./Prelude/Maybe.idr
Skipping ./Prelude/Cast.idr
Skipping ./Prelude/Nat.idr
Skipping ./Prelude/Fin.idr
Skipping ./Prelude/Either.idr
Skipping ./Prelude/Monad.idr
Skipping ./Prelude/Applicative.idr
Skipping ./Prelude/Functor.idr
Skipping ./Prelude/Vect.idr
Skipping ./Prelude/Strings.idr
Skipping ./Prelude/Chars.idr
Skipping ./System.idr
Skipping ./Prelude/Heap.idr
Skipping ./Prelude/Complex.idr
Skipping ./Network/Cgi.idr
Skipping ./Debug/Trace.idr
Skipping ./System/Concurrency/Raw.idr
Skipping ./System/Concurrency/Process.idr
Skipping ./Language/Reflection.idr
Skipping ./Data/Morphisms.idr
Skipping ./Data/Bits.idr
Skipping ./Data/Mod2.idr
Skipping ./Control/Monad/Identity.idr
Skipping ./Control/Monad/State.idr
Skipping ./Control/Category.idr
Skipping ./Control/Arrow.idr
Installing Builtins.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base
Installing Prelude.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base
Installing IO.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base
Installing System.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base
Installing Prelude/Algebra.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Cast.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Nat.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Fin.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/List.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Maybe.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Monad.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Applicative.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Either.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Vect.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Strings.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Chars.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Heap.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Complex.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Prelude/Functor.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Prelude
Installing Network/Cgi.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Network
Installing Debug/Trace.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Debug
Installing System/Concurrency/Raw.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/System/Concurrency
Installing System/Concurrency/Process.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/System/Concurrency
Installing Language/Reflection.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Language
Installing Data/Morphisms.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Data
Installing Data/Bits.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Data
Installing Data/Mod2.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Data
Installing Control/Monad/Identity.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Control/Monad
Installing Control/Monad/State.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Control/Monad
Installing Control/Category.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Control
Installing Control/Arrow.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/base/Control
make: Leaving directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/lib'
Installing run time system in /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/rts
make: Entering directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/rts'
mkdir -p /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/rts
install libidris_rts.a idris_rts.h idris_gc.h idris_gmp.h idris_stdfgn.h idris_bitstring.h /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.6.1/rts
make: Leaving directory `/tmp/idris-0.9.6.1-32730/idris-0.9.6.1/rts'
Installed idris-0.9.6.1
Test log
No test log was submitted for this report.