Skip to content

Opaque concretizer failure when no compilers installed #48973

@matthewcurry

Description

@matthewcurry

Steps to reproduce

Create a fresh Rocky Linux container (version 8 or 9, do not install gcc), then do the following:

$ git clone https://github.com/spack/spack
$ . spack/share/spack/setup-env.sh
$ spack --debug --stacktrace spec zlib

Error message

lib/spack/spack/config.py:1081 ==> [2025-02-10-19:02:29.889161] Reading config from file /home/mlcurry/spack/etc/spack/defaults/config.yaml
lib/spack/spack/cmd/__init__.py:125 ==> [2025-02-10-19:02:29.921879] Imported spec from built-in commands
lib/spack/spack/cmd/__init__.py:125 ==> [2025-02-10-19:02:29.922604] Imported spec from built-in commands
lib/spack/spack/database.py:618 ==> [2025-02-10-19:02:29.923905] DATABASE LOCK TIMEOUT: 60s
lib/spack/spack/store.py:182 ==> [2025-02-10-19:02:29.924083] PACKAGE LOCK TIMEOUT: No timeout
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:02:29.924471] Reading config from file /home/mlcurry/spack/etc/spack/defaults/concretizer.yaml
lib/spack/spack/database.py:618 ==> [2025-02-10-19:02:29.970946] DATABASE LOCK TIMEOUT: 60s
lib/spack/spack/store.py:182 ==> [2025-02-10-19:02:29.971134] PACKAGE LOCK TIMEOUT: No timeout
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:02:29.971466] Reading config from file /home/mlcurry/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:02:30.001585] Reading config from file /home/mlcurry/spack/etc/spack/defaults/repos.yaml
lib/spack/spack/database.py:618 ==> [2025-02-10-19:03:08.278395] DATABASE LOCK TIMEOUT: 60s
lib/spack/spack/store.py:182 ==> [2025-02-10-19:03:08.278627] PACKAGE LOCK TIMEOUT: No timeout
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.280119] Reading config from file /home/mlcurry/spack/etc/spack/defaults/mirrors.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.294076] Reading config from file /home/mlcurry/spack/etc/spack/defaults/bootstrap.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.300001] Reading config from file /home/mlcurry/spack/etc/spack/defaults/repos.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.301784] Reading config from file /home/mlcurry/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/bootstrap/config.py:125 ==> [2025-02-10-19:03:08.333403] [BOOTSTRAP CONFIG SCOPE] name=_builtin
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.333935] Reading config from file /home/mlcurry/spack/etc/spack/defaults/bootstrap.yaml
lib/spack/spack/bootstrap/config.py:138 ==> [2025-02-10-19:03:08.338998] [BOOTSTRAP CONFIG SCOPE] name=defaults, path=/home/mlcurry/spack/etc/spack/defaults
lib/spack/spack/bootstrap/config.py:139 ==> [2025-02-10-19:03:08.339168] [BOOTSTRAP CONFIG SCOPE] name=defaults/linux, path=/home/mlcurry/spack/etc/spack/defaults/linux
lib/spack/spack/bootstrap/config.py:138 ==> [2025-02-10-19:03:08.339342] [BOOTSTRAP CONFIG SCOPE] name=bootstrap, path=/home/mlcurry/.spack/bootstrap/config
lib/spack/spack/bootstrap/config.py:139 ==> [2025-02-10-19:03:08.339496] [BOOTSTRAP CONFIG SCOPE] name=bootstrap/linux, path=/home/mlcurry/.spack/bootstrap/config/linux
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.340559] Reading config from file /home/mlcurry/spack/etc/spack/defaults/config.yaml
lib/spack/spack/database.py:618 ==> [2025-02-10-19:03:08.357310] DATABASE LOCK TIMEOUT: 60s
lib/spack/spack/store.py:182 ==> [2025-02-10-19:03:08.357522] PACKAGE LOCK TIMEOUT: No timeout
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.357992] Reading config from file /home/mlcurry/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/bootstrap/_common.py:249 ==> [2025-02-10-19:03:08.575383] [BOOTSTRAP ROOT SPEC] clingo-bootstrap@spack+python %gcc platform=linux target=x86_64
lib/spack/spack/bootstrap/core.py:354 ==> [2025-02-10-19:03:08.575613] [BOOTSTRAP MODULE clingo] Try importing from Python
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.576118] Reading config from file /home/mlcurry/spack/etc/spack/defaults/bootstrap.yaml
lib/spack/spack/bootstrap/core.py:238 ==> [2025-02-10-19:03:08.587358] Bootstrapping clingo from pre-built binaries
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:08.588297] Reading config from file /home/mlcurry/spack/etc/spack/defaults/mirrors.yaml
lib/spack/spack/util/web.py:72 ==> [2025-02-10-19:03:08.593009] certs: relative path not allowed: $SSL_CERT_FILE
lib/spack/spack/database.py:618 ==> [2025-02-10-19:03:10.062172] DATABASE LOCK TIMEOUT: Nones
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:10.112977] Reading config from file /home/mlcurry/spack/etc/spack/defaults/mirrors.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:10.115407] Reading config from file /home/mlcurry/spack/etc/spack/defaults/config.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:10.131971] Reading config from file /home/mlcurry/.spack/bootstrap/config/linux/config.yaml
lib/spack/spack/fetch_strategy.py:541 ==> [2025-02-10-19:03:11.280682] Fetching https://ghcr.io/v2/spack/bootstrap-buildcache-v1/blobs/sha256:82ec278bef26c42303a2c2c888612c0d37babef615bc9a0003530e0b8b4d3d2c
lib/spack/spack/fetch_strategy.py:541 ==> [2025-02-10-19:03:11.791887] Fetching https://ghcr.io/v2/spack/bootstrap-buildcache-v1/blobs/sha256:0c5831932608e7b4084fc6ce60e2b67b77dab76e5515303a049d4d30cd772321
lib/spack/spack/binary_distribution.py:2555 ==> [2025-02-10-19:03:12.284607] Verified SHA256 checksum of the build cache
lib/spack/spack/binary_distribution.py:2559 ==> [2025-02-10-19:03:12.284949] Installing "clingo-bootstrap@=spack%gcc@=10.2.1~docs+ipo+optimized+python+static_libstdcpp build_system=cmake build_type=Release generator=make patches=bebb819,ec99431 arch=linux-centos7-x86_64" from a buildcache
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:12.285837] Reading config from file /home/mlcurry/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/main.py:510 ==> [2025-02-10-19:03:12.367508] Warning: The default behavior of tarfile extraction has been changed to disallow common exploits (including CVE-2007-4559). By default, absolute/parent paths are disallowed and some mode bits are cleared. See https://access.redhat.com/articles/7004769 for more details.
lib/spack/spack/binary_distribution.py:2244 ==> [2025-02-10-19:03:12.431665] Relocating: /root/spack/opt/spack/bin/sbang => /home/mlcurry/.spack/bootstrap/store/bin/sbang.
lib/spack/spack/binary_distribution.py:2244 ==> [2025-02-10-19:03:12.431844] Relocating: /root/spack/opt/spack/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_place/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq => /home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq.
lib/spack/spack/binary_distribution.py:2244 ==> [2025-02-10-19:03:12.431993] Relocating: /root/spack/opt/spack/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_place/linux-centos7-x86_64/gcc-10.2.1/gcc-runtime-10.2.1-7rv2b76tgxqmkwtmngiamwac632cjjba => /home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/gcc-runtime-10.2.1-7rv2b76tgxqmkwtmngiamwac632cjjba.
lib/spack/spack/binary_distribution.py:2244 ==> [2025-02-10-19:03:12.432136] Relocating: /root/spack/opt/spack/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_place/linux-centos7-x86_64/gcc-10.2.1/python-venv-1.0-ohen5yvu7x37lpuuubu55mnrbfzitljj => /home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/python-venv-1.0-ohen5yvu7x37lpuuubu55mnrbfzitljj.
lib/spack/spack/binary_distribution.py:2244 ==> [2025-02-10-19:03:12.432277] Relocating: /root/spack/opt/spack/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_placeholder__/__spack_path_place => /home/mlcurry/.spack/bootstrap/store.
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:12.467013] Reading config from file /home/mlcurry/spack/etc/spack/defaults/modules.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:12.475572] Reading config from file /home/mlcurry/spack/etc/spack/defaults/linux/modules.yaml
lib/spack/spack/hooks/module_file_generation.py:22 ==> [2025-02-10-19:03:12.477375] NO MODULE WRITTEN: list of enabled module files is empty
lib/spack/spack/hooks/drop_redundant_rpaths.py:99 ==> [2025-02-10-19:03:12.481817] Patched rpath in lib/python3.9/site-packages/clingo.cpython-39-x86_64-linux-gnu.so from b'/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib64:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib64:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/gcc-runtime-10.2.1-7rv2b76tgxqmkwtmngiamwac632cjjba/lib:/opt/_internal/cpython-3.9.20/lib:/opt/python/cp39-cp39/lib:/opt/rh/devtoolset-10/root/usr/lib/gcc/x86_64-redhat-linux/10' to b'/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib64:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib64'
lib/spack/spack/hooks/drop_redundant_rpaths.py:99 ==> [2025-02-10-19:03:12.482555] Patched rpath in lib64/libclingo.so.4.0 from b'/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib64:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib64:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/gcc-runtime-10.2.1-7rv2b76tgxqmkwtmngiamwac632cjjba/lib:/opt/_internal/cpython-3.9.20/lib:/opt/python/cp39-cp39/lib:/opt/rh/devtoolset-10/root/usr/lib/gcc/x86_64-redhat-linux/10' to b'/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib64:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib:/home/mlcurry/.spack/bootstrap/store/linux-centos7-x86_64/gcc-10.2.1/clingo-bootstrap-spack-fs2aukvaiwysb3ob4zosvuwnkmfwxyoq/lib64'
lib/spack/spack/bootstrap/_common.py:99 ==> [2025-02-10-19:03:12.502499] [BOOTSTRAP MODULE clingo] The installed spec "clingo-bootstrap@spack%gcc+python arch=linux-None-x86_64 ^python@3.9/fs2aukvaiwysb3ob4zosvuwnkmfwxyoq" provides the "clingo" Python module
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:12.503185] Reading config from file /home/mlcurry/spack/etc/spack/defaults/concretizer.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:12.683589] Reading config from file /home/mlcurry/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:12.713779] Reading config from file /home/mlcurry/.spack/linux/compilers.yaml
lib/spack/spack/config.py:1081 ==> [2025-02-10-19:03:12.720511] Reading config from file /home/mlcurry/spack/etc/spack/defaults/config.yaml
/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1161:3-38: info: atom does not occur in any rule head:
  compiler_name(CompilerID,Compiler)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1267:6-41: info: atom does not occur in any rule head:
  compiler_name(CompilerID,Compiler)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1268:6-43: info: atom does not occur in any rule head:
  compiler_version(CompilerID,Version)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1312:44-67: info: atom does not occur in any rule head:
  compiler_id(CompilerID)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1320:6-45: info: atom does not occur in any rule head:
  compiler_name(CompilerID,CompilerName)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1321:6-51: info: atom does not occur in any rule head:
  compiler_version(CompilerID,CompilerVersion)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1327:6-45: info: atom does not occur in any rule head:
  compiler_name(CompilerID,CompilerName)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1328:6-51: info: atom does not occur in any rule head:
  compiler_version(CompilerID,CompilerVersion)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1367:6-41: info: atom does not occur in any rule head:
  compiler_name(CompilerID,Compiler)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1388:6-41: info: atom does not occur in any rule head:
  compiler_name(CompilerID,Compiler)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1389:6-43: info: atom does not occur in any rule head:
  compiler_version(CompilerID,Version)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1390:6-41: info: atom does not occur in any rule head:
  compiler_os(CompilerID,CompilerOS)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1416:5-40: info: atom does not occur in any rule head:
  compiler_name(CompilerID,Compiler)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1417:5-36: info: atom does not occur in any rule head:
  compiler_version(CompilerID,V)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1418:5-40: info: atom does not occur in any rule head:
  compiler_weight(CompilerID,Weight)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1422:5-40: info: atom does not occur in any rule head:
  compiler_name(CompilerID,Compiler)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1423:5-36: info: atom does not occur in any rule head:
  compiler_version(CompilerID,V)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1424:9-39: info: atom does not occur in any rule head:
  compiler_weight(#X0,#P1)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1443:6-29: info: atom does not occur in any rule head:
  compiler_id(CompilerID)

/home/mlcurry/spack/lib/spack/spack/solver/concretize.lp:1444:6-45: info: atom does not occur in any rule head:
  compiler_name(CompilerID,CompilerName)

lib/spack/spack/main.py:1041 ==> [2025-02-10-19:03:21.591830] SolverError: Spack concretizer internal error. Please submit a bug report and include the command, environment if applicable and the following error message.
    zlib is unsatisfiable
lib/spack/spack/error.py:58 ==> [2025-02-10-19:03:21.592195] Error: Spack concretizer internal error. Please submit a bug report and include the command, environment if applicable and the following error message.
    zlib is unsatisfiable
Traceback (most recent call last):
  File "/home/mlcurry/spack/lib/spack/spack/main.py", line 1038, in main
    return _main(argv)
  File "/home/mlcurry/spack/lib/spack/spack/main.py", line 991, in _main
    return finish_parse_and_run(parser, cmd_name, args, env_format_error)
  File "/home/mlcurry/spack/lib/spack/spack/main.py", line 1021, in finish_parse_and_run
    return _invoke_command(command, parser, args, unknown)
  File "/home/mlcurry/spack/lib/spack/spack/main.py", line 589, in _invoke_command
    return_val = command(parser, args)
  File "/home/mlcurry/spack/lib/spack/spack/cmd/spec.py", line 93, in spec
    concrete_specs = spack.cmd.parse_specs(args.specs, concretize=True)
  File "/home/mlcurry/spack/lib/spack/spack/cmd/__init__.py", line 189, in parse_specs
    return _concretize_spec_pairs(to_concretize, tests=tests)
  File "/home/mlcurry/spack/lib/spack/spack/cmd/__init__.py", line 205, in _concretize_spec_pairs
    return [concrete or spack.concretize.concretize_one(abstract, tests=tests)]
  File "/home/mlcurry/spack/lib/spack/spack/concretize.py", line 217, in concretize_one
    result = Solver().solve([spec], tests=tests, allow_deprecated=allow_deprecated)
  File "/home/mlcurry/spack/lib/spack/spack/solver/asp.py", line 4151, in solve
    result, _, _ = self.solve_with_stats(specs, **kwargs)
  File "/home/mlcurry/spack/lib/spack/spack/solver/asp.py", line 4141, in solve_with_stats
    return self.driver.solve(
  File "/home/mlcurry/spack/lib/spack/spack/solver/asp.py", line 928, in solve
    result.raise_if_unsat()
  File "/home/mlcurry/spack/lib/spack/spack/solver/asp.py", line 468, in raise_if_unsat
    raise SolverError(constraints, conflicts=conflicts)
spack.solver.asp.SolverError: Spack concretizer internal error. Please submit a bug report and include the command, environment if applicable and the following error message.
    zlib is unsatisfiable

Information on your system

[mlcurry@d10d2e415801 ~]$ spack debug report

  • Spack: 1.0.0.dev0 (f23cae6)
  • Python: 3.9.21
  • Platform: linux-rocky9-cascadelake

General information

  • I have run spack debug report and reported the version of Spack/Python/Platform
  • I have searched the issues of this repo and believe this is not a duplicate
  • I have run the failing commands in debug mode and reported the output

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions