From 1316e4a2e32f6f85618632c8f10f77785083b046 Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Fri, 28 Feb 2025 14:53:01 +0100 Subject: [PATCH] concretize.lp: minor clean up of node_compiler Signed-off-by: Massimiliano Culpo --- lib/spack/spack/solver/concretize.lp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index cb2005b567f..c8a5bb8b284 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -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)).