Resolving dependencies... Starting annotated-wl-pprint-0.7.0 Starting base64-bytestring-1.2.1.0 Starting base-orphans-0.8.6 Starting base-compat-0.12.1 Building base64-bytestring-1.2.1.0 Building base-orphans-0.8.6 Building annotated-wl-pprint-0.7.0 Building base-compat-0.12.1 Completed annotated-wl-pprint-0.7.0 Starting blaze-builder-0.4.2.2 Building blaze-builder-0.4.2.2 Completed base64-bytestring-1.2.1.0 Starting code-page-0.2.1 Building code-page-0.2.1 Completed code-page-0.2.1 Starting colour-2.3.6 Building colour-2.3.6 Completed base-orphans-0.8.6 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed base-compat-0.12.1 Starting digest-0.0.1.3 Completed blaze-builder-0.4.2.2 Starting dlist-1.0 Building digest-0.0.1.3 Building dlist-1.0 Completed data-default-class-0.1.2.0 Starting fingertree-0.1.4.2 Building fingertree-0.1.4.2 Completed digest-0.0.1.3 Starting hashable-1.3.5.0 Building hashable-1.3.5.0 Completed dlist-1.0 Starting ieee754-0.8.0 Building ieee754-0.8.0 Completed colour-2.3.6 Starting indexed-traversable-0.1.2 Building indexed-traversable-0.1.2 Completed hashable-1.3.5.0 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Completed fingertree-0.1.4.2 Starting network-3.1.0.1 Completed ieee754-0.8.0 Starting old-locale-1.0.0.7 Completed integer-logarithms-1.0.3.1 Starting parser-combinators-1.3.0 Building old-locale-1.0.0.7 Building parser-combinators-1.3.0 Completed indexed-traversable-0.1.2 Starting primitive-0.7.3.0 Completed old-locale-1.0.0.7 Starting regex-base-0.94.0.1 Building primitive-0.7.3.0 Building regex-base-0.94.0.1 Building network-3.1.0.1 Completed parser-combinators-1.3.0 Starting safe-0.3.19 Building safe-0.3.19 Completed regex-base-0.94.0.1 Starting split-0.2.3.4 Building split-0.2.3.4 Completed split-0.2.3.4 Starting splitmix-0.1.0.4 Completed safe-0.3.19 Starting syb-0.7.2.1 Building splitmix-0.1.0.4 Building syb-0.7.2.1 Completed network-3.1.0.1 Starting tagged-0.8.6.1 Completed splitmix-0.1.0.4 Starting tagsoup-0.14.8 Building tagged-0.8.6.1 Building tagsoup-0.14.8 Completed syb-0.7.2.1 Starting terminal-size-0.3.2.1 Building terminal-size-0.3.2.1 Completed tagged-0.8.6.1 Starting th-abstraction-0.4.3.0 Completed terminal-size-0.3.2.1 Starting th-compat-0.1.3 Building th-abstraction-0.4.3.0 Building th-compat-0.1.3 Completed primitive-0.7.3.0 Starting transformers-compat-0.7.1 Building transformers-compat-0.7.1 Completed th-compat-0.1.3 Starting type-equality-1 Building type-equality-1 Completed type-equality-1 Starting unix-compat-0.5.3 Building unix-compat-0.5.3 Completed transformers-compat-0.7.1 Starting utf8-string-1.0.2 Completed th-abstraction-0.4.3.0 Starting zlib-0.6.2.3 Building utf8-string-1.0.2 Building zlib-0.6.2.3 Completed unix-compat-0.5.3 Starting blaze-markup-0.8.2.8 Building blaze-markup-0.8.2.8 Completed tagsoup-0.14.8 Starting data-default-instances-containers-0.0.1 Completed utf8-string-1.0.2 Starting data-default-instances-dlist-0.0.1 Building data-default-instances-containers-0.0.1 Building data-default-instances-dlist-0.0.1 Completed zlib-0.6.2.3 Starting ansi-terminal-0.11 Completed blaze-markup-0.8.2.8 Starting unordered-containers-0.2.14.0 Completed data-default-instances-containers-0.0.1 Starting time-compat-1.9.6.1 Completed data-default-instances-dlist-0.0.1 Starting data-fix-0.3.2 Building ansi-terminal-0.11 Building unordered-containers-0.2.14.0 Building time-compat-1.9.6.1 Building data-fix-0.3.2 Completed data-fix-0.3.2 Starting case-insensitive-1.2.1.0 Building case-insensitive-1.2.1.0 Completed ansi-terminal-0.11 Starting async-2.2.4 Building async-2.2.4 Completed time-compat-1.9.6.1 Starting OneTuple-0.3.1 Building OneTuple-0.3.1 Completed case-insensitive-1.2.1.0 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed async-2.2.4 Starting regex-tdfa-1.3.1.1 Completed data-default-instances-old-locale-0.0.1 Starting random-1.2.1 Building regex-tdfa-1.3.1.1 Building random-1.2.1 Completed OneTuple-0.3.1 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed distributive-0.6.2.1 Starting vector-0.12.3.1 Completed unordered-containers-0.2.14.0 Starting scientific-0.3.7.0 Building vector-0.12.3.1 Building scientific-0.3.7.0 Completed scientific-0.3.7.0 Starting network-uri-2.6.4.1 Building network-uri-2.6.4.1 Completed random-1.2.1 Starting transformers-base-0.4.6 Building transformers-base-0.4.6 Completed transformers-base-0.4.6 Starting constraints-0.13.1 Building constraints-0.13.1 Completed network-uri-2.6.4.1 Starting zip-archive-0.4.1 Building zip-archive-0.4.1 Completed regex-tdfa-1.3.1.1 Starting blaze-html-0.9.1.2 Building blaze-html-0.9.1.2 Completed zip-archive-0.4.1 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed constraints-0.13.1 Starting hinotify-0.4.1 Building hinotify-0.4.1 Completed ansi-wl-pprint-0.6.9 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed hinotify-0.4.1 Starting base-compat-batteries-0.12.1 Completed data-default-0.7.1.1 Starting comonad-5.0.8 Building base-compat-batteries-0.12.1 Building comonad-5.0.8 Completed comonad-5.0.8 Starting uniplate-1.6.13 Building uniplate-1.6.13 Completed base-compat-batteries-0.12.1 Starting megaparsec-9.2.0 Building megaparsec-9.2.0 Completed blaze-html-0.9.1.2 Starting attoparsec-0.14.2 Building attoparsec-0.14.2 Completed uniplate-1.6.13 Starting uuid-types-1.0.5 Building uuid-types-1.0.5 Completed uuid-types-1.0.5 Starting monad-control-1.0.3.1 Completed vector-0.12.3.1 Starting optparse-applicative-0.16.1.0 Building monad-control-1.0.3.1 Building optparse-applicative-0.16.1.0 Completed monad-control-1.0.3.1 Starting bifunctors-5.5.11 Completed megaparsec-9.2.0 Starting vector-binary-instances-0.2.5.2 Building bifunctors-5.5.11 Building vector-binary-instances-0.2.5.2 Completed attoparsec-0.14.2 Starting lifted-base-0.2.3.12 Building lifted-base-0.2.3.12 Completed vector-binary-instances-0.2.5.2 Starting css-text-0.1.3.0 Building css-text-0.1.3.0 Completed lifted-base-0.2.3.12 Starting lifted-async-0.10.2.1 Building lifted-async-0.10.2.1 Completed css-text-0.1.3.0 Starting enclosed-exceptions-1.0.3 Completed optparse-applicative-0.16.1.0 Starting xss-sanitize-0.3.7 Building enclosed-exceptions-1.0.3 Building xss-sanitize-0.3.7 Completed enclosed-exceptions-1.0.3 Completed lifted-async-0.10.2.1 Starting shelly-1.9.0 Building shelly-1.9.0 Completed xss-sanitize-0.3.7 Starting cheapskate-0.1.1.2 Building cheapskate-0.1.1.2 Completed bifunctors-5.5.11 Starting assoc-1.0.2 Building assoc-1.0.2 Completed assoc-1.0.2 Starting these-1.1.1.1 Building these-1.1.1.1 Completed shelly-1.9.0 Starting fsnotify-0.3.0.1 Building fsnotify-0.3.0.1 Completed cheapskate-0.1.1.2 Completed these-1.1.1.1 Starting strict-0.4.0.1 Building strict-0.4.0.1 Completed fsnotify-0.3.0.1 Completed strict-0.4.0.1 Starting aeson-1.5.6.0 Building aeson-1.5.6.0 Completed aeson-1.5.6.0 Starting idris-1.3.4 Building idris-1.3.4 Failed to install idris-1.3.4 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/idris-1.3.4-3g9UYo15nNe4GyjgvYXyX2.log ): cabal: Entering directory '/tmp/cabal-tmp-17698/idris-1.3.4' [1 of 1] Compiling Main ( /tmp/cabal-tmp-17698/idris-1.3.4/dist/setup/setup.hs, /tmp/cabal-tmp-17698/idris-1.3.4/dist/setup/Main.o ) Linking /tmp/cabal-tmp-17698/idris-1.3.4/dist/setup/setup ... Configuring idris-1.3.4... make: Entering directory '/tmp/cabal-tmp-17698/idris-1.3.4/rts' rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o idris_opts.o idris_stats.o idris_utf8.o idris_stdfgn.o idris_buffer.o getline.o idris_net.o mini-gmp.o libidris_rts.a make: Leaving directory '/tmp/cabal-tmp-17698/idris-1.3.4/rts' fatal: not a git repository (or any of the parent directories): .git Generating dist/build/autogen/BuildFlags_idris.hs Generating dist/build/autogen/Version_idris.hs for prerelease PRE Preprocessing library for idris-1.3.4.. Building library for idris-1.3.4.. [ 1 of 115] Compiling BuildFlags_idris ( dist/build/autogen/BuildFlags_idris.hs, dist/build/BuildFlags_idris.o, dist/build/BuildFlags_idris.dyn_o ) [ 2 of 115] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, dist/build/IRTS/JavaScript/AST.o, dist/build/IRTS/JavaScript/AST.dyn_o ) [ 3 of 115] Compiling Idris.Colours ( src/Idris/Colours.hs, dist/build/Idris/Colours.o, dist/build/Idris/Colours.dyn_o ) [ 4 of 115] Compiling Idris.Help ( src/Idris/Help.hs, dist/build/Idris/Help.o, dist/build/Idris/Help.dyn_o ) [ 5 of 115] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.o, dist/build/Paths_idris.dyn_o ) [ 6 of 115] Compiling IRTS.System ( src/IRTS/System.hs, dist/build/IRTS/System.o, dist/build/IRTS/System.dyn_o ) [ 7 of 115] Compiling Tools_idris ( dist/build/autogen/Tools_idris.hs, dist/build/Tools_idris.o, dist/build/Tools_idris.dyn_o ) [ 8 of 115] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.o, dist/build/Util/DynamicLinker.dyn_o ) [ 9 of 115] Compiling Util.Net ( src/Util/Net.hs, dist/build/Util/Net.o, dist/build/Util/Net.dyn_o ) [ 10 of 115] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/Util/Pretty.o, dist/build/Util/Pretty.dyn_o ) [ 11 of 115] Compiling Idris.Core.TT ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.o, dist/build/Idris/Core/TT.dyn_o ) [ 12 of 115] Compiling Idris.Unlit ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.o, dist/build/Idris/Unlit.dyn_o ) [ 13 of 115] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.o, dist/build/Idris/Docstrings.dyn_o ) [ 14 of 115] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.o, dist/build/Idris/Core/Constraints.dyn_o ) [ 15 of 115] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.o, dist/build/Idris/Core/CaseTree.dyn_o ) [ 16 of 115] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.o, dist/build/Idris/Core/Evaluate.dyn_o ) [ 17 of 115] Compiling Idris.Core.WHNF ( src/Idris/Core/WHNF.hs, dist/build/Idris/Core/WHNF.o, dist/build/Idris/Core/WHNF.dyn_o ) [ 18 of 115] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.o, dist/build/Idris/Core/Unify.dyn_o ) [ 19 of 115] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.o, dist/build/Idris/Core/Typecheck.dyn_o ) [ 20 of 115] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, dist/build/Idris/Core/ProofTerm.o, dist/build/Idris/Core/ProofTerm.dyn_o ) [ 21 of 115] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.o, dist/build/Idris/Core/DeepSeq.dyn_o ) [ 22 of 115] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, dist/build/Idris/Core/Binary.o, dist/build/Idris/Core/Binary.dyn_o ) [ 23 of 115] Compiling Idris.IdeMode ( src/Idris/IdeMode.hs, dist/build/Idris/IdeMode.o, dist/build/Idris/IdeMode.dyn_o ) [ 24 of 115] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.o, dist/build/IRTS/Lang.dyn_o ) [ 25 of 115] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.o, dist/build/Idris/Primitives.dyn_o ) [ 26 of 115] Compiling IRTS.LangOpts ( src/IRTS/LangOpts.hs, dist/build/IRTS/LangOpts.o, dist/build/IRTS/LangOpts.dyn_o ) [ 27 of 115] Compiling IRTS.JavaScript.Specialize ( src/IRTS/JavaScript/Specialize.hs, dist/build/IRTS/JavaScript/Specialize.o, dist/build/IRTS/JavaScript/Specialize.dyn_o ) [ 28 of 115] Compiling IRTS.JavaScript.PrimOp ( src/IRTS/JavaScript/PrimOp.hs, dist/build/IRTS/JavaScript/PrimOp.o, dist/build/IRTS/JavaScript/PrimOp.dyn_o ) [ 29 of 115] Compiling IRTS.JavaScript.Name ( src/IRTS/JavaScript/Name.hs, dist/build/IRTS/JavaScript/Name.o, dist/build/IRTS/JavaScript/Name.dyn_o ) [ 30 of 115] Compiling IRTS.JavaScript.LangTransforms ( src/IRTS/JavaScript/LangTransforms.hs, dist/build/IRTS/JavaScript/LangTransforms.o, dist/build/IRTS/JavaScript/LangTransforms.dyn_o ) [ 31 of 115] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.o, dist/build/IRTS/Defunctionalise.dyn_o ) [ 32 of 115] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.o, dist/build/IRTS/Simplified.dyn_o ) [ 33 of 115] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.o, dist/build/IRTS/Inliner.dyn_o ) [ 34 of 115] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.o, dist/build/IRTS/CodegenCommon.dyn_o ) [ 35 of 115] Compiling Idris.Options ( src/Idris/Options.hs, dist/build/Idris/Options.o, dist/build/Idris/Options.dyn_o ) [ 36 of 115] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.o, dist/build/IRTS/Bytecode.dyn_o ) [ 37 of 115] Compiling IRTS.Portable ( src/IRTS/Portable.hs, dist/build/IRTS/Portable.o, dist/build/IRTS/Portable.dyn_o ) [ 38 of 115] Compiling IRTS.DumpBC ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.o, dist/build/IRTS/DumpBC.dyn_o ) [ 39 of 115] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.o, dist/build/Idris/Core/ProofState.dyn_o ) [ 40 of 115] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.o, dist/build/Idris/Core/Elaborate.dyn_o ) [ 41 of 115] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.o, dist/build/Idris/AbsSyntaxTree.dyn_o ) [ 42 of 115] Compiling Idris.DeepSeq ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.o, dist/build/Idris/DeepSeq.dyn_o ) [ 43 of 115] Compiling Idris.ASTUtils ( src/Idris/ASTUtils.hs, dist/build/Idris/ASTUtils.o, dist/build/Idris/ASTUtils.dyn_o ) [ 44 of 115] Compiling Util.ScreenSize ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.o, dist/build/Util/ScreenSize.dyn_o ) [ 45 of 115] Compiling Util.System ( src/Util/System.hs, dist/build/Util/System.o, dist/build/Util/System.dyn_o ) [ 46 of 115] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.o, dist/build/Idris/AbsSyntax.dyn_o ) [ 47 of 115] Compiling Idris.WhoCalls ( src/Idris/WhoCalls.hs, dist/build/Idris/WhoCalls.o, dist/build/Idris/WhoCalls.dyn_o ) [ 48 of 115] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.o, dist/build/Idris/Transforms.dyn_o ) [ 49 of 115] Compiling Idris.REPL.Browse ( src/Idris/REPL/Browse.hs, dist/build/Idris/REPL/Browse.o, dist/build/Idris/REPL/Browse.dyn_o ) [ 50 of 115] Compiling Idris.Inliner ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.o, dist/build/Idris/Inliner.dyn_o ) [ 51 of 115] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.o, dist/build/Idris/ErrReverse.dyn_o ) [ 52 of 115] Compiling Idris.Elab.Quasiquote ( src/Idris/Elab/Quasiquote.hs, dist/build/Idris/Elab/Quasiquote.o, dist/build/Idris/Elab/Quasiquote.dyn_o ) [ 53 of 115] Compiling Idris.Elab.AsPat ( src/Idris/Elab/AsPat.hs, dist/build/Idris/Elab/AsPat.o, dist/build/Idris/Elab/AsPat.dyn_o ) [ 54 of 115] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.o, dist/build/Idris/Delaborate.dyn_o ) [ 55 of 115] Compiling Idris.Reflection ( src/Idris/Reflection.hs, dist/build/Idris/Reflection.o, dist/build/Idris/Reflection.dyn_o ) [ 56 of 115] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, dist/build/Idris/ProofSearch.o, dist/build/Idris/ProofSearch.dyn_o ) [ 57 of 115] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.o, dist/build/Idris/PartialEval.dyn_o ) [ 58 of 115] Compiling Idris.Output ( src/Idris/Output.hs, dist/build/Idris/Output.o, dist/build/Idris/Output.dyn_o ) [ 59 of 115] Compiling Idris.Parser.Stack ( src/Idris/Parser/Stack.hs, dist/build/Idris/Parser/Stack.o, dist/build/Idris/Parser/Stack.dyn_o ) [ 60 of 115] Compiling Idris.Parser.Helpers ( src/Idris/Parser/Helpers.hs, dist/build/Idris/Parser/Helpers.o, dist/build/Idris/Parser/Helpers.dyn_o ) [ 61 of 115] Compiling Idris.Parser.Ops ( src/Idris/Parser/Ops.hs, dist/build/Idris/Parser/Ops.o, dist/build/Idris/Parser/Ops.dyn_o ) [ 62 of 115] Compiling Idris.Error ( src/Idris/Error.hs, dist/build/Idris/Error.o, dist/build/Idris/Error.dyn_o ) [ 63 of 115] Compiling Idris.Termination ( src/Idris/Termination.hs, dist/build/Idris/Termination.o, dist/build/Idris/Termination.dyn_o ) [ 64 of 115] Compiling Idris.Providers ( src/Idris/Providers.hs, dist/build/Idris/Providers.o, dist/build/Idris/Providers.dyn_o ) [ 65 of 115] Compiling Idris.Imports ( src/Idris/Imports.hs, dist/build/Idris/Imports.o, dist/build/Idris/Imports.dyn_o ) [ 66 of 115] Compiling Idris.REPL.Commands ( src/Idris/REPL/Commands.hs, dist/build/Idris/REPL/Commands.o, dist/build/Idris/REPL/Commands.dyn_o ) [ 67 of 115] Compiling Idris.Package.Common ( src/Idris/Package/Common.hs, dist/build/Idris/Package/Common.o, dist/build/Idris/Package/Common.dyn_o ) [ 68 of 115] Compiling Idris.Directives ( src/Idris/Directives.hs, dist/build/Idris/Directives.o, dist/build/Idris/Directives.dyn_o ) [ 69 of 115] Compiling Idris.IBC ( src/Idris/IBC.hs, dist/build/Idris/IBC.o, dist/build/Idris/IBC.dyn_o ) [ 70 of 115] Compiling Idris.Erasure ( src/Idris/Erasure.hs, dist/build/Idris/Erasure.o, dist/build/Idris/Erasure.dyn_o ) [ 71 of 115] Compiling Idris.Elab.Utils ( src/Idris/Elab/Utils.hs, dist/build/Idris/Elab/Utils.o, dist/build/Idris/Elab/Utils.dyn_o ) [ 72 of 115] Compiling Idris.Elab.Rewrite ( src/Idris/Elab/Rewrite.hs, dist/build/Idris/Elab/Rewrite.o, dist/build/Idris/Elab/Rewrite.dyn_o ) [ 73 of 115] Compiling Idris.Docs ( src/Idris/Docs.hs, dist/build/Idris/Docs.o, dist/build/Idris/Docs.dyn_o ) [ 74 of 115] Compiling Idris.IdrisDoc ( src/Idris/IdrisDoc.hs, dist/build/Idris/IdrisDoc.o, dist/build/Idris/IdrisDoc.dyn_o ) [ 75 of 115] Compiling Idris.DataOpts ( src/Idris/DataOpts.hs, dist/build/Idris/DataOpts.o, dist/build/Idris/DataOpts.dyn_o ) [ 76 of 115] Compiling Idris.DSL ( src/Idris/DSL.hs, dist/build/Idris/DSL.o, dist/build/Idris/DSL.dyn_o ) [ 77 of 115] Compiling Idris.Parser.Expr ( src/Idris/Parser/Expr.hs, dist/build/Idris/Parser/Expr.o, dist/build/Idris/Parser/Expr.dyn_o ) [ 78 of 115] Compiling Idris.Parser.Data ( src/Idris/Parser/Data.hs, dist/build/Idris/Parser/Data.o, dist/build/Idris/Parser/Data.dyn_o ) [ 79 of 115] Compiling Idris.Coverage ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.o, dist/build/Idris/Coverage.dyn_o ) [ 80 of 115] Compiling Idris.Elab.Term ( src/Idris/Elab/Term.hs, dist/build/Idris/Elab/Term.o, dist/build/Idris/Elab/Term.dyn_o ) [ 81 of 115] Compiling Idris.Elab.Value ( src/Idris/Elab/Value.hs, dist/build/Idris/Elab/Value.o, dist/build/Idris/Elab/Value.dyn_o ) [ 82 of 115] Compiling Idris.Elab.Type ( src/Idris/Elab/Type.hs, dist/build/Idris/Elab/Type.o, dist/build/Idris/Elab/Type.dyn_o ) [ 83 of 115] Compiling Idris.TypeSearch ( src/Idris/TypeSearch.hs, dist/build/Idris/TypeSearch.o, dist/build/Idris/TypeSearch.dyn_o ) [ 84 of 115] Compiling Idris.Elab.Data ( src/Idris/Elab/Data.hs, dist/build/Idris/Elab/Data.o, dist/build/Idris/Elab/Data.dyn_o ) [ 85 of 115] Compiling Idris.Elab.Record ( src/Idris/Elab/Record.hs, dist/build/Idris/Elab/Record.o, dist/build/Idris/Elab/Record.dyn_o ) [ 86 of 115] Compiling Idris.Elab.Interface ( src/Idris/Elab/Interface.hs, dist/build/Idris/Elab/Interface.o, dist/build/Idris/Elab/Interface.dyn_o ) [ 87 of 115] Compiling Idris.Elab.Transform ( src/Idris/Elab/Transform.hs, dist/build/Idris/Elab/Transform.o, dist/build/Idris/Elab/Transform.dyn_o ) [ 88 of 115] Compiling Idris.Elab.RunElab ( src/Idris/Elab/RunElab.hs, dist/build/Idris/Elab/RunElab.o, dist/build/Idris/Elab/RunElab.dyn_o ) [ 89 of 115] Compiling Idris.Elab.Implementation ( src/Idris/Elab/Implementation.hs, dist/build/Idris/Elab/Implementation.o, dist/build/Idris/Elab/Implementation.dyn_o ) [ 90 of 115] Compiling Idris.Elab.Clause ( src/Idris/Elab/Clause.hs, dist/build/Idris/Elab/Clause.o, dist/build/Idris/Elab/Clause.dyn_o ) [ 91 of 115] Compiling Idris.Core.Execute ( src/Idris/Core/Execute.hs, dist/build/Idris/Core/Execute.o, dist/build/Idris/Core/Execute.dyn_o ) [ 92 of 115] Compiling Idris.Elab.Provider ( src/Idris/Elab/Provider.hs, dist/build/Idris/Elab/Provider.o, dist/build/Idris/Elab/Provider.dyn_o ) [ 93 of 115] Compiling Idris.ElabDecls ( src/Idris/ElabDecls.hs, dist/build/Idris/ElabDecls.o, dist/build/Idris/ElabDecls.dyn_o ) [ 94 of 115] Compiling Idris.Parser ( src/Idris/Parser.hs, dist/build/Idris/Parser.o, dist/build/Idris/Parser.dyn_o ) [ 95 of 115] Compiling Idris.REPL.Parser ( src/Idris/REPL/Parser.hs, dist/build/Idris/REPL/Parser.o, dist/build/Idris/REPL/Parser.dyn_o ) [ 96 of 115] Compiling Idris.Completion ( src/Idris/Completion.hs, dist/build/Idris/Completion.o, dist/build/Idris/Completion.dyn_o ) [ 97 of 115] Compiling Idris.Prover ( src/Idris/Prover.hs, dist/build/Idris/Prover.o, dist/build/Idris/Prover.dyn_o ) [ 98 of 115] Compiling Idris.Chaser ( src/Idris/Chaser.hs, dist/build/Idris/Chaser.o, dist/build/Idris/Chaser.dyn_o ) [ 99 of 115] Compiling Idris.CaseSplit ( src/Idris/CaseSplit.hs, dist/build/Idris/CaseSplit.o, dist/build/Idris/CaseSplit.dyn_o ) [100 of 115] Compiling Idris.Interactive ( src/Idris/Interactive.hs, dist/build/Idris/Interactive.o, dist/build/Idris/Interactive.dyn_o ) [101 of 115] Compiling Idris.Apropos ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.o, dist/build/Idris/Apropos.dyn_o ) [102 of 115] Compiling IRTS.Exports ( src/IRTS/Exports.hs, dist/build/IRTS/Exports.o, dist/build/IRTS/Exports.dyn_o ) [103 of 115] Compiling IRTS.JavaScript.Codegen ( src/IRTS/JavaScript/Codegen.hs, dist/build/IRTS/JavaScript/Codegen.o, dist/build/IRTS/JavaScript/Codegen.dyn_o ) [104 of 115] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.o, dist/build/IRTS/CodegenJavaScript.dyn_o ) [105 of 115] Compiling IRTS.CodegenC ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.o, dist/build/IRTS/CodegenC.dyn_o ) [106 of 115] Compiling IRTS.Compiler ( src/IRTS/Compiler.hs, dist/build/IRTS/Compiler.o, dist/build/IRTS/Compiler.dyn_o ) [107 of 115] Compiling Version_idris ( dist/build/autogen/Version_idris.hs, dist/build/Version_idris.o, dist/build/Version_idris.dyn_o ) [108 of 115] Compiling Idris.Info ( src/Idris/Info.hs, dist/build/Idris/Info.o, dist/build/Idris/Info.dyn_o ) [109 of 115] Compiling Idris.ModeCommon ( src/Idris/ModeCommon.hs, dist/build/Idris/ModeCommon.o, dist/build/Idris/ModeCommon.dyn_o ) [110 of 115] Compiling Idris.REPL ( src/Idris/REPL.hs, dist/build/Idris/REPL.o, dist/build/Idris/REPL.dyn_o ) [111 of 115] Compiling Idris.Main ( src/Idris/Main.hs, dist/build/Idris/Main.o, dist/build/Idris/Main.dyn_o ) [112 of 115] Compiling Idris.Info.Show ( src/Idris/Info/Show.hs, dist/build/Idris/Info/Show.o, dist/build/Idris/Info/Show.dyn_o ) [113 of 115] Compiling Idris.CmdOptions ( src/Idris/CmdOptions.hs, dist/build/Idris/CmdOptions.o, dist/build/Idris/CmdOptions.dyn_o ) [114 of 115] Compiling Idris.Package.Parser ( src/Idris/Package/Parser.hs, dist/build/Idris/Package/Parser.o, dist/build/Idris/Package/Parser.dyn_o ) [115 of 115] Compiling Idris.Package ( src/Idris/Package.hs, dist/build/Idris/Package.o, dist/build/Idris/Package.dyn_o ) Preprocessing executable 'idris' for idris-1.3.4.. Building executable 'idris' for idris-1.3.4.. [1 of 1] Compiling Main ( main/Main.hs, dist/build/idris/idris-tmp/Main.o ) Linking dist/build/idris/idris ... Preprocessing executable 'idris-codegen-c' for idris-1.3.4.. Building executable 'idris-codegen-c' for idris-1.3.4.. [1 of 2] Compiling Main ( codegen/idris-codegen-c/Main.hs, dist/build/idris-codegen-c/idris-codegen-c-tmp/Main.o ) [2 of 2] Compiling Paths_idris ( dist/build/idris-codegen-c/autogen/Paths_idris.hs, dist/build/idris-codegen-c/idris-codegen-c-tmp/Paths_idris.o ) Linking dist/build/idris-codegen-c/idris-codegen-c ... Preprocessing executable 'idris-codegen-javascript' for idris-1.3.4.. Building executable 'idris-codegen-javascript' for idris-1.3.4.. [1 of 2] Compiling Main ( codegen/idris-codegen-javascript/Main.hs, dist/build/idris-codegen-javascript/idris-codegen-javascript-tmp/Main.o ) [2 of 2] Compiling Paths_idris ( dist/build/idris-codegen-javascript/autogen/Paths_idris.hs, dist/build/idris-codegen-javascript/idris-codegen-javascript-tmp/Paths_idris.o ) Linking dist/build/idris-codegen-javascript/idris-codegen-javascript ... Preprocessing executable 'idris-codegen-node' for idris-1.3.4.. Building executable 'idris-codegen-node' for idris-1.3.4.. [1 of 2] Compiling Main ( codegen/idris-codegen-node/Main.hs, dist/build/idris-codegen-node/idris-codegen-node-tmp/Main.o ) [2 of 2] Compiling Paths_idris ( dist/build/idris-codegen-node/autogen/Paths_idris.hs, dist/build/idris-codegen-node/idris-codegen-node-tmp/Paths_idris.o ) Linking dist/build/idris-codegen-node/idris-codegen-node ... Building libraries... make: Entering directory '/tmp/cabal-tmp-17698/idris-1.3.4/libs' make -C prelude build make[1]: Entering directory '/tmp/cabal-tmp-17698/idris-1.3.4/libs/prelude' ../../dist/build/idris/idris --build prelude.ipkg Type checking ./Builtins.idr Type checking ./Prelude/Uninhabited.idr Type checking ./Prelude/Algebra.idr Type checking ./Prelude/Bool.idr Type checking ./Prelude/Basics.idr Type checking ./Prelude/Interfaces.idr Type checking ./Prelude/Foldable.idr Type checking ./Prelude/Cast.idr Type checking ./Prelude/Maybe.idr Type checking ./Prelude/Nat.idr Type checking ./Prelude/Functor.idr Type checking ./Prelude/List.idr Type checking ./Prelude/Either.idr Type checking ./Decidable/Equality.idr Type checking ./IO.idr Type checking ./Prelude/Applicative.idr Type checking ./Prelude/Traversable.idr Type checking ./Language/Reflection.idr Type checking ./Language/Reflection/Errors.idr Type checking ./Prelude/Monad.idr Type checking ./Language/Reflection/Elab.idr Type checking ./Prelude/WellFounded.idr Type checking ./Prelude/Doubles.idr Type checking ./Prelude/Chars.idr Type checking ./Prelude/Strings.idr Type checking ./Prelude/Bits.idr Type checking ./Prelude/Show.idr Type checking ./Prelude/File.idr Type checking ./Prelude/Interactive.idr Type checking ./Prelude/Providers.idr Type checking ./Prelude/Stream.idr Type checking ./Prelude/Pairs.idr Type checking ./Prelude.idr make[1]: Leaving directory '/tmp/cabal-tmp-17698/idris-1.3.4/libs/prelude' make -C base build make[1]: Entering directory '/tmp/cabal-tmp-17698/idris-1.3.4/libs/base' ../../dist/build/idris/idris --build base.ipkg Type checking ./Data/Morphisms.idr Type checking ./Control/Category.idr Type checking ./Control/Arrow.idr Type checking ./Control/Monad/Trans.idr Type checking ./Control/Monad/Identity.idr Type checking ./Control/Monad/Reader.idr Type checking ./Control/Monad/Writer.idr Type checking ./Control/Monad/State.idr Type checking ./Control/Monad/RWS.idr Type checking ./Control/IOExcept.idr Type checking ./Control/Catchable.idr Type checking ./Data/Fin.idr Type checking ./Syntax/PreorderReasoning.idr Type checking ./Control/Isomorphism.idr Type checking ./Data/Bits.idr Type checking ./Data/Buffer.idr Type checking ./Data/Complex.idr Type checking ./Data/Erased.idr Type checking ./Data/Vect.idr Makefile:5: recipe for target 'build' failed make[1]: *** [build] Terminated make[1]: Leaving directory '/tmp/cabal-tmp-17698/idris-1.3.4/libs/base' Makefile:2: recipe for target 'build' failed make: *** [build] Error 2 make: Leaving directory '/tmp/cabal-tmp-17698/idris-1.3.4/libs' cabal: Leaving directory '/tmp/cabal-tmp-17698/idris-1.3.4' cabal: Error: some packages failed to install: idris-1.3.4-3g9UYo15nNe4GyjgvYXyX2 failed during the building phase. The exception was: ExitFailure 2