Better error message when wrong platform is used (#40492)

fixes #40299
This commit is contained in:
Massimiliano Culpo 2023-10-13 11:18:55 +02:00 committed by GitHub
parent 8a0de10f60
commit 3752fe9e42
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -923,6 +923,7 @@ pkg_fact(Package, variant_single_value("dev_path"))
%-----------------------------------------------------------------------------
% if no platform is set, fall back to the default
error(100, "platform '{0}' is not allowed on the current host", Platform)
:- attr("node_platform", _, Platform), not allowed_platform(Platform).
attr("node_platform", PackageNode, Platform)