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

concretize.lp: minor clean up of node_compiler

Browse Source 
Signed-off-by: Massimiliano Culpo <massimiliano.culpo@gmail.com>
This commit is contained in:
Massimiliano Culpo 2025-02-28 14:53:01 +01:00
parent de51c6b894
commit 1316e4a2e3
No known key found for this signature in database
GPG Key ID: 3E52BB992233066C
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1260,7 +1260,6 @@ error(100, "Cannot propagate the variant '{0}' from the package: {1} because pac
node_compiler(node(X, Package), node(Y, Compiler)) :-
attr("virtual_on_edge", node(X, Package), node(Y, Compiler), Language),
attr("version", node(Y, Compiler), Version),
compiler(Compiler), language(Language).
propagated_flag(node(PackageID, Package), node_flag(FlagType, Flag, FlagGroup, Source), SourceNode) :-
@ -1423,9 +1422,8 @@ error(10, "Only external, or concrete, compilers are allowed for the {0} languag
error(10, "{0} compiler '{2}@{3}' incompatible with 'target={1}'", Package, Target, Compiler, Version)
:- attr("node_target", node(X, Package), Target),
attr("virtual_on_edge", node(X, Package), node(Y, Compiler), Language),
node_compiler(node(X, Package), node(Y, Compiler)),
attr("version", node(Y, Compiler), Version),
compiler(Compiler), language(Language),
not compiler_supports_target(Compiler, Version, Target),
build(node(X, Package)).