Skip to content

Commit 17223fc

Browse files
committed
Duplicate installed rules for installed_git_version
1 parent fa159b6 commit 17223fc

1 file changed

Lines changed: 12 additions & 0 deletions

File tree

lib/spack/spack/solver/concretize.lp

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -204,6 +204,12 @@ pkg_fact(Package, version_declared(Version, Weight)) :- pkg_fact(Package, versio
204204
not attr("hash", node(ID, Package), _),
205205
internal_error("Reuse version weight used for built package").
206206

207+
:- pkg_fact(Package, version_declared(Version, Weight, "installed_git_version")),
208+
attr("version", node(ID, Package), Version),
209+
version_weight(node(ID, Package), Weight),
210+
not attr("hash", node(ID, Package), _),
211+
internal_error("Reuse version weight used for built package").
212+
207213
% versions are declared w/priority -- declared with priority implies declared
208214
pkg_fact(Package, version_declared(Version)) :- pkg_fact(Package, version_declared(Version, _)).
209215

@@ -253,6 +259,12 @@ possible_version_weight(node(ID, Package), Weight)
253259
build(node(ID, Package)),
254260
internal_error("Reuse version weight used for build package").
255261

262+
:- attr("version", node(ID, Package), Version),
263+
version_weight(node(ID, Package), Weight),
264+
pkg_fact(Package, version_declared(Version, Weight, "installed_git_version")),
265+
build(node(ID, Package)),
266+
internal_error("Reuse version weight used for build package").
267+
256268
:- attr("version", node(ID, Package), Version),
257269
version_weight(node(ID, Package), Weight),
258270
not pkg_fact(Package, version_declared(Version, Weight, "installed")),

0 commit comments

Comments
 (0)