Failed Reason

Failed to install dependency package :
------------------------------------------------
==> hsakmt-roct: Executing phase: 'install'
==> hsakmt-roct: Successfully installed hsakmt-roct-3.10.0-k4x77rkaexrkfumsxuqztc63xo5yn7rd
Fetch: 0.15s. Build: 3.13s. Total: 3.27s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/hsakmt-roct-3.10.0-k4x77rkaexrkfumsxuqztc63xo5yn7rd
==> Installing py-wheel-0.35.1-r34to6dueqih47zhgfpqsdwai7jqx5bs
==> No binary for py-wheel-0.35.1-r34to6dueqih47zhgfpqsdwai7jqx5bs found: installing from source
==> Using cached archive: /fefs/home/r0007/all-test/arm/spack/var/spack/cache/_source-cache/archive/99/99a22d87add3f634ff917310a3d87e499f19e663413a52eb9232c447aa646c9f.tar.gz
==> No patches needed for py-wheel
==> py-wheel: Executing phase: 'build'
==> py-wheel: Executing phase: 'install'
==> py-wheel: Successfully installed py-wheel-0.35.1-r34to6dueqih47zhgfpqsdwai7jqx5bs
Fetch: 0.00s. Build: 2.55s. Total: 2.55s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/py-wheel-0.35.1-r34to6dueqih47zhgfpqsdwai7jqx5bs
==> Installing z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv
==> No binary for z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv found: installing from source
==> Using cached archive: /fefs/home/r0007/all-test/arm/spack/var/spack/cache/_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:
1134 src/math/lp/nla_tangent_lemmas.cpp
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 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':
>> 1140 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'
1141 ln -f -s ../libz3.so python
>> 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-pip-20.2-3jjckrrkrmfw2lgojs7ssx6ij5tf7k2x
==> No binary for py-pip-20.2-3jjckrrkrmfw2lgojs7ssx6ij5tf7k2x found: installing from source
==> Warning: Skipping build of comgr-3.10.0-ndwerkn5xdfygonr52wooya5oez3jt2n since z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv failed
==> Warning: Skipping build of rocm-gdb-3.10.0-d3ob6bfmwgjk7abavxjf54l2g2yvawyz since comgr-3.10.0-ndwerkn5xdfygonr52wooya5oez3jt2n failed
==> Warning: Skipping build of hip-3.10.0-i7jnm77m623ejn42v4rljuoeqjuitzab since comgr-3.10.0-ndwerkn5xdfygonr52wooya5oez3jt2n failed
==> Warning: Skipping build of rocm-dbgapi-3.10.0-2wmfpfmamzxh6ljbmxnynvogm3e7k3bd since comgr-3.10.0-ndwerkn5xdfygonr52wooya5oez3jt2n failed
==> Warning: Skipping build of hip-rocclr-3.10.0-amufgpmjw355o3glz24vzvmh4sdf2ozb since comgr-3.10.0-ndwerkn5xdfygonr52wooya5oez3jt2n failed
==> Warning: Skipping build of llvm-amdgpu-3.10.0-vy36cv2f4xomjwa5exzk6zhz44dgwu7y since z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv failed
==> Warning: Skipping build of rocm-device-libs-3.10.0-xrrmuskdlb3zqj6a6r2ry25d3zlku74j since llvm-amdgpu-3.10.0-vy36cv2f4xomjwa5exzk6zhz44dgwu7y failed
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/91/912935eb20ea6a3b5ed5810dde9754fde5563f5ca9be44a8a6e5da806ade970b.tar.gz
==> No patches needed for py-pip
==> py-pip: Executing phase: 'build'
==> py-pip: Executing phase: 'install'
==> py-pip: Successfully installed py-pip-20.2-3jjckrrkrmfw2lgojs7ssx6ij5tf7k2x
Fetch: 0.14s. Build: 7.64s. Total: 7.78s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/py-pip-20.2-3jjckrrkrmfw2lgojs7ssx6ij5tf7k2x
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/py-markupsafe-1.1.1-6pd55gsj267alcybg767q46ga5eb3aev
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/meson-0.57.1-t5fbjbplbrmjnrp7cbhte4njsvac3lrc
==> Installing gawk-5.1.0-ifhchc5duppiqxti6slttbqjoh2senfj
==> No binary for gawk-5.1.0-ifhchc5duppiqxti6slttbqjoh2senfj found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/cf/cf5fea4ac5665fd5171af4716baab2effc76306a9572988d5ba1078f196382bd.tar.xz
==> No patches needed for gawk
==> gawk: Executing phase: 'autoreconf'
==> gawk: Executing phase: 'configure'
==> gawk: Executing phase: 'build'
==> gawk: Executing phase: 'install'
==> gawk: Successfully installed gawk-5.1.0-ifhchc5duppiqxti6slttbqjoh2senfj
Fetch: 0.15s. Build: 38.04s. Total: 38.19s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/gawk-5.1.0-ifhchc5duppiqxti6slttbqjoh2senfj
==> Installing hsa-rocr-dev-3.10.0-sopbgnemdkj5mvskpkdg22ru26lnw4e7
==> No binary for hsa-rocr-dev-3.10.0-sopbgnemdkj5mvskpkdg22ru26lnw4e7 found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/58/58866d8acdb6cc45227f2412098e37c65908b20ed3dd54901dfb515c15ad5f71.tar.gz
==> Applied patch /fefs/home/r0007/all-test/arm/spack/var/spack/repos/builtin/packages/hsa-rocr-dev/0002-Remove-explicit-RPATH-again.patch
==> hsa-rocr-dev: Executing phase: 'cmake'
==> hsa-rocr-dev: Executing phase: 'build'
==> hsa-rocr-dev: Executing phase: 'install'
==> hsa-rocr-dev: Successfully installed hsa-rocr-dev-3.10.0-sopbgnemdkj5mvskpkdg22ru26lnw4e7
Fetch: 0.13s. Build: 9.41s. Total: 9.54s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/hsa-rocr-dev-3.10.0-sopbgnemdkj5mvskpkdg22ru26lnw4e7
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/py-mako-1.0.4-f5lcvgapymhcimxmqqzmyveikfj22b34
==> Installing glib-2.66.7-aqmtparcwmgwrxfjd765nq6nt7rzpwvu
==> No binary for glib-2.66.7-aqmtparcwmgwrxfjd765nq6nt7rzpwvu found: installing from source
==> Using cached archive: /fefs/home/r0007/all-test/arm/spack/var/spack/cache/_source-cache/archive/09/09f158769f6f26b31074e15b1ac80ec39b13b53102dfae66cfe826fb2cc65502.tar.xz
==> Applied patch /fefs/home/r0007/all-test/arm/spack/var/spack/repos/builtin/packages/glib/meson-gettext-2.66.patch
==> glib: Executing phase: 'install'
==> Error: ProcessError: Command exited with status 1:
'meson' '..' '--prefix=/fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/glib-2.66.7-aqmtparcwmgwrxfjd765nq6nt7rzpwvu' '--libdir=/fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/glib-2.66.7-aqmtparcwmgwrxfjd765nq6nt7rzpwvu/lib' '--buildtype=release' '--strip' '-Dgettext=external' '-Dlibmount=disabled' '-Diconv=external' '-Ddtrace=false' '-Dsystemtap=false' '-Dselinux=disabled' '-Dgtk_doc=false'
See build log for details:
/tmp/r0007/spack-stage/spack-stage-glib-2.66.7-aqmtparcwmgwrxfjd765nq6nt7rzpwvu/spack-build-out.txt

==> Installing rocminfo-3.10.0-kmopudydot42nc4twmfmhxjodciiulur
==> No binary for rocminfo-3.10.0-kmopudydot42nc4twmfmhxjodciiulur found: installing from source
==> Warning: Skipping build of babeltrace-1.2.4-m6zm3mhrrbhzrolrmxmommzpmff4ol2f since glib-2.66.7-aqmtparcwmgwrxfjd765nq6nt7rzpwvu failed
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/ed/ed02375be3be518b83aea7309ef5ca62dc9b6dbad0aae33e92995102d6d660be.tar.gz
==> No patches needed for rocminfo
==> rocminfo: Executing phase: 'cmake'
==> rocminfo: Executing phase: 'build'
==> rocminfo: Executing phase: 'install'
==> rocminfo: Successfully installed rocminfo-3.10.0-kmopudydot42nc4twmfmhxjodciiulur
Fetch: 0.12s. Build: 2.88s. Total: 3.00s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/rocminfo-3.10.0-kmopudydot42nc4twmfmhxjodciiulur
==> Installing mesa18-18.3.6-6r2fpjbep4g5n6e6qsiwk3x5xslkbxhm
==> No binary for mesa18-18.3.6-6r2fpjbep4g5n6e6qsiwk3x5xslkbxhm found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/git/mesa/mesa.git/mesa-18.3.6.tar.gz
==> Applied patch /fefs/home/r0007/all-test/arm/spack/var/spack/repos/builtin/packages/mesa18/autotools-x11-nodri.patch
==> Warning: Fetching from mirror without a checksum!
This package is normally checked out from a version control system, but it has been archived on a spack mirror. This means we cannot know a checksum for the tarball in advance. Be sure that your connection to this mirror is secure!
==> mesa18: Executing phase: 'autoreconf'
==> mesa18: Executing phase: 'configure'
==> mesa18: Executing phase: 'build'
==> mesa18: Executing phase: 'install'
==> mesa18: Successfully installed mesa18-18.3.6-6r2fpjbep4g5n6e6qsiwk3x5xslkbxhm
Fetch: 0.27s. Build: 3m 28.56s. Total: 3m 28.82s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/mesa18-18.3.6-6r2fpjbep4g5n6e6qsiwk3x5xslkbxhm
==> Error: aomp-3.10.0-wsp7myzgnvs6hzmmwsrjx5e6cknyqbbb: Package was not installed
==> Error: Installation request failed. Refer to reported errors for failing package(s).