solver: temporarily enforce compilers to be externals

This commit is contained in:
Massimiliano Culpo 2024-11-23 13:01:57 +01:00
parent f379b304a1
commit 0d6a5c0f06
No known key found for this signature in database
GPG Key ID: 3E52BB992233066C

View File

@ -1374,6 +1374,12 @@ language("c").
language("cxx").
language("fortran").
% FIXME (compiler as nodes): remove when we lift this constraint
error(10, "Only external compilers are allowed for the {0} language", Language)
:- provider(ProviderNode, node(_, Language)),
language(Language),
not external(ProviderNode).
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),