Failed Reason

Failed to install dependency package :
------------------------------------------------
==> Installing mpfr-4.0.2-wab6vjlpjq5bsnknl63at5l4zjnawgzl
==> No binary for mpfr-4.0.2-wab6vjlpjq5bsnknl63at5l4zjnawgzl found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/c0/c05e3f02d09e0e9019384cdd58e0f19c64e6db1fd6f5ecf77b4b1c61ca253acc.tar.bz2
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/3f/3f80b836948aa96f8d1cb9cc7f3f55973f19285482a96f9a4e1623d460bcccf0
==> Applied patch https://www.mpfr.org/mpfr-4.0.2/allpatches
==> mpfr: Executing phase: 'autoreconf'
==> mpfr: Executing phase: 'configure'
==> mpfr: Executing phase: 'build'
==> mpfr: Executing phase: 'install'
==> mpfr: Successfully installed mpfr-4.0.2-wab6vjlpjq5bsnknl63at5l4zjnawgzl
Fetch: 0.14s. Build: 50.71s. Total: 50.85s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/mpfr-4.0.2-wab6vjlpjq5bsnknl63at5l4zjnawgzl
==> Installing xrandr-1.5.0-jbwqjhyn7444ahjblaj7ujff6ik4siot
==> No binary for xrandr-1.5.0-jbwqjhyn7444ahjblaj7ujff6ik4siot found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/dd/ddfe8e7866149c24ccce8e6aaa0623218ae19130c2859cadcaa4228d8bb4a46d.tar.gz
==> No patches needed for xrandr
==> xrandr: Executing phase: 'autoreconf'
==> xrandr: Executing phase: 'configure'
==> xrandr: Executing phase: 'build'
==> xrandr: Executing phase: 'install'
==> xrandr: Successfully installed xrandr-1.5.0-jbwqjhyn7444ahjblaj7ujff6ik4siot
Fetch: 0.12s. Build: 9.72s. Total: 9.84s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/xrandr-1.5.0-jbwqjhyn7444ahjblaj7ujff6ik4siot
==> Installing z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv
==> No binary for z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/c9/c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4.tar.gz
==> No patches needed for z3
==> z3: Executing phase: 'bootstrap'
==> z3: Executing phase: 'build'
==> Error: ProcessError: Command exited with status 2:
'make' '-j16'

2 errors found in build log:
1135 src/math/lp/nra_solver.cpp
1136 src/smt/theory_lra.cpp
1137 /fefs/home/r0007/all-test/arm/spack/lib/spack/env/arm/armclang++ -o z3 shell/datalog_frontend.o shell/dimacs
_frontend.o shell/drat_frontend.o shell/lp_frontend.o shell/main.o shell/opt_frontend.o shell/smtlib_frontend.
o shell/z3_log_frontend.o shell/install_tactic.o shell/mem_initializer.o shell/gparams_register_modules.o cmd_
context/extra_cmds/extra_cmds.a api/api.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tact
ic/smtlogics/smtlogic_tactics.a tactic/ufbv/ufbv_tactic.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/ta
b.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/ba
se/muz.a tactic/fd_solver/fd_solver.a sat/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/s
mt_tactic.a tactic/bv/bv_tactics.a smt/smt.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tac
tic.a nlsat/tactic/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a tactic/arith/arith_tactics.a tacti
c/core/core_tactics.a smt/params/smt_params.a ast/pattern/pattern.a ast/rewriter/bit_blaster/bit_blaster.a ast
/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a parsers/smt2/smt2parser.a cmd_context/c
md_context.a solver/solver.a ast/proofs/proofs.a parsers/util/parser_util.a ast/substitution/substitution.a ta
ctic/tactic.a model/model.a ast/normal_forms/normal_forms.a ast/macros/macros.a ast/rewriter/rewriter.a math/l
p/lp.a nlsat/nlsat.a sat/sat.a math/grobner/grobner.a ast/euf/euf.a params/params.a ast/ast.a math/subpaving/s
ubpaving.a math/realclosure/realclosure.a math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex
.a math/dd/dd.a math/interval/interval.a math/polynomial/polynomial.a util/util.a -lpthread
1138 /fefs/home/r0007/all-test/arm/spack/lib/spack/env/arm/armclang++ -o libz3.so -shared api/dll/dll.o api/dll/ins
tall_tactic.o api/dll/mem_initializer.o api/dll/gparams_register_modules.o api/api_algebraic.o api/api_arith.o
api/api_array.o api/api_ast.o api/api_ast_map.o api/api_ast_vector.o api/api_bv.o api/api_config_params.o api
/api_context.o api/api_datalog.o api/api_datatype.o api/api_fpa.o api/api_goal.o api/api_log.o api/api_model.o
api/api_numeral.o api/api_opt.o api/api_params.o api/api_parsers.o api/api_pb.o api/api_polynomial.o api/api_
qe.o api/api_quant.o api/api_rcf.o api/api_seq.o api/api_solver.o api/api_special_relations.o api/api_stats.o
api/api_tactic.o api/z3_replayer.o api/api_log_macros.o api/api_commands.o cmd_context/extra_cmds/extra_cmds.a
opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/smtlogics/smtlogic_tactics.a tactic/uf
bv/ufbv_tactic.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz
/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_solver.a sat
/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a smt/sm
t.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tactic.a nlsat/tactic/nlsat_tactic.a sat/tac
tic/sat_tactic.a sat/smt/sat_smt.a tactic/arith/arith_tactics.a tactic/core/core_tactics.a smt/params/smt_para
ms.a ast/pattern/pattern.a ast/rewriter/bit_blaster/bit_blaster.a ast/fpa/fpa.a ackermannization/ackermannizat
ion.a tactic/aig/aig_tactic.a parsers/smt2/smt2parser.a cmd_context/cmd_context.a solver/solver.a ast/proofs/p
roofs.a parsers/util/parser_util.a ast/substitution/substitution.a tactic/tactic.a model/model.a ast/normal_fo
rms/normal_forms.a ast/macros/macros.a ast/rewriter/rewriter.a math/lp/lp.a nlsat/nlsat.a sat/sat.a math/grobn
er/grobner.a ast/euf/euf.a params/params.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a
math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex.a math/dd/dd.a math/interval/interval.a
math/polynomial/polynomial.a util/util.a -lpthread -Wl,-soname,libz3.so
1139 ln -f -s ../libz3.so python
1140 math/lp/lp.a(nla_common.o): In function `std::ostream& nla::common::print_product<svector<unsigned int, unsign
ed int> >(svector<unsigned int, unsigned int> const&, std::ostream&) const':
>> 1141 nla_common.cpp:(.text._ZNK3nla6common13print_productI7svectorIjjEEERSoRKT_S4_[_ZNK3nla6common13print_productI7
svectorIjjEEERSoRKT_S4_]+0x4): undefined reference to `std::ostream& nla::core::print_product<svector<unsigned
int, unsigned int> >(svector<unsigned int, unsigned int> const&, std::ostream&) const'
>> 1142 clang-9: error: linker command failed with exit code 1 (use -v to see invocation)
1143 make: *** [Makefile:4400: z3] Error 1

