ASR_BASE
Change-Id: Icf3719cc0afe3eeb3edc7fa80a2eb5199ca9dda1
diff --git a/toolchain/gcc/Config.version b/toolchain/gcc/Config.version
new file mode 100644
index 0000000..2abf6c1
--- /dev/null
+++ b/toolchain/gcc/Config.version
@@ -0,0 +1,19 @@
+config GCC_VERSION_12
+ default y if GCC_USE_VERSION_12
+ bool
+
+config GCC_VERSION_14
+ default y if GCC_USE_VERSION_14
+ bool
+
+config GCC_VERSION
+ string
+ default EXTERNAL_GCC_VERSION if EXTERNAL_TOOLCHAIN && !NATIVE_TOOLCHAIN
+ default "12.3.0" if GCC_VERSION_12
+ default "14.2.0" if GCC_VERSION_14
+ default "13.3.0"
+
+config GCC_USE_DEFAULT_VERSION
+ bool
+ default y if !TOOLCHAINOPTS || GCC_USE_VERSION_13
+ imply KERNEL_WERROR