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

Duplicate installed rules for installed_git_version

Browse Source
This commit is contained in:
psakiev
2024-06-11 08:36:52 -06:00
parent fa159b6301
commit 17223fc8d1
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -204,6 +204,12 @@ pkg_fact(Package, version_declared(Version, Weight)) :- pkg_fact(Package, versio
not attr("hash", node(ID, Package), _), not attr("hash", node(ID, Package), _),
internal_error("Reuse version weight used for built package"). internal_error("Reuse version weight used for built package").
:- pkg_fact(Package, version_declared(Version, Weight, "installed_git_version")),
attr("version", node(ID, Package), Version),
version_weight(node(ID, Package), Weight),
not attr("hash", node(ID, Package), _),
internal_error("Reuse version weight used for built package").
% versions are declared w/priority -- declared with priority implies declared % versions are declared w/priority -- declared with priority implies declared
pkg_fact(Package, version_declared(Version)) :- pkg_fact(Package, version_declared(Version, _)). pkg_fact(Package, version_declared(Version)) :- pkg_fact(Package, version_declared(Version, _)).
@@ -253,6 +259,12 @@ possible_version_weight(node(ID, Package), Weight)
build(node(ID, Package)), build(node(ID, Package)),
internal_error("Reuse version weight used for build package"). internal_error("Reuse version weight used for build package").
:- attr("version", node(ID, Package), Version),
version_weight(node(ID, Package), Weight),
pkg_fact(Package, version_declared(Version, Weight, "installed_git_version")),
build(node(ID, Package)),
internal_error("Reuse version weight used for build package").
:- attr("version", node(ID, Package), Version), :- attr("version", node(ID, Package), Version),
version_weight(node(ID, Package), Weight), version_weight(node(ID, Package), Weight),
not pkg_fact(Package, version_declared(Version, Weight, "installed")), not pkg_fact(Package, version_declared(Version, Weight, "installed")),