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

Optimize grounding of "can_inherit_flags"

Browse Source
This commit is contained in:
Massimiliano Culpo 2023-06-30 15:08:11 +02:00 committed by Todd Gamblin
parent eaec3062a1
commit 006e69265e
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1148,12 +1148,15 @@ error(100, "Compiler {1}@{2} requested for {0} cannot be found. Set install_miss
% propagate flags when compiler match % propagate flags when compiler match
can_inherit_flags(PackageNode, DependencyNode, FlagType) can_inherit_flags(PackageNode, DependencyNode, FlagType)
:- same_compiler(PackageNode, DependencyNode),
not attr("node_flag_set", DependencyNode, FlagType, _),
flag_type(FlagType).
same_compiler(PackageNode, DependencyNode)
:- depends_on(PackageNode, DependencyNode), :- depends_on(PackageNode, DependencyNode),
node_compiler(PackageNode, CompilerID), node_compiler(PackageNode, CompilerID),
node_compiler(DependencyNode, CompilerID), node_compiler(DependencyNode, CompilerID),
not attr("node_flag_set", DependencyNode, FlagType, _), compiler_id(CompilerID).
compiler_id(CompilerID),
flag_type(FlagType).
node_flag_inherited(DependencyNode, FlagType, Flag) node_flag_inherited(DependencyNode, FlagType, Flag)
:- attr("node_flag_set", PackageNode, FlagType, Flag), :- attr("node_flag_set", PackageNode, FlagType, Flag),