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

Remove useless rule

Browse Source 
The version_equivalent fact was deleted in #36347,
but the corresponding rule was not removed.
This commit is contained in:
Massimiliano Culpo 2023-06-14 16:27:16 +02:00 committed by Todd Gamblin
parent 6ad0dc3722
commit a53cc93016
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -82,11 +82,6 @@ facts(Package, version_declared(Version, Weight)) :- facts(Package, version_decl
% versions are declared w/priority -- declared with priority implies declared % versions are declared w/priority -- declared with priority implies declared
facts(Package, version_declared(Version)) :- facts(Package, version_declared(Version, _)). facts(Package, version_declared(Version)) :- facts(Package, version_declared(Version, _)).
% a spec with a git hash version is equivalent to one with the same matched version
version_satisfies(Package, Constraint, HashVersion) :- version_satisfies(Package, Constraint, EquivalentVersion),
version_equivalent(Package, HashVersion, EquivalentVersion).
#defined version_equivalent/3.
% If something is a package, it has only one version and that must be a % If something is a package, it has only one version and that must be a
% declared version. % declared version.
% We allow clingo to choose any version(s), and infer an error if there % We allow clingo to choose any version(s), and infer an error if there