+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/local/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=312 WRKLOG=/tmp/bulklog/z3-4.13.0/work.log
+ su pbulk -c '"$@"' make /opt/local/bin/bmake stage-install BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=312 WRKLOG=/tmp/bulklog/z3-4.13.0/work.log
===> Installing for z3-4.13.0
=> Generating pre-install file lists
[  6%] Built target util
[  7%] Built target polynomial
[  7%] Built target dd
[  7%] Built target simplex
[  8%] Built target hilbert
[  8%] Built target automata
[  8%] Built target interval
[ 10%] Built target params
[ 12%] Built target realclosure
[ 18%] Built target ast
[ 19%] Built target subpaving
[ 24%] Built target rewriter
[ 25%] Built target euf
[ 26%] Built target smt_params
[ 26%] Built target parser_util
[ 26%] Built target grobner
[ 26%] Built target fuzzing
[ 26%] Built target bit_blaster
[ 28%] Built target normal_forms
[ 28%] Built target macros
[ 29%] Built target substitution
[ 29%] Built target proofs
[ 34%] Built target sat
[ 36%] Built target model
[ 39%] Built target simplifiers
[ 40%] Built target nlsat
[ 41%] Built target converters
[ 42%] Built target mbp
[ 43%] Built target fpa
[ 43%] Built target proto_model
[ 45%] Built target ast_sls
[ 48%] Built target lp
[ 50%] Built target tactic
[ 50%] Built target qe_lite
[ 56%] Built target sat_smt
[ 57%] Built target aig_tactic
[ 59%] Built target core_tactics
[ 62%] Built target solver
[ 62%] Built target subpaving_tactic
[ 63%] Built target arith_tactics
[ 64%] Built target bv_tactics
[ 65%] Built target cmd_context
[ 65%] Built target sat_tactic
[ 65%] Built target sls_tactic
[ 65%] Built target ackermannization
[ 65%] Built target extra_cmds
[ 67%] Built target smt2parser
[ 67%] Built target nlsat_tactic
[ 67%] Built target sat_solver
[ 67%] Built target solver_assertions
[ 67%] Built target pattern
[ 68%] Built target fd_solver
[ 76%] Built target smt
[ 76%] Built target smt_tactic
[ 78%] Built target qe
[ 79%] Built target ufbv_tactic
[ 80%] Built target muz
[ 80%] Built target dataflow
[ 82%] Built target transforms
[ 82%] Built target clp
[ 85%] Built target rel
[ 85%] Built target tab
[ 85%] Built target bmc
[ 89%] Built target spacer
[ 89%] Built target ddnf
[ 89%] Built target fp
[ 90%] Built target smtlogic_tactics
[ 90%] Built target fpa_tactics
[ 91%] Built target opt
[ 92%] Built target portfolio
[ 96%] Built target api
[ 97%] Built target api_dll
[100%] Built target shell
[100%] Built target libz3
Install the project...
-- Install configuration: "RelWithDebInfo"
-- Installing: /home/pbulk/build/math/z3/work/.destdir/opt/local/lib/libz3.so.4.13.0.0
CMake Error at src/cmake_install.cmake:396 (file):
  file INSTALL cannot copy file
  "/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/libz3.so.4.13.0.0"
  to
  "/home/pbulk/build/math/z3/work/.destdir/opt/local/lib/libz3.so.4.13.0.0":
  No space left on device.
Call Stack (most recent call first):
  cmake_install.cmake:42 (include)

*** [install] Error code 1

bmake[2]: stopped making "install" in /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build
bmake[2]: 1 error

bmake[2]: stopped making "install" in /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build
*** Error code 2

Stop.
bmake[1]: stopped making "stage-install" in /data/jenkins/workspace/pkgsrc-trunk-x86_64/math/z3
*** Error code 1

Stop.
bmake: stopped making "stage-install" in /data/jenkins/workspace/pkgsrc-trunk-x86_64/math/z3