+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris-1.3.4nb6/work.log + su pbulk -c '"$@"' make /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris-1.3.4nb6/work.log => Bootstrap dependency digest>=20211023: found digest-20220214 ===> Building for idris-1.3.4nb6 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 ) [ 2 of 115] Compiling IRTS.JavaScript.AST ( src/IRTS/JavaScript/AST.hs, dist/build/IRTS/JavaScript/AST.o ) [ 3 of 115] Compiling Idris.Colours ( src/Idris/Colours.hs, dist/build/Idris/Colours.o ) [ 4 of 115] Compiling Idris.Help ( src/Idris/Help.hs, dist/build/Idris/Help.o ) [ 5 of 115] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/Paths_idris.o ) [ 6 of 115] Compiling IRTS.System ( src/IRTS/System.hs, dist/build/IRTS/System.o ) [ 7 of 115] Compiling Tools_idris ( dist/build/autogen/Tools_idris.hs, dist/build/Tools_idris.o ) [ 8 of 115] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/Util/DynamicLinker.o ) [ 9 of 115] Compiling Util.Net ( src/Util/Net.hs, dist/build/Util/Net.o ) [ 10 of 115] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/Util/Pretty.o ) [ 11 of 115] Compiling Idris.Core.TT ( src/Idris/Core/TT.hs, dist/build/Idris/Core/TT.o ) src/Idris/Core/TT.hs:127:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical `(<>) = mappend' definition detected in the instance declaration for `S.Semigroup FC'. Move definition from `mappend' to `(<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 127 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:134:3: warning: [-Wnoncanonical-monoid-instances] Noncanonical `mappend' definition detected in the instance declaration for `Monoid FC'. `mappend' will eventually be removed in favour of `(<>)' Either remove definition for `mappend' (recommended) or define as `mappend = (<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 134 | mappend (FC f start end) (FC f' start' end') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Idris/Core/TT.hs:326:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `return' definition detected in the instance declaration for `Monad TC'. `return' will eventually be removed in favour of `pure' Either remove definition for `return' (recommended) or define as `return = pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 326 | return x = OK x | ^^^^^^^^^^^^^^^ src/Idris/Core/TT.hs:343:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `pure = return' definition detected in the instance declaration for `Applicative TC'. Move definition from `return' to `pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 343 | pure = return | ^^^^^^^^^^^^^ [ 12 of 115] Compiling Idris.Unlit ( src/Idris/Unlit.hs, dist/build/Idris/Unlit.o ) [ 13 of 115] Compiling Idris.Docstrings ( src/Idris/Docstrings.hs, dist/build/Idris/Docstrings.o ) [ 14 of 115] Compiling Idris.Core.Constraints ( src/Idris/Core/Constraints.hs, dist/build/Idris/Core/Constraints.o ) [ 15 of 115] Compiling Idris.Core.CaseTree ( src/Idris/Core/CaseTree.hs, dist/build/Idris/Core/CaseTree.o ) src/Idris/Core/CaseTree.hs:177:11: warning: [-Woverlapping-patterns] Pattern match is redundant In an equation for `nut': nut ps fn@(App _ f a) | (P (TCon _ _) n _, _) <- unApply fn = ... | 177 | | (P (TCon _ _) n _, _) <- unApply fn = S.empty | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 16 of 115] Compiling Idris.Core.Evaluate ( src/Idris/Core/Evaluate.hs, dist/build/Idris/Core/Evaluate.o ) [ 17 of 115] Compiling Idris.Core.WHNF ( src/Idris/Core/WHNF.hs, dist/build/Idris/Core/WHNF.o ) [ 18 of 115] Compiling Idris.Core.Unify ( src/Idris/Core/Unify.hs, dist/build/Idris/Core/Unify.o ) [ 19 of 115] Compiling Idris.Core.Typecheck ( src/Idris/Core/Typecheck.hs, dist/build/Idris/Core/Typecheck.o ) [ 20 of 115] Compiling Idris.Core.ProofTerm ( src/Idris/Core/ProofTerm.hs, dist/build/Idris/Core/ProofTerm.o ) [ 21 of 115] Compiling Idris.Core.DeepSeq ( src/Idris/Core/DeepSeq.hs, dist/build/Idris/Core/DeepSeq.o ) [ 22 of 115] Compiling Idris.Core.Binary ( src/Idris/Core/Binary.hs, dist/build/Idris/Core/Binary.o ) [ 23 of 115] Compiling Idris.IdeMode ( src/Idris/IdeMode.hs, dist/build/Idris/IdeMode.o ) [ 24 of 115] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/IRTS/Lang.o ) [ 25 of 115] Compiling Idris.Primitives ( src/Idris/Primitives.hs, dist/build/Idris/Primitives.o ) [ 26 of 115] Compiling IRTS.LangOpts ( src/IRTS/LangOpts.hs, dist/build/IRTS/LangOpts.o ) [ 27 of 115] Compiling IRTS.JavaScript.Specialize ( src/IRTS/JavaScript/Specialize.hs, dist/build/IRTS/JavaScript/Specialize.o ) [ 28 of 115] Compiling IRTS.JavaScript.PrimOp ( src/IRTS/JavaScript/PrimOp.hs, dist/build/IRTS/JavaScript/PrimOp.o ) [ 29 of 115] Compiling IRTS.JavaScript.Name ( src/IRTS/JavaScript/Name.hs, dist/build/IRTS/JavaScript/Name.o ) [ 30 of 115] Compiling IRTS.JavaScript.LangTransforms ( src/IRTS/JavaScript/LangTransforms.hs, dist/build/IRTS/JavaScript/LangTransforms.o ) [ 31 of 115] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/IRTS/Defunctionalise.o ) [ 32 of 115] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/IRTS/Simplified.o ) [ 33 of 115] Compiling IRTS.Inliner ( src/IRTS/Inliner.hs, dist/build/IRTS/Inliner.o ) [ 34 of 115] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/IRTS/CodegenCommon.o ) [ 35 of 115] Compiling Idris.Options ( src/Idris/Options.hs, dist/build/Idris/Options.o ) [ 36 of 115] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, dist/build/IRTS/Bytecode.o ) [ 37 of 115] Compiling IRTS.Portable ( src/IRTS/Portable.hs, dist/build/IRTS/Portable.o ) [ 38 of 115] Compiling IRTS.DumpBC ( src/IRTS/DumpBC.hs, dist/build/IRTS/DumpBC.o ) [ 39 of 115] Compiling Idris.Core.ProofState ( src/Idris/Core/ProofState.hs, dist/build/Idris/Core/ProofState.o ) [ 40 of 115] Compiling Idris.Core.Elaborate ( src/Idris/Core/Elaborate.hs, dist/build/Idris/Core/Elaborate.o ) [ 41 of 115] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/Idris/AbsSyntaxTree.o ) [ 42 of 115] Compiling Idris.DeepSeq ( src/Idris/DeepSeq.hs, dist/build/Idris/DeepSeq.o ) [ 43 of 115] Compiling Idris.ASTUtils ( src/Idris/ASTUtils.hs, dist/build/Idris/ASTUtils.o ) [ 44 of 115] Compiling Util.ScreenSize ( src/Util/ScreenSize.hs, dist/build/Util/ScreenSize.o ) [ 45 of 115] Compiling Util.System ( src/Util/System.hs, dist/build/Util/System.o ) [ 46 of 115] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/Idris/AbsSyntax.o ) src/Idris/AbsSyntax.hs:2271:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `pure = return' definition detected in the instance declaration for `Applicative (EitherErr a)'. Move definition from `return' to `pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2271 | pure = return | ^^^^^^^^^^^^^^ src/Idris/AbsSyntax.hs:2275:5: warning: [-Wnoncanonical-monad-instances] Noncanonical `return' definition detected in the instance declaration for `Monad (EitherErr a)'. `return' will eventually be removed in favour of `pure' Either remove definition for `return' (recommended) or define as `return = pure' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/monad-of-no-return | 2275 | return = RightOK | ^^^^^^^^^^^^^^^^ [ 47 of 115] Compiling Idris.WhoCalls ( src/Idris/WhoCalls.hs, dist/build/Idris/WhoCalls.o ) [ 48 of 115] Compiling Idris.Transforms ( src/Idris/Transforms.hs, dist/build/Idris/Transforms.o ) [ 49 of 115] Compiling Idris.REPL.Browse ( src/Idris/REPL/Browse.hs, dist/build/Idris/REPL/Browse.o ) [ 50 of 115] Compiling Idris.Inliner ( src/Idris/Inliner.hs, dist/build/Idris/Inliner.o ) [ 51 of 115] Compiling Idris.ErrReverse ( src/Idris/ErrReverse.hs, dist/build/Idris/ErrReverse.o ) [ 52 of 115] Compiling Idris.Elab.Quasiquote ( src/Idris/Elab/Quasiquote.hs, dist/build/Idris/Elab/Quasiquote.o ) [ 53 of 115] Compiling Idris.Elab.AsPat ( src/Idris/Elab/AsPat.hs, dist/build/Idris/Elab/AsPat.o ) [ 54 of 115] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/Idris/Delaborate.o ) src/Idris/Delaborate.hs:262:27: warning: [-Woverlapping-patterns] Pattern match is redundant In an equation for `splitArg': splitArg tm | otherwise = ... | 262 | | otherwise = tm | ^^^^^^^^^ [ 55 of 115] Compiling Idris.Reflection ( src/Idris/Reflection.hs, dist/build/Idris/Reflection.o ) [ 56 of 115] Compiling Idris.ProofSearch ( src/Idris/ProofSearch.hs, dist/build/Idris/ProofSearch.o ) [ 57 of 115] Compiling Idris.PartialEval ( src/Idris/PartialEval.hs, dist/build/Idris/PartialEval.o ) [ 58 of 115] Compiling Idris.Output ( src/Idris/Output.hs, dist/build/Idris/Output.o ) [ 59 of 115] Compiling Idris.Parser.Stack ( src/Idris/Parser/Stack.hs, dist/build/Idris/Parser/Stack.o ) [ 60 of 115] Compiling Idris.Parser.Helpers ( src/Idris/Parser/Helpers.hs, dist/build/Idris/Parser/Helpers.o ) [ 61 of 115] Compiling Idris.Parser.Ops ( src/Idris/Parser/Ops.hs, dist/build/Idris/Parser/Ops.o ) [ 62 of 115] Compiling Idris.Error ( src/Idris/Error.hs, dist/build/Idris/Error.o ) [ 63 of 115] Compiling Idris.Termination ( src/Idris/Termination.hs, dist/build/Idris/Termination.o ) [ 64 of 115] Compiling Idris.Providers ( src/Idris/Providers.hs, dist/build/Idris/Providers.o ) [ 65 of 115] Compiling Idris.Imports ( src/Idris/Imports.hs, dist/build/Idris/Imports.o ) [ 66 of 115] Compiling Idris.REPL.Commands ( src/Idris/REPL/Commands.hs, dist/build/Idris/REPL/Commands.o ) [ 67 of 115] Compiling Idris.Package.Common ( src/Idris/Package/Common.hs, dist/build/Idris/Package/Common.o ) [ 68 of 115] Compiling Idris.Directives ( src/Idris/Directives.hs, dist/build/Idris/Directives.o ) [ 69 of 115] Compiling Idris.IBC ( src/Idris/IBC.hs, dist/build/Idris/IBC.o ) [ 70 of 115] Compiling Idris.Erasure ( src/Idris/Erasure.hs, dist/build/Idris/Erasure.o ) [ 71 of 115] Compiling Idris.Elab.Utils ( src/Idris/Elab/Utils.hs, dist/build/Idris/Elab/Utils.o ) [ 72 of 115] Compiling Idris.Elab.Rewrite ( src/Idris/Elab/Rewrite.hs, dist/build/Idris/Elab/Rewrite.o ) [ 73 of 115] Compiling Idris.Docs ( src/Idris/Docs.hs, dist/build/Idris/Docs.o ) [ 74 of 115] Compiling Idris.IdrisDoc ( src/Idris/IdrisDoc.hs, dist/build/Idris/IdrisDoc.o ) [ 75 of 115] Compiling Idris.DataOpts ( src/Idris/DataOpts.hs, dist/build/Idris/DataOpts.o ) [ 76 of 115] Compiling Idris.DSL ( src/Idris/DSL.hs, dist/build/Idris/DSL.o ) [ 77 of 115] Compiling Idris.Parser.Expr ( src/Idris/Parser/Expr.hs, dist/build/Idris/Parser/Expr.o ) [ 78 of 115] Compiling Idris.Parser.Data ( src/Idris/Parser/Data.hs, dist/build/Idris/Parser/Data.o ) [ 79 of 115] Compiling Idris.Coverage ( src/Idris/Coverage.hs, dist/build/Idris/Coverage.o ) [ 80 of 115] Compiling Idris.Elab.Term ( src/Idris/Elab/Term.hs, dist/build/Idris/Elab/Term.o ) [ 81 of 115] Compiling Idris.Elab.Value ( src/Idris/Elab/Value.hs, dist/build/Idris/Elab/Value.o ) [ 82 of 115] Compiling Idris.Elab.Type ( src/Idris/Elab/Type.hs, dist/build/Idris/Elab/Type.o ) [ 83 of 115] Compiling Idris.TypeSearch ( src/Idris/TypeSearch.hs, dist/build/Idris/TypeSearch.o ) src/Idris/TypeSearch.hs:248:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical `(<>) = mappend' definition detected in the instance declaration for `S.Semigroup AsymMods'. Move definition from `mappend' to `(<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 248 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/TypeSearch.hs:251:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical `(<>) = mappend' definition detected in the instance declaration for `S.Semigroup Score'. Move definition from `mappend' to `(<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 251 | (<>) = mappend | ^^^^^^^^^^^^^^ src/Idris/TypeSearch.hs:256:3: warning: [-Wnoncanonical-monoid-instances] Noncanonical `mappend' definition detected in the instance declaration for `Monoid (Sided a)'. `mappend' will eventually be removed in favour of `(<>)' Either remove definition for `mappend' (recommended) or define as `mappend = (<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 256 | (Sided l1 r1) `mappend` (Sided l2 r2) = Sided (l1 `mappend` l2) (r1 `mappend` r2) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/TypeSearch.hs:260:3: warning: [-Wnoncanonical-monoid-instances] Noncanonical `mappend' definition detected in the instance declaration for `Monoid AsymMods'. `mappend' will eventually be removed in favour of `(<>)' Either remove definition for `mappend' (recommended) or define as `mappend = (<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 260 | (Mods a b c) `mappend` (Mods a' b' c') = Mods (a + a') (b + b') (c + c') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Idris/TypeSearch.hs:264:3: warning: [-Wnoncanonical-monoid-instances] Noncanonical `mappend' definition detected in the instance declaration for `Monoid Score'. `mappend' will eventually be removed in favour of `(<>)' Either remove definition for `mappend' (recommended) or define as `mappend = (<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 264 | (Score t e mods) `mappend` (Score t' e' mods') = Score (t + t') (e + e') (mods `mappend` mods') | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 84 of 115] Compiling Idris.Elab.Data ( src/Idris/Elab/Data.hs, dist/build/Idris/Elab/Data.o ) [ 85 of 115] Compiling Idris.Elab.Record ( src/Idris/Elab/Record.hs, dist/build/Idris/Elab/Record.o ) [ 86 of 115] Compiling Idris.Elab.Interface ( src/Idris/Elab/Interface.hs, dist/build/Idris/Elab/Interface.o ) [ 87 of 115] Compiling Idris.Elab.Transform ( src/Idris/Elab/Transform.hs, dist/build/Idris/Elab/Transform.o ) [ 88 of 115] Compiling Idris.Elab.RunElab ( src/Idris/Elab/RunElab.hs, dist/build/Idris/Elab/RunElab.o ) [ 89 of 115] Compiling Idris.Elab.Implementation ( src/Idris/Elab/Implementation.hs, dist/build/Idris/Elab/Implementation.o ) [ 90 of 115] Compiling Idris.Elab.Clause ( src/Idris/Elab/Clause.hs, dist/build/Idris/Elab/Clause.o ) [ 91 of 115] Compiling Idris.Core.Execute ( src/Idris/Core/Execute.hs, dist/build/Idris/Core/Execute.o ) [ 92 of 115] Compiling Idris.Elab.Provider ( src/Idris/Elab/Provider.hs, dist/build/Idris/Elab/Provider.o ) src/Idris/Elab/Provider.hs:80:16: warning: [-Woverlapping-patterns] Pattern match is redundant In a case alternative: Provide tm | otherwise -> ... | 80 | | otherwise -> | ^^^^^^^^^ [ 93 of 115] Compiling Idris.ElabDecls ( src/Idris/ElabDecls.hs, dist/build/Idris/ElabDecls.o ) [ 94 of 115] Compiling Idris.Parser ( src/Idris/Parser.hs, dist/build/Idris/Parser.o ) src/Idris/Parser.hs:47:1: warning: [-Wunused-imports] The import of `Data.Foldable' is redundant except perhaps to import instances from `Data.Foldable' To import instances alone, use: import Data.Foldable() | 47 | import Data.Foldable (asum) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 95 of 115] Compiling Idris.REPL.Parser ( src/Idris/REPL/Parser.hs, dist/build/Idris/REPL/Parser.o ) [ 96 of 115] Compiling Idris.Completion ( src/Idris/Completion.hs, dist/build/Idris/Completion.o ) [ 97 of 115] Compiling Idris.Prover ( src/Idris/Prover.hs, dist/build/Idris/Prover.o ) [ 98 of 115] Compiling Idris.Chaser ( src/Idris/Chaser.hs, dist/build/Idris/Chaser.o ) [ 99 of 115] Compiling Idris.CaseSplit ( src/Idris/CaseSplit.hs, dist/build/Idris/CaseSplit.o ) [100 of 115] Compiling Idris.Interactive ( src/Idris/Interactive.hs, dist/build/Idris/Interactive.o ) [101 of 115] Compiling Idris.Apropos ( src/Idris/Apropos.hs, dist/build/Idris/Apropos.o ) [102 of 115] Compiling IRTS.Exports ( src/IRTS/Exports.hs, dist/build/IRTS/Exports.o ) [103 of 115] Compiling IRTS.JavaScript.Codegen ( src/IRTS/JavaScript/Codegen.hs, dist/build/IRTS/JavaScript/Codegen.o ) src/IRTS/JavaScript/Codegen.hs:51:5: warning: [-Wnoncanonical-monoid-instances] Noncanonical `(<>) = mappend' definition detected in the instance declaration for `Semigroup CGStats'. Move definition from `mappend' to `(<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 51 | (<>) = mappend | ^^^^^^^^^^^^^^ src/IRTS/JavaScript/Codegen.hs:61:3: warning: [-Wnoncanonical-monoid-instances] Noncanonical `mappend' definition detected in the instance declaration for `Monoid CGStats'. `mappend' will eventually be removed in favour of `(<>)' Either remove definition for `mappend' (recommended) or define as `mappend = (<>)' See also: https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/semigroup-monoid | 61 | mappend x y = CGStats { partialApplications = partialApplications x `Set.union` partialApplications y | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [104 of 115] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/IRTS/CodegenJavaScript.o ) [105 of 115] Compiling IRTS.CodegenC ( src/IRTS/CodegenC.hs, dist/build/IRTS/CodegenC.o ) [106 of 115] Compiling IRTS.Compiler ( src/IRTS/Compiler.hs, dist/build/IRTS/Compiler.o ) [107 of 115] Compiling Version_idris ( dist/build/autogen/Version_idris.hs, dist/build/Version_idris.o ) [108 of 115] Compiling Idris.Info ( src/Idris/Info.hs, dist/build/Idris/Info.o ) [109 of 115] Compiling Idris.ModeCommon ( src/Idris/ModeCommon.hs, dist/build/Idris/ModeCommon.o ) [110 of 115] Compiling Idris.REPL ( src/Idris/REPL.hs, dist/build/Idris/REPL.o ) [111 of 115] Compiling Idris.Main ( src/Idris/Main.hs, dist/build/Idris/Main.o ) [112 of 115] Compiling Idris.Info.Show ( src/Idris/Info/Show.hs, dist/build/Idris/Info/Show.o ) [113 of 115] Compiling Idris.CmdOptions ( src/Idris/CmdOptions.hs, dist/build/Idris/CmdOptions.o ) [114 of 115] Compiling Idris.Package.Parser ( src/Idris/Package/Parser.hs, dist/build/Idris/Package/Parser.o ) [115 of 115] Compiling Idris.Package ( src/Idris/Package.hs, dist/build/Idris/Package.o ) 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-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-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 ... 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 ... ld: elf error: file dist/build/idris/idris: elf_update: I/O error: output msync: Disc quota exceeded collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) *** Error code 1 Stop. bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/idris *** Error code 1 Stop. bmake: stopped in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/idris