Error: key "13.3.0" not found in dictionary

[chiphogg]

The README says that this tool supports the glibc variants of https://toolchains.bootlin.com/. I see 13.3.0 prominently indicated as "stable" on that website. But when I try setting gcc_version = "13.3.0", in my WORKSPACE file, I get:

ERROR: Traceback (most recent call last):
	File "/home/chogg/au/WORKSPACE", line 103, column 23, in <toplevel>
		gcc_register_toolchain(
	File "/home/chogg/.cache/bazel/_bazel_chogg/f4320e9077711029fb47fb5166db48f7/external/aspect_gcc_toolchain/toolchain/defs.bzl", line 288, column 62, in gcc_register_toolchain
		strip_prefix = kwargs.pop("strip_prefix", _TOOLCHAINS[gcc_version][target_arch].strip_prefix),
Error: key "13.3.0" not found in dictionary

Digging a little bit, I can see that _TOOLCHAINS is defined as a dictionary with a single key, "10.3.0".

• Is it the case that the versions actually need to be manually added?
• If so, could you please add at least "13.3.0", and perhaps others?

[f0rmiga]

@chiphogg I started work this week to stop using the toolchains from bootlin as we already build GCC as part of the sysroot creation. As part of this work, I can add more supported versions.