fix(Kconfig): Fix non existant LV_STDLIB_BUILTIN (#6851)

scripts/install-prerequisites.bat

@@ -1,4 +1,4 @@
 vcpkg install vcpkg-tool-ninja libpng freetype opengl glfw3 glew
 if %errorlevel% neq 0 exit /b %errorlevel%
-pip install pypng lz4
+pip install pypng lz4 kconfiglib
 if %errorlevel% neq 0 exit /b %errorlevel%

scripts/install-prerequisites.sh

@@ -14,4 +14,4 @@ sudo apt install gcc gcc-multilib g++-multilib ninja-build \
     ruby-full gcovr cmake  python3 pngquant libinput-dev libxkbcommon-dev \
     libdrm-dev pkg-config wayland-protocols libwayland-dev libwayland-bin \
     libwayland-dev:i386 libxkbcommon-dev:i386
-pip3 install pypng lz4
+pip3 install pypng lz4 kconfiglib

scripts/kconfig_verify.py

@@ -0,0 +1,29 @@
+#!/usr/bin/env python3
+
+import sys
+
+try:
+    import kconfiglib
+except ImportError:
+    print("Need kconfiglib package, do `pip3 install kconfiglib`")
+    sys.exit(1)
+
+
+def verify_kconfig(kconfig_file):
+    kconf = kconfiglib.Kconfig(kconfig_file)
+
+    if kconf.warnings:
+        print("Warnings found:")
+        for warning in kconf.warnings:
+            print(warning)
+        sys.exit(1)
+    else:
+        print("No warnings found.")
+
+
+if __name__ == "__main__":
+    if len(sys.argv) != 2:
+        print("Usage: python check_kconfig.py <Kconfig_file>")
+        sys.exit(1)
+
+    verify_kconfig(sys.argv[1])