zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix to concretize.lp

Browse Source
This commit is contained in:
psakiev
2022-01-25 23:04:02 -07:00
parent a9996db35c
commit eb95a50e08
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lib/spack/spack/solver/concretize.lp
View File

@@ -827,6 +827,9 @@ no_flags(Package, FlagType)
{ hash(Package, Hash) : installed_hash(Package, Hash) } 1 { hash(Package, Hash) : installed_hash(Package, Hash) } 1
:- node(Package), error("Internal error: package must resolve to at most one hash"). :- node(Package), error("Internal error: package must resolve to at most one hash").
% you can't choose an installed hash for a dev spec
:- hash(Package, Hash), variant_set(Package, "dev_path", _).
% if a hash is selected, we impose all the constraints that implies % if a hash is selected, we impose all the constraints that implies
impose(Hash) :- hash(Package, Hash). impose(Hash) :- hash(Package, Hash).