Created
January 13, 2015 21:22
-
-
Save jc00ke/ac6570c5c777b7eb1daf to your computer and use it in GitHub Desktop.
troublems installing Idris
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # from https://github.com/idris-lang/Idris-dev/wiki/Idris-on-Ubuntu | |
| $> sudo apt-get install libgc-dev libncurses-dev libgmp-dev haskell-platform cabal-install expect \ | |
| libghc-ansi-terminal-dev libghc-ansi-wl-pprint-dev libghc-blaze-builder-dev libghc-blaze-html-dev \ | |
| libghc-cereal-dev libghc-cpphs-dev libghc-data-default-class-dev libghc-dlist-dev \ | |
| libghc-exceptions-dev libghc-fingertree-dev libghc-free-dev libghc-haskeline-dev \ | |
| libghc-keys-dev libghc-newtype-dev libghc-pointed-dev libghc-profunctors-dev libghc-reducers-dev \ | |
| libghc-reflection-dev libghc-utf8-string-dev libghc-void-dev libghc-xml-dev libghc-aeson-dev \ | |
| libghc-data-lens-dev libghc-optparse-applicative-dev libghc-base64-bytestring-dev \ | |
| libghc-blaze-html-dev libghc-blaze-markup-dev \ | |
| libghc-unordered-containers-dev libghc-utf8-string-dev libghc-vector-dev libghc-xml-dev \ | |
| libghc-zlib-dev libghc-text-dev libghc-split-dev libghc-transformers-dev libghc-split-dev \ | |
| libghc-pretty-show-dev libghc-network-dev libghc-mtl-dev libghc-lens-dev \ | |
| libghc-bytestring-lexing-dev \ | |
| libghc-bytestring-lexing-doc \ | |
| libghc-bytestring-lexing-prof \ | |
| libghc-bytestring-mmap-dev \ | |
| libghc-bytestring-mmap-doc \ | |
| libghc-bytestring-mmap-prof \ | |
| libghc-bytestring-nums-dev \ | |
| libghc-bytestring-nums-doc \ | |
| libghc-bytestring-nums-prof \ | |
| libghc-bytestring-progress-dev \ | |
| libghc-bytestring-progress-doc \ | |
| libghc-bytestring-progress-prof \ | |
| libghc-bytestring-show-dev \ | |
| libghc-bytestring-show-doc \ | |
| libghc-bytestring-show-prof | |
| $> cabal install idris | |
| Resolving dependencies... | |
| [1 of 1] Compiling Main ( /tmp/idris-0.9.15.1-4471/idris-0.9.15.1/dist/setup/setup.hs, /tmp/idris-0.9.15.1-4471/idris-0.9.15.1/dist/setup/Main.o ) | |
| Linking /tmp/idris-0.9.15.1-4471/idris-0.9.15.1/dist/setup/setup ... | |
| Configuring idris-0.9.15.1... | |
| make: Entering directory '/tmp/idris-0.9.15.1-4471/idris-0.9.15.1/rts' | |
| rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o mini-gmp.o idris_stdfgn.o idris_net.o libidris_rts.a | |
| make: Leaving directory '/tmp/idris-0.9.15.1-4471/idris-0.9.15.1/rts' | |
| fatal: Not a git repository (or any of the parent directories): .git | |
| Generating dist/build/autogen/Version_idris.hs for release | |
| Building idris-0.9.15.1... | |
| Preprocessing library idris-0.9.15.1... | |
| [ 1 of 93] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, dist/build/IRTS/JavaScript/AST.o ) | |
| [ 2 of 93] Compiling Util.Net ( src/Util/Net.hs, dist/build/Util/Net.o ) | |
| [ 3 of 93] Compiling Version_idris ( src/Version_idris.hs, dist/build/Version_idris.o ) | |
| [ 4 of 93] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.o ) | |
| [ 5 of 93] Compiling Util.Zlib ( src/Util/Zlib.hs, dist/build/Util/Zlib.o ) | |
| [ 6 of 93] Compiling Idris.Help ( src/Idris/Help.hs, dist/build/Idris/Help.o ) | |
| [ 7 of 93] Compiling Util.ScreenSize ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.o ) | |
| [ 8 of 93] Compiling Idris.Colours ( src/Idris/Colours.hs, dist/build/Idris/Colours.o ) | |
| [ 9 of 93] Compiling Idris.Core.TC ( src/Idris/Core/TC.hs, dist/build/Idris/Core/TC.o ) | |
| src/Idris/Core/TC.hs:7:1: Warning: | |
| Module `Control.Monad.Trans.Error' is deprecated: | |
| Use Control.Monad.Trans.Except instead | |
| src/Idris/Core/TC.hs:19:10: Warning: | |
| In the use of type constructor or class `Error' | |
| (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| src/Idris/Core/TC.hs:22:21: Warning: | |
| In the use of `strMsg' (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| src/Idris/Core/TC.hs:24:10: Warning: | |
| In the use of type constructor or class `Error' | |
| (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| src/Idris/Core/TC.hs:31:10: Warning: | |
| In the use of type constructor or class `Error' | |
| (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| src/Idris/Core/TC.hs:35:10: Warning: | |
| In the use of type constructor or class `Error' | |
| (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| [10 of 93] Compiling Util.System ( src/Util/System.hs, dist/build/Util/System.o ) | |
| [11 of 93] Compiling IRTS.System ( src/IRTS/System.hs, dist/build/IRTS/System.o ) | |
| [12 of 93] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.o ) | |
| [13 of 93] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/Util/Pretty.o ) | |
| [14 of 93] Compiling Idris.Core.TT ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.o ) | |
| src/Idris/Core/TT.hs:26:1: Warning: | |
| Module `Control.Monad.Trans.Error' is deprecated: | |
| Use Control.Monad.Trans.Except instead | |
| src/Idris/Core/TT.hs:236:10: Warning: | |
| In the use of type constructor or class `Error' | |
| (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| src/Idris/Core/TT.hs:236:10: Warning: | |
| In the use of type constructor or class `Error' | |
| (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| src/Idris/Core/TT.hs:237:3: Warning: | |
| In the use of `strMsg' (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| [15 of 93] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.o ) | |
| [16 of 93] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.o ) | |
| [17 of 93] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.o ) | |
| [18 of 93] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.o ) | |
| [19 of 93] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.o ) | |
| src/Idris/Core/Constraints.hs:9:1: Warning: | |
| Module `Control.Monad.Error' is deprecated: | |
| Use Control.Monad.Except instead | |
| [20 of 93] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, dist/build/Idris/Core/ProofTerm.o ) | |
| [21 of 93] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.o ) | |
| [22 of 93] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.o ) | |
| [23 of 93] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.o ) | |
| [24 of 93] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.o ) | |
| [25 of 93] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.o ) | |
| [26 of 93] Compiling Idris.Unlit ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.o ) | |
| [27 of 93] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.o ) | |
| [28 of 93] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.o ) | |
| [29 of 93] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.o ) | |
| [30 of 93] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.o ) | |
| src/Idris/AbsSyntaxTree.hs:22:1: Warning: | |
| Module `Control.Monad.Trans.Error' is deprecated: | |
| Use Control.Monad.Trans.Except instead | |
| src/Idris/AbsSyntaxTree.hs:301:29: Warning: | |
| In the use of type constructor or class `ErrorT' | |
| (imported from Control.Monad.Trans.Error): | |
| Deprecated: "Use Control.Monad.Trans.Except instead" | |
| [31 of 93] Compiling Idris.DeepSeq ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.o ) | |
| [32 of 93] Compiling Idris.ASTUtils ( src/Idris/ASTUtils.hs, dist/build/Idris/ASTUtils.o ) | |
| [33 of 93] Compiling IRTS.BCImp ( src/IRTS/BCImp.hs, dist/build/IRTS/BCImp.o ) | |
| [34 of 93] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.o ) | |
| [35 of 93] Compiling IRTS.LangOpts ( src/IRTS/LangOpts.hs, dist/build/IRTS/LangOpts.o ) | |
| [36 of 93] Compiling IRTS.DumpBC ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.o ) | |
| [37 of 93] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.o ) | |
| [38 of 93] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, dist/build/Idris/Core/Binary.o ) | |
| [39 of 93] Compiling Idris.IdeSlave ( src/Idris/IdeSlave.hs, dist/build/Idris/IdeSlave.o ) | |
| [40 of 93] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.o ) | |
| src/Idris/AbsSyntax.hs:22:1: Warning: | |
| Module `Control.Monad.Error' is deprecated: | |
| Use Control.Monad.Except instead | |
| src/Idris/AbsSyntax.hs:35:1: Warning: | |
| Module `Control.Monad.Error' is deprecated: | |
| Use Control.Monad.Except instead | |
| [41 of 93] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.o ) | |
| [42 of 93] Compiling Idris.DSL ( src/Idris/DSL.hs, dist/build/Idris/DSL.o ) | |
| [43 of 93] Compiling Idris.DataOpts ( src/Idris/DataOpts.hs, dist/build/Idris/DataOpts.o ) | |
| [44 of 93] Compiling Idris.Inliner ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.o ) | |
| [45 of 93] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.o ) | |
| [46 of 93] Compiling Idris.Apropos ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.o ) | |
| [47 of 93] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.o ) | |
| [48 of 93] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.o ) | |
| [49 of 93] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.o ) | |
| [50 of 93] Compiling Idris.Docs ( src/Idris/Docs.hs, dist/build/Idris/Docs.o ) | |
| [51 of 93] Compiling Idris.ElabQuasiquote ( src/Idris/ElabQuasiquote.hs, dist/build/Idris/ElabQuasiquote.o ) | |
| [52 of 93] Compiling Idris.WhoCalls ( src/Idris/WhoCalls.hs, dist/build/Idris/WhoCalls.o ) | |
| [53 of 93] Compiling IRTS.CodegenC ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.o ) | |
| [54 of 93] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.o ) | |
| [55 of 93] Compiling Idris.Output ( src/Idris/Output.hs, dist/build/Idris/Output.o ) | |
| src/Idris/Output.hs:18:1: Warning: | |
| Module `Control.Monad.Error' is deprecated: | |
| Use Control.Monad.Except instead | |
| <no location info>: | |
| Failing due to -Werror. | |
| Failed to install idris-0.9.15.1 | |
| cabal: Error: some packages failed to install: | |
| idris-0.9.15.1 failed during the building phase. The exception was: | |
| ExitFailure 1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment