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

.github/workflows/verify_kconfig.yml

@@ -0,0 +1,22 @@
+name: Verify Kconfig
+on:
+  push:
+  pull_request:
+
+jobs:
+  verify-kconfig:
+    if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head.repo.full_name }}
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          persist-credentials: false
+          fetch-depth: 0
+      - name: Setup Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: 3.7
+      - name: Run kconfig_verify.py
+        run: python3 -m pip install kconfiglib && python kconfig_verify.py ../Kconfig
+        working-directory: scripts

Kconfig

@@ -445,12 +445,12 @@ menu "LVGL configuration"
 				Accelerate blends, fills, image decoding, etc. with STM32 DMA2D.
 
 		config LV_DRAW_DMA2D_HAL_INCLUDE
-			int "the header file for LVGL to include for DMA2D"
+			string "the header file for LVGL to include for DMA2D"
 			default "stm32h7xx_hal.h"
 			depends on LV_USE_DRAW_DMA2D
 
 		config LV_USE_DRAW_DMA2D_INTERRUPT
-			int "use the DMA2D transfer complete interrupt"
+			bool "use the DMA2D transfer complete interrupt"
 			default n
 			depends on LV_USE_DRAW_DMA2D
 			help
@@ -1384,7 +1384,7 @@ menu "LVGL configuration"
 		config LV_USE_MEM_MONITOR
 			bool "Show the used memory and the memory fragmentation"
 			default n
-			depends on LV_STDLIB_BUILTIN && LV_USE_SYSMON
+			depends on LV_USE_BUILTIN_MALLOC && LV_USE_SYSMON
 
 		choice
 			prompt "Memory monitor position"

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])