See build log for details:
/tmp/r0007/spack-stage/spack-stage-z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv/spack-build-out.txt

==> Installing py-markupsafe-1.1.1-6pd55gsj267alcybg767q46ga5eb3aev
==> No binary for py-markupsafe-1.1.1-6pd55gsj267alcybg767q46ga5eb3aev found: installing from source
==> Warning: Skipping build of llvm-11.0.1-7tyhagcma5dfyxyps2hp6tvsuuidoqsz since z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv failed
==> Warning: Skipping build of mesa-20.2.1-cs5uohf3ppmi6ootrfgkrdcfscj7v7iv since llvm-11.0.1-7tyhagcma5dfyxyps2hp6tvsuuidoqsz failed
==> Warning: Skipping build of freeglut-3.2.1-ho7ajevm7wt7znshsuvxb4eto42kpmob since mesa-20.2.1-cs5uohf3ppmi6ootrfgkrdcfscj7v7iv failed
==> Warning: Skipping build of 3dtk-trunk-pbqssbp6buep73tuotce2epoc4bbnu3i since freeglut-3.2.1-ho7ajevm7wt7znshsuvxb4eto42kpmob failed
==> Warning: Skipping build of glew-2.1.0-34sz7jv5z63lrsnsv3e73watomiojfw4 since mesa-20.2.1-cs5uohf3ppmi6ootrfgkrdcfscj7v7iv failed
==> Warning: Skipping build of mesa-glu-9.0.1-jg6mful34rnzlcvyk7v7l2izyvjvcdxc since mesa-20.2.1-cs5uohf3ppmi6ootrfgkrdcfscj7v7iv failed
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/29/29872e92839765e546828bb7754a68c418d927cd064fd4708fab9fe9c8bb116b.tar.gz
==> No patches needed for py-markupsafe
==> py-markupsafe: Executing phase: 'build'
==> py-markupsafe: Executing phase: 'install'
==> py-markupsafe: Successfully installed py-markupsafe-1.1.1-6pd55gsj267alcybg767q46ga5eb3aev
Fetch: 0.14s. Build: 2.97s. Total: 3.11s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/py-markupsafe-1.1.1-6pd55gsj267alcybg767q46ga5eb3aev
==> Installing meson-0.57.1-t5fbjbplbrmjnrp7cbhte4njsvac3lrc
==> No binary for meson-0.57.1-t5fbjbplbrmjnrp7cbhte4njsvac3lrc found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/0c/0c043c9b5350e9087cd4f6becf6c0d10b1d618ca3f919e0dcca2cdf342360d5d.tar.gz
==> No patches needed for meson
==> meson: Executing phase: 'build'
==> meson: Executing phase: 'install'
==> meson: Successfully installed meson-0.57.1-t5fbjbplbrmjnrp7cbhte4njsvac3lrc
Fetch: 0.15s. Build: 6.13s. Total: 6.28s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/meson-0.57.1-t5fbjbplbrmjnrp7cbhte4njsvac3lrc
==> Installing hdf5-1.10.7-k7xywhdsnxw5wsqnrfi5mrvem5ndvzbd
==> No binary for hdf5-1.10.7-k7xywhdsnxw5wsqnrfi5mrvem5ndvzbd found: installing from source
==> Fetching https://spack-llnl-mirror.s3-us-west-2.amazonaws.com/_source-cache/archive/7a/7a1a0a54371275ce2dfc5cd093775bb025c365846512961e7e5ceaecb437ef15.tar.gz
==> Ran patch() for hdf5
==> hdf5: Executing phase: 'autoreconf'
==> hdf5: Executing phase: 'configure'
==> hdf5: Executing phase: 'build'
==> hdf5: Executing phase: 'install'
==> hdf5: Successfully installed hdf5-1.10.7-k7xywhdsnxw5wsqnrfi5mrvem5ndvzbd
Fetch: 2.66s. Build: 1m 37.01s. Total: 1m 39.68s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/hdf5-1.10.7-k7xywhdsnxw5wsqnrfi5mrvem5ndvzbd
==> Installing suite-sparse-5.8.1-eoitnqi5jrtd3r2eddjj3vd3koa3cte2
==> No binary for suite-sparse-5.8.1-eoitnqi5jrtd3r2eddjj3vd3koa3cte2 found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/06/06726e471fbaa55f792578f9b4ab282ea9d008cf39ddcc3b42b73400acddef40.tar.gz
==> No patches needed for suite-sparse
==> suite-sparse: Executing phase: 'install'
==> suite-sparse: Successfully installed suite-sparse-5.8.1-eoitnqi5jrtd3r2eddjj3vd3koa3cte2
Fetch: 0.63s. Build: 12m 26.48s. Total: 12m 27.11s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/suite-sparse-5.8.1-eoitnqi5jrtd3r2eddjj3vd3koa3cte2
==> Installing py-mako-1.0.4-f5lcvgapymhcimxmqqzmyveikfj22b34
==> No binary for py-mako-1.0.4-f5lcvgapymhcimxmqqzmyveikfj22b34 found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/fe/fed99dbe4d0ddb27a33ee4910d8708aca9ef1fe854e668387a9ab9a90cbf9059.tar.gz
==> No patches needed for py-mako
==> py-mako: Executing phase: 'build'
==> py-mako: Executing phase: 'install'
==> py-mako: Successfully installed py-mako-1.0.4-f5lcvgapymhcimxmqqzmyveikfj22b34
Fetch: 0.13s. Build: 2.97s. Total: 3.10s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/py-mako-1.0.4-f5lcvgapymhcimxmqqzmyveikfj22b34
==> Installing opencv-4.5.0-qbzl5nobaz2lup7t6ume2usiugkye6iq
==> No binary for opencv-4.5.0-qbzl5nobaz2lup7t6ume2usiugkye6iq found: installing from source
==> Fetching https://spack-llnl-mirror.s3-us-west-2.amazonaws.com/_source-cache/archive/dd/dde4bf8d6639a5d3fe34d5515eab4a15669ded609a1d622350c7ff20dace1907.tar.gz
==> Moving resource stage
source : /tmp/r0007/spack-stage/resource-contrib-qbzl5nobaz2lup7t6ume2usiugkye6iq/spack-src/
destination : /tmp/r0007/spack-stage/spack-stage-opencv-4.5.0-qbzl5nobaz2lup7t6ume2usiugkye6iq/spack-src/opencv_contrib
==> No patches needed for opencv
==> opencv: Executing phase: 'cmake'
==> opencv: Executing phase: 'build'
==> opencv: Executing phase: 'install'
==> opencv: Successfully installed opencv-4.5.0-qbzl5nobaz2lup7t6ume2usiugkye6iq
Fetch: 13.88s. Build: 4m 29.11s. Total: 4m 42.99s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/opencv-4.5.0-qbzl5nobaz2lup7t6ume2usiugkye6iq
==> Error: 3dtk-trunk-pbqssbp6buep73tuotce2epoc4bbnu3i: Package was not installed
==> Error: Installation request failed. Refer to reported errors for failing package(s).