+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris-1.3.4nb6/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/idris-1.3.4nb6/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Installing for idris-1.3.4nb6
=> Generating pre-install file lists
=> Creating installation directories
Installing library in /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/lib/x86_64-solaris-ghc-9.2.1/idris-1.3.4-GA26twXUqdC6hoRH6Lrg2U
Installing executable idris-codegen-javascript in /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/bin
Warning: The directory /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/bin
is not in the system search path.
Installing executable idris-codegen-c in /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/bin
Warning: The directory /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/bin
is not in the system search path.
Installing executable idris-codegen-node in /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/bin
Warning: The directory /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/bin
is not in the system search path.
Installing executable idris in /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/bin
Warning: The directory /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/bin
is not in the system search path.
Installing libraries in /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4
gmake[2]: Entering directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs'
/opt/pkg/bin/gmake -C prelude install
gmake[3]: Entering directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/prelude'
/usr/bin/env LD_LIBRARY_PATH=../../dist/build DYLD_LIBRARY_PATH=../../dist/build ../../dist/build/idris/idris --install prelude.ipkg
Installing Builtins.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude
Installing Decidable/Equality.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Decidable
Installing IO.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude
Installing Language/Reflection.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Language
Installing Language/Reflection/Elab.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Language/Reflection
Installing Language/Reflection/Errors.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Language/Reflection
Installing Prelude.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude
Installing Prelude/Algebra.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Applicative.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Basics.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Bits.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Bool.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Cast.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Chars.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Doubles.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Either.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/File.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Foldable.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Functor.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Interactive.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Interfaces.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/List.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Maybe.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Monad.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Nat.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Pairs.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Providers.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Show.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Stream.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Strings.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Traversable.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/Uninhabited.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing Prelude/WellFounded.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude/Prelude
Installing 00prelude-idx.ibc to /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/libs/prelude
/usr/bin/env LD_LIBRARY_PATH=../../dist/build DYLD_LIBRARY_PATH=../../dist/build ../../dist/build/idris/idris --installdoc prelude.ipkg
Attempting to install IdrisDocs for prelude in: /home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/docs/prelude
/home/pbulk/build/lang/idris/work/.destdir/opt/pkg/share/x86_64-solaris-ghc-9.2.1/idris-1.3.4/docs/prelude/docs: createDirectory: permission denied (Disc quota exceeded)
gmake[3]: *** [Makefile:9: install] Error 1
gmake[3]: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs/prelude'
gmake[2]: *** [Makefile:10: install] Error 2
gmake[2]: Leaving directory '/home/pbulk/build/lang/idris/work/idris-1.3.4/libs'
*** Error code 2

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