diff options
| author | Gregory Becker <becker33@llnl.gov> | 2021-11-04 18:39:14 -0700 |
|---|---|---|
| committer | Todd Gamblin <tgamblin@llnl.gov> | 2021-11-05 00:15:47 -0700 |
| commit | 5efa76a033ccfc242546d35cc20593502ea84412 (patch) | |
| tree | b6d509526d9398bedeb72a890ecb46cbfc2110aa /lib | |
| parent | ac1e05fe1b06a7ccef621626effd66c957241cdf (diff) | |
| download | spack-5efa76a033ccfc242546d35cc20593502ea84412.tar.gz spack-5efa76a033ccfc242546d35cc20593502ea84412.tar.bz2 spack-5efa76a033ccfc242546d35cc20593502ea84412.tar.xz spack-5efa76a033ccfc242546d35cc20593502ea84412.zip | |
error message for reusing multiple hashes for package
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/spack/spack/solver/concretize.lp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index 99ab8a0e00..d0a8a8a308 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -790,7 +790,8 @@ no_flags(Package, FlagType) % Installed packages %----------------------------------------------------------------------------- % the solver is free to choose at most one installed hash for each package -{ hash(Package, Hash) : installed_hash(Package, Hash) } 1 :- node(Package). +{ hash(Package, Hash) : installed_hash(Package, Hash) } 1 + :- node(Package), error("Internal error: package must resolve to at most one hash"). % if a hash is selected, we impose all the constraints that implies impose(Hash) :- hash(Package, Hash). |