diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2022-06-27 18:15:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-27 09:15:25 -0700 |
| commit | 11d71ca85e1724f2bac1e9d7d366e3b8097add0d (patch) | |
| tree | 1a1713e09e5e1a8e480545c7b0d625d23e0b1104 | |
| parent | 569884661992bd1dad39b1abb0b26167d6063baf (diff) | |
| download | spack-11d71ca85e1724f2bac1e9d7d366e3b8097add0d.tar.gz spack-11d71ca85e1724f2bac1e9d7d366e3b8097add0d.tar.bz2 spack-11d71ca85e1724f2bac1e9d7d366e3b8097add0d.tar.xz spack-11d71ca85e1724f2bac1e9d7d366e3b8097add0d.zip | |
Rename os_facts.lp to os_compatibility.lp (#31206)
Follow-up from #31170
| -rw-r--r-- | lib/spack/spack/solver/asp.py | 2 | ||||
| -rw-r--r-- | lib/spack/spack/solver/os_compatibility.lp (renamed from lib/spack/spack/solver/os_facts.lp) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py index bb05fb599e..38c03008e2 100644 --- a/lib/spack/spack/solver/asp.py +++ b/lib/spack/spack/solver/asp.py @@ -631,7 +631,7 @@ class PyclingoDriver(object): # Load the file itself self.control.load(os.path.join(parent_dir, 'concretize.lp')) - self.control.load(os.path.join(parent_dir, "os_facts.lp")) + self.control.load(os.path.join(parent_dir, "os_compatibility.lp")) self.control.load(os.path.join(parent_dir, "display.lp")) timer.phase("load") diff --git a/lib/spack/spack/solver/os_facts.lp b/lib/spack/spack/solver/os_compatibility.lp index e3d322b8f6..e3d322b8f6 100644 --- a/lib/spack/spack/solver/os_facts.lp +++ b/lib/spack/spack/solver/os_compatibility.lp |