Skip to content

Compiler fails to concretize spec unless concretizing together with dependency #50167

Closed
Bug
#50194
Closed
Compiler fails to concretize spec unless concretizing together with dependency#50167
Bug
#50194
Assignees
alalazo
Labels
bugSomething isn't workingconcretizationimpact-low
@cameronrutherford

Description

@cameronrutherford
cameronrutherford
opened on Apr 22, 2025

Steps to reproduce

$ spack spec libceed+libxsmm

The above generates the error. The below concretizes just fine:

$ spack spec libceed+libxsmm libxsmm
 -   [email protected]~cuda~debug+libxsmm~magma~occa~rocm build_system=makefile arch=darwin-sequoia-m1
[e]      ^[email protected] build_system=bundle arch=darwin-sequoia-m1
[+]      ^[email protected] build_system=generic arch=darwin-sequoia-m1
[e]      ^[email protected]~binutils+bootstrap~graphite~mold~nvptx~piclibs~profiled~strip build_system=autotools build_type=RelWithDebInfo languages:='c,c++,fortran' patches:=838cf07 arch=darwin-sequoia-m1
[+]      ^[email protected] build_system=generic arch=darwin-sequoia-m1
 -       ^[email protected]~guile build_system=generic arch=darwin-sequoia-m1
[+]  libxsmm@main~debug~generator~header-only~large_jit_buffer~shared blas=0 build_system=makefile arch=darwin-sequoia-m1
[e]      ^[email protected]~binutils+bootstrap~graphite~mold~nvptx~piclibs~profiled~strip build_system=autotools build_type=RelWithDebInfo languages:='c,c++,fortran' patches:=838cf07 arch=darwin-sequoia-m1
[+]      ^[email protected] build_system=generic arch=darwin-sequoia-m1
[e]      ^[email protected]~guile build_system=generic patches:=ca60bd9 arch=darwin-sequoia-m1
[e]      ^[email protected]+bz2+ctypes+dbm~debug+libxml2+lzma~optimizations+pic+pyexpat~pythoncmd+readline+shared+sqlite3+ssl~tkinter+uuid+zlib build_system=generic arch=darwin-sequoia-m1

Error message

