Failed Reason

Failed to install dependency package :
------------------------------------------------
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/pkgconf-1.7.3-pk3ut5wz7j4ljawbtap432vwutct6mfy
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/berkeley-db-18.1.40-7bs4mlpnhts7qyvoovu6l7l2hi3jg4hm
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/zlib-1.2.11-zeiksrs3doa337233bumddsxos5wxakt
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/libsigsegv-2.12-qplpwsrxudbdb2ob3ecjlptzd5vvh7oe
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/util-macros-1.19.1-torrncqsc6nwyvd75bywsuvendskowec
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/libiconv-1.16-rbvy3igiw4qft6btr7idktjwcaemxuhp
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/xz-5.2.5-g555znztsjyxwvh7ogp5tw2logq3ksnt
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/libelf-0.8.13-qow5o7o5rxjjgp2p6vupqj3mp3jb5z75
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/libbsd-0.10.0-exouu5k337ae2cwfpsj63xezz66q4kcp
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/libffi-3.3-d4dvu2shhghn2qvhm3qofdemnaxdoach
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/ncurses-6.2-fgvs4g67va2dmkhxgeiu4y3bsfw7y6md
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/util-linux-uuid-2.36-e2ex3jyztjovgxgekpbdzzdhbdubi2p5
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/m4-1.4.18-jk4zefridpuwa4jhmesx73litjev7zjw
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/tar-1.32-5r2igeglgmgqoin544y3mgcv2yhofa76
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/diffutils-3.7-v6lqzbd5unyulikx4y7jwlqip7dkwsjr
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/libxml2-2.9.10-35gjpgzuiidtypf3wtngmxdv5qme2ltv
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/expat-2.2.10-qetcbzinvlz7ljaaboysuh5ntjasoqix
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/readline-8.0-ycr6pam52lcjficruvfaqfvr5v7uc3jl
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/libtool-2.4.6-g46uuv7kjhn24vxxut7m5ct7gnux25tt
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/bzip2-1.0.8-gzbk3k7pncrrwd3bx6ld7cqouwbakdjg
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/sqlite-3.34.0-r45twtdqww2kpsngzrnsu6aynq2emhhx
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/gdbm-1.18.1-fovuseo2dtl6viui5jdsgfbmum4d3r3r
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/libpciaccess-0.16-us4aoycgbsbwbbidtf77wndd67oj7vwa
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/gettext-0.21-btki6ot2jeadduuicep6svn3kpytngf3
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/perl-5.32.1-twm7va7iclkgtp3qey3wfhbq5fczkoh3
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/hwloc-2.4.1-zeckrjz7pngjrqtowpfihdestrp5vyyi
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/texinfo-6.5-flmdxsov2ox7p2d4kxmssrxrx43jai57
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/perl-data-dumper-2.173-2qnb6mqpvh37o6nh53aqk24dqrvysn57
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/openssl-1.1.1j-rnzh3om4tyjjsgobwob6tcy62fq775da
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/autoconf-2.69-j4a5oxd7x52krlrb6cltlojgfxayltdb
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/python-3.8.8-yqj3nu5q2nqgzakxdtanpoq3z5pi4bhe
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/cmake-3.19.5-vghzo7zxlg4jrcbfymnms7oagwheeqyi
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/automake-1.16.3-24iiwsst3ag43rfhulzcbplwlll7jlqv
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/py-setuptools-50.3.2-7jggag72wxyn4bbodlgerknodghtx2wk
==> Installing rocm-cmake-4.0.0-g6z4gtwr47sq372cywzsoltjx66wnd3b
==> No binary for rocm-cmake-4.0.0-g6z4gtwr47sq372cywzsoltjx66wnd3b found: installing from source
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/45/4577487acaa6e041a1316145867584f31caaf0d4aa2dd8fd7f82f81c269cada6.tar.gz
==> No patches needed for rocm-cmake
==> rocm-cmake: Executing phase: 'cmake'
==> rocm-cmake: Executing phase: 'build'
==> rocm-cmake: Executing phase: 'install'
==> rocm-cmake: Successfully installed rocm-cmake-4.0.0-g6z4gtwr47sq372cywzsoltjx66wnd3b
Fetch: 0.11s. Build: 1.92s. Total: 2.02s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/rocm-cmake-4.0.0-g6z4gtwr47sq372cywzsoltjx66wnd3b
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/numactl-2.0.14-pmxr6abyahe4mlfazt37qhv2iniiridp
==> 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/dima
cs_frontend.o shell/drat_frontend.o shell/lp_frontend.o shell/main.o shell/opt_frontend.o shell/smtlib_front
end.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_tactic
s.a tactic/smtlogics/smtlogic_tactics.a tactic/ufbv/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/dataf
low.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/smt.a smt/proto_model/proto_model.a math/subpaving/tact
ic/subpaving_tactic.a nlsat/tactic/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a tactic/arith/ari
th_tactics.a tactic/core/core_tactics.a smt/params/smt_params.a ast/pattern/pattern.a ast/rewriter/bit_blast
er/bit_blaster.a ast/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a parsers/smt2/smt2
parser.a cmd_context/cmd_context.a solver/solver.a ast/proofs/proofs.a parsers/util/parser_util.a ast/substi
tution/substitution.a tactic/tactic.a model/model.a ast/normal_forms/normal_forms.a ast/macros/macros.a ast/
rewriter/rewriter.a math/lp/lp.a nlsat/nlsat.a sat/sat.a math/grobner/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/uti
l.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/i
nstall_tactic.o api/dll/mem_initializer.o api/dll/gparams_register_modules.o api/api_algebraic.o api/api_ari
th.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_cmd
s/extra_cmds.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/smtlogics/smtlogic_tac
tics.a tactic/ufbv/ufbv_tactic.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/s
pacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_so
lver/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/smt.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tactic.a nlsat/tacti
c/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a tactic/arith/arith_tactics.a tactic/core/core_tac
tics.a smt/params/smt_params.a ast/pattern/pattern.a ast/rewriter/bit_blaster/bit_blaster.a ast/fpa/fpa.a ac
kermannization/ackermannization.a tactic/aig/aig_tactic.a parsers/smt2/smt2parser.a cmd_context/cmd_context.
a solver/solver.a ast/proofs/proofs.a parsers/util/parser_util.a ast/substitution/substitution.a tactic/tact
ic.a model/model.a ast/normal_forms/normal_forms.a ast/macros/macros.a ast/rewriter/rewriter.a math/lp/lp.a
nlsat/nlsat.a sat/sat.a math/grobner/grobner.a ast/euf/euf.a params/params.a ast/ast.a math/subpaving/subpav
ing.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, unsi
gned int> >(svector<unsigned int, unsigned int> const&, std::ostream&) const':
>> 1140 nla_common.cpp:(.text._ZNK3nla6common13print_productI7svectorIjjEEERSoRKT_S4_[_ZNK3nla6common13print_product
I7svectorIjjEEERSoRKT_S4_]+0x4): undefined reference to `std::ostream& nla::core::print_product<svector<unsi
gned int, unsigned int> >(svector<unsigned int, unsigned int> const&, std::ostream&) const'
>> 1141 clang-9: error: linker command failed with exit code 1 (use -v to see invocation)
1142 make: *** [Makefile:4400: z3] Error 1
1143 make: *** Waiting for unfinished jobs....
1144 ln -f -s ../libz3.so python

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

==> Installing hsakmt-roct-4.0.0-yhml3dunmjbqojaazvrmrwqfzb2myket
==> No binary for hsakmt-roct-4.0.0-yhml3dunmjbqojaazvrmrwqfzb2myket found: installing from source
==> Warning: Skipping build of comgr-4.0.0-syk3jjjscwhpqzpup4mx4yyavshe76hn since z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv failed
==> Warning: Skipping build of atmi-4.0.0-ukw6lqunvnod3kkxbc43qkpl7c4jerbs since comgr-4.0.0-syk3jjjscwhpqzpup4mx4yyavshe76hn failed
==> Warning: Skipping build of llvm-amdgpu-4.0.0-tnj6qgqps2ho6kdagjgmg3sguv2khprf since z3-4.8.9-wibiciyac3ebgjcaqeohuoqcj2m3trpv failed
==> Warning: Skipping build of hsa-rocr-dev-4.0.0-6yirqyo4lun6mygczxbfcmpcf6c7m2rn since llvm-amdgpu-4.0.0-tnj6qgqps2ho6kdagjgmg3sguv2khprf failed
==> Warning: Skipping build of rocm-device-libs-4.0.0-xorenv4t2x35fyzkpze372z6euzxcuhu since llvm-amdgpu-4.0.0-tnj6qgqps2ho6kdagjgmg3sguv2khprf failed
==> Fetching https://postk-web.r-ccs.riken.jp/spack.mirror/_source-cache/archive/a6/a6960fffc8388731ee18953faae12d1449c582e3b3594418845a544455895f42.tar.gz
==> No patches needed for hsakmt-roct
==> hsakmt-roct: Executing phase: 'cmake'
==> hsakmt-roct: Executing phase: 'build'
==> hsakmt-roct: Executing phase: 'install'
==> hsakmt-roct: Successfully installed hsakmt-roct-4.0.0-yhml3dunmjbqojaazvrmrwqfzb2myket
Fetch: 0.12s. Build: 3.33s. Total: 3.45s.
[+] /fefs/home/r0007/all-test/arm/spack/opt/spack/linux-rhel8-thunderx2/arm-20.1.0.15/hsakmt-roct-4.0.0-yhml3dunmjbqojaazvrmrwqfzb2myket
==> Error: atmi-4.0.0-ukw6lqunvnod3kkxbc43qkpl7c4jerbs: Package was not installed
==> Error: Installation request failed. Refer to reported errors for failing package(s).