From 0826125cbdb7f1c360b2aed5b11d4cbfbec884d7 Mon Sep 17 00:00:00 2001 From: Bilal Elmoussaoui Date: Tue, 3 Feb 2026 14:33:58 +0100 Subject: [PATCH] Add autosd 10 support --- BUILD | 18 ++++++++++++++++++ version/BUILD | 5 +++++ 2 files changed, 23 insertions(+) diff --git a/BUILD b/BUILD index 842d31e..b1cb78d 100644 --- a/BUILD +++ b/BUILD @@ -117,6 +117,24 @@ platform( parents = [":x86_64-linux"], ) +platform( + name = "x86_64-linux-gcc_autosd-10.0-autosd", + constraint_values = [ + "@score_bazel_platforms//version:gcc_autosd-10.0", + "@score_bazel_platforms//runtime_es:autosd", + ], + parents = [":x86_64-linux"], +) + +platform( + name = "aarch64-linux-gcc_autosd-10.0-autosd", + constraint_values = [ + "@score_bazel_platforms//version:gcc_autosd-10.0", + "@score_bazel_platforms//runtime_es:autosd", + ], + parents = [":aarch64-linux"], +) + # -------------------------------------------------------------------------------- # List of aliases (deprecated targets) to keep compatibility diff --git a/version/BUILD b/version/BUILD index 4f2effe..46e1a43 100644 --- a/version/BUILD +++ b/version/BUILD @@ -59,3 +59,8 @@ constraint_value( constraint_setting = ":gcc_version", ) +constraint_value( + name = "gcc_autosd-10.0", + constraint_setting = ":gcc_version", +) +