$ spack --debug --stacktrace spec libceed+libxsmm
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.445484] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/config.yaml
lib/spack/spack/cmd/__init__.py:125 ==> [2025-04-22-11:37:23.461476] Imported spec from built-in commands
lib/spack/spack/cmd/__init__.py:125 ==> [2025-04-22-11:37:23.461874] Imported spec from built-in commands
lib/spack/spack/database.py:624 ==> [2025-04-22-11:37:23.464863] DATABASE LOCK TIMEOUT: 60s
lib/spack/spack/store.py:182 ==> [2025-04-22-11:37:23.464949] PACKAGE LOCK TIMEOUT: No timeout
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.465209] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/concretizer.yaml
lib/spack/spack/database.py:624 ==> [2025-04-22-11:37:23.478965] DATABASE LOCK TIMEOUT: 60s
lib/spack/spack/store.py:182 ==> [2025-04-22-11:37:23.479072] PACKAGE LOCK TIMEOUT: No timeout
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.479344] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.496892] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/darwin/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.503523] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.508338] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/repos.yaml
lib/spack/spack/database.py:624 ==> [2025-04-22-11:37:23.645971] DATABASE LOCK TIMEOUT: 60s
lib/spack/spack/store.py:182 ==> [2025-04-22-11:37:23.646083] PACKAGE LOCK TIMEOUT: No timeout
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.809238] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/mirrors.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.867076] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/bootstrap.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.870618] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/repos.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.871611] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.889139] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/darwin/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.895706] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/packages.yaml
lib/spack/spack/bootstrap/config.py:125 ==> [2025-04-22-11:37:23.900433] [BOOTSTRAP CONFIG SCOPE] name=_builtin
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.900675] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/bootstrap.yaml
lib/spack/spack/bootstrap/config.py:138 ==> [2025-04-22-11:37:23.903382] [BOOTSTRAP CONFIG SCOPE] name=defaults, path=/Users/rcamruzz/projects/spack/etc/spack/defaults
lib/spack/spack/bootstrap/config.py:139 ==> [2025-04-22-11:37:23.903472] [BOOTSTRAP CONFIG SCOPE] name=defaults/darwin, path=/Users/rcamruzz/projects/spack/etc/spack/defaults/darwin
lib/spack/spack/bootstrap/config.py:138 ==> [2025-04-22-11:37:23.903560] [BOOTSTRAP CONFIG SCOPE] name=bootstrap, path=/Users/rcamruzz/.spack/bootstrap/config
lib/spack/spack/bootstrap/config.py:139 ==> [2025-04-22-11:37:23.903644] [BOOTSTRAP CONFIG SCOPE] name=bootstrap/darwin, path=/Users/rcamruzz/.spack/bootstrap/config/darwin
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.904250] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/config.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.913859] Reading config from file /Users/rcamruzz/.spack/bootstrap/config/darwin/config.yaml
lib/spack/spack/database.py:624 ==> [2025-04-22-11:37:23.918585] DATABASE LOCK TIMEOUT: 60s
lib/spack/spack/store.py:182 ==> [2025-04-22-11:37:23.918687] PACKAGE LOCK TIMEOUT: No timeout
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.940107] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.957457] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/darwin/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:23.964145] Reading config from file /Users/rcamruzz/.spack/bootstrap/config/packages.yaml
lib/spack/spack/bootstrap/_common.py:241 ==> [2025-04-22-11:37:24.047868] [BOOTSTRAP ROOT SPEC] clingo-bootstrap@spack+python platform=darwin target=aarch64
lib/spack/spack/bootstrap/core.py:359 ==> [2025-04-22-11:37:24.047989] [BOOTSTRAP MODULE clingo] Try importing from Python
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:24.048292] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/bootstrap.yaml
lib/spack/spack/bootstrap/_common.py:99 ==> [2025-04-22-11:37:24.094493] [BOOTSTRAP MODULE clingo] The installed spec "clingo-bootstrap@spack+python platform=darwin target=aarch64 ^[email protected]/pl5t4qtmufwrvek37mrorllf6ivnwztc" provides the "clingo" Python module
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:24.099291] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:24.116944] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/darwin/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:24.123526] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/packages.yaml
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:24.174106] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/concretizer.yaml
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.272948] [spack.solver.input_analysis] libxsmm is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.388667] [spack.solver.input_analysis] acfl is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.391895] [spack.solver.input_analysis] amdblis is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.412535] [spack.solver.input_analysis] amdlibflame is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.452699] [spack.solver.input_analysis] wgl is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.471008] [spack.solver.input_analysis] fujitsu-mpi is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.536162] [spack.solver.input_analysis] msmpi is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.536826] [spack.solver.input_analysis] spectrum-mpi is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.539873] [spack.solver.input_analysis] cray-mvapich2 is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.540351] [spack.solver.input_analysis] hpcx-mpi is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.548038] [spack.solver.input_analysis] cray-mpich is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.658247] [spack.solver.input_analysis] jdk is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:24.849021] [spack.solver.input_analysis] liburing is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:25.114961] [spack.solver.input_analysis] msvc is not for this platform
lib/spack/spack/solver/input_analysis.py:93 ==> [2025-04-22-11:37:25.115610] [spack.solver.input_analysis] cce is not for this platform
lib/spack/spack/solver/asp.py:2977 ==> [2025-04-22-11:37:25.628533] [REUSE] Issues when trying to reuse libceed@develop~cuda~debug~libxsmm~magma~occa~rocm build_system=makefile arch=darwin-sequoia-armv8.4a/o7elozu: Unknown namespace: local
lib/spack/spack/config.py:1214 ==> [2025-04-22-11:37:28.261921] Reading config from file /Users/rcamruzz/projects/spack/etc/spack/defaults/config.yaml
lib/spack/spack/main.py:1056 ==> [2025-04-22-11:37:31.614909] SolverError: Spack concretizer internal error. Please submit a bug report and include the command, environment if applicable and the following error message.
    libceed+libxsmm is unsatisfiable
lib/spack/spack/error.py:58 ==> [2025-04-22-11:37:31.615580] Error: Spack concretizer internal error. Please submit a bug report and include the command, environment if applicable and the following error message.
    libceed+libxsmm is unsatisfiable
Traceback (most recent call last):
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/main.py", line 1049, in main
    return _main(argv)
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/main.py", line 1001, in _main
    return finish_parse_and_run(parser, cmd_name, args, env_format_error)
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/main.py", line 1032, in finish_parse_and_run
    return _invoke_command(command, parser, args, unknown)
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/main.py", line 593, in _invoke_command
    return_val = command(parser, args)
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/cmd/spec.py", line 93, in spec
    concrete_specs = spack.cmd.parse_specs(args.specs, concretize=True)
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/cmd/__init__.py", line 189, in parse_specs
    return _concretize_spec_pairs(to_concretize, tests=tests)
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/cmd/__init__.py", line 205, in _concretize_spec_pairs
    return [concrete or spack.concretize.concretize_one(abstract, tests=tests)]
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/concretize.py", line 198, in concretize_one
    result = Solver().solve([spec], tests=tests, allow_deprecated=allow_deprecated)
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/solver/asp.py", line 4640, in solve
    result, _, _ = self.solve_with_stats(specs, **kwargs)
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/solver/asp.py", line 4630, in solve_with_stats
    return self.driver.solve(
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/solver/asp.py", line 1311, in solve
    result.raise_if_unsat()
  File "/Users/rcamruzz/projects/spack/lib/spack/spack/solver/asp.py", line 503, 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.
    libceed+libxsmm is unsatisfiable

Information on your system

* **Spack:** 1.0.0.dev0 (0bec90ecd75f686b89f114c0c711f17c3cbd0041)
* **Python:** 3.9.6
* **Platform:** darwin-sequoia-m1

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

Labels

bugSomething isn't workingconcretizationimpact-low

Type

Bug

Projects

Triaged bugs

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions