+ 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 ) Assembler messages: Fatal error: can't create dist/build/Idris/AbsSyntaxTree.o.tmp: Disc quota exceeded `gcc' failed in phase `Assembler'. (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