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

Change method name

Browse Source
This commit is contained in:
Kayla Butler 2023-11-07 12:32:00 -08:00
parent 88368dea40
commit dbb36dbbf1
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/spack/spack/solver/asp.py
View File

@ -863,10 +863,11 @@ def visit(node):
if not setup.concretize_everything:
self.control.load(os.path.join(parent_dir, "when_possible.lp"))
tty.debug(f"Pyclingodriver attrs: {self.__dir__()}")
has_propagation = False
for spec in specs:
for dep in spec.traverse(root=True):
has_propagation |= self._compiler_flag_has_propagation(dep.compiler_flags)
has_propagation |= self._compiler_flags_has_propagation(dep.compiler_flags)
if has_propagation:
self.control.load(os.path.join(parent_dir, "propagation.lp"))
@ -978,7 +979,7 @@ def _model_has_cycles(self, models):
return cycle_result.unsatisfiable
def _compiler_flag_has_propagation(self, flags):
def _compiler_flags_has_propagation(self, flags):
for _, flag_vals in flags.items():
if any(val.propagate for val in flag_vals):
return True