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-31267/haskeline-0.7.1.1/Setup.hs, /tmp/haskeline-0.7.1.1-31267/haskeline-0.7.1.1/dist/setup/Main.o ) Linking /tmp/haskeline-0.7.1.1-31267/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.7... [1 of 1] Compiling Main ( /tmp/idris-0.9.7-31267/idris-0.9.7/Setup.hs, /tmp/idris-0.9.7-31267/idris-0.9.7/dist/setup/Main.o ) Linking /tmp/idris-0.9.7-31267/idris-0.9.7/dist/setup/setup ... Configuring idris-0.9.7... make: Entering directory `/tmp/idris-0.9.7-31267/idris-0.9.7/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.7-31267/idris-0.9.7/rts' Building idris-0.9.7... Preprocessing executable 'idris' for idris-0.9.7... [ 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.7-31267/idris-0.9.7/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 ./Decidable/Equality.idr Type checking ./Language/Reflection.idr Type checking ./Data/Morphisms.idr Type checking ./Data/Bits.idr Type checking ./Data/Mod2.idr Type checking ./Data/Sign.idr Type checking ./Data/Z.idr Type checking ./Control/Monad/Identity.idr Type checking ./Control/Monad/State.idr Type checking ./Control/Category.idr Type checking ./Control/Arrow.idr Type checking ./Control/IOExcept.idr Type checking ./Control/Catchable.idr make: Leaving directory `/tmp/idris-0.9.7-31267/idris-0.9.7/lib' make: Entering directory `/tmp/idris-0.9.7-31267/idris-0.9.7/effects' ../dist/build/idris/idris --build effects.ipkg Type checking ./Effects.idr Type checking ./Effect/Exception.idr Type checking ./Effect/File.idr Type checking ./Effect/State.idr Type checking ./Effect/Random.idr Type checking ./Effect/StdIO.idr Type checking ./Effect/Select.idr make: Leaving directory `/tmp/idris-0.9.7-31267/idris-0.9.7/effects' make: Entering directory `/tmp/idris-0.9.7-31267/idris-0.9.7/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.7-31267/idris-0.9.7/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.7 make: Entering directory `/tmp/idris-0.9.7-31267/idris-0.9.7/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 ./Decidable/Equality.idr Skipping ./Language/Reflection.idr Skipping ./Data/Morphisms.idr Skipping ./Data/Bits.idr Skipping ./Data/Mod2.idr Skipping ./Data/Z.idr Skipping ./Data/Sign.idr Skipping ./Control/Monad/Identity.idr Skipping ./Control/Monad/State.idr Skipping ./Control/Category.idr Skipping ./Control/Arrow.idr Skipping ./Control/Catchable.idr Skipping ./Control/IOExcept.idr Installing Builtins.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base Installing Prelude.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base Installing IO.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base Installing System.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base Installing Prelude/Algebra.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Cast.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Nat.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Fin.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/List.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Maybe.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Monad.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Applicative.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Either.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Vect.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Strings.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Chars.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Heap.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Complex.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Prelude/Functor.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Prelude Installing Network/Cgi.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Network Installing Debug/Trace.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/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.7/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.7/base/System/Concurrency Installing Decidable/Equality.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Decidable Installing Language/Reflection.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Language Installing Data/Morphisms.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Data Installing Data/Bits.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Data Installing Data/Mod2.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Data Installing Data/Z.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Data Installing Data/Sign.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/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.7/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.7/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.7/base/Control Installing Control/Arrow.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Control Installing Control/Catchable.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Control Installing Control/IOExcept.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/base/Control make: Leaving directory `/tmp/idris-0.9.7-31267/idris-0.9.7/lib' make: Entering directory `/tmp/idris-0.9.7-31267/idris-0.9.7/effects' ../dist/build/idris/idris --install effects.ipkg Skipping ./Effects.idr Skipping ./Effect/Exception.idr Skipping ./Effect/File.idr Skipping ./Effect/State.idr Skipping ./Effect/Random.idr Skipping ./Effect/StdIO.idr Skipping ./Effect/Select.idr Installing Effects.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/effects Installing Effect/Exception.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/effects/Effect Installing Effect/File.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/effects/Effect Installing Effect/State.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/effects/Effect Installing Effect/Random.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/effects/Effect Installing Effect/StdIO.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/effects/Effect Installing Effect/Select.ibc to /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/effects/Effect make: Leaving directory `/tmp/idris-0.9.7-31267/idris-0.9.7/effects' Installing run time system in /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/rts make: Entering directory `/tmp/idris-0.9.7-31267/idris-0.9.7/rts' mkdir -p /srv/hackage/var/build/tmp-install/share/x86_64-linux-ghc-7.6.3/idris-0.9.7/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.7/rts make: Leaving directory `/tmp/idris-0.9.7-31267/idris-0.9.7/rts' Installed idris-0.9.7