Can´t compile lv_micropython PICO port with pico-sdk 1.5.0

Micropython
1

Using the lv_micropython documentation GitHub - lvgl/lv_micropython: Micropython bindings to LVGL for Embedded devices, Unix and JavaScript from github, the firmware cannot be build.

The problem lies in the fact that lv_micropython does not track a particular version of pico-sdk . It worked with pico-sdk 1.4.0 but since the new release of pico-sdk (at the moment 1.5.0) it stopped working.

Solution: after cloning the lv_micropython repository, change in the .gitmodules file to track the older pico-sdk:

[submodule "lib/pico-sdk"]
	path = lib/pico-sdk
	url = https://github.com/raspberrypi/pico-sdk.git

becomes

[submodule "lib/pico-sdk"]
	path = lib/pico-sdk
	url = https://github.com/raspberrypi/pico-sdk.git
	branch = 1.4.0
2

Nope, it did not help. Or more exactly, it worked only once. I´m trying to reproduce the process to pinpoint where it fails.
The compilation fails at some point during the compilation of pico-sdk (with submodule tied to 1.4.0 branch):

lv_micropython/lib/pico-sdk/src/rp2_common/pico_bootrom/include/pico/bootrom.h:120:59: error: array subscript 0 is outside array bounds of 'uint16_t[0]' {aka 'short unsigned int[]'} [-Werror=array-bounds]
  120 | #define rom_hword_as_ptr(rom_address) (void *)(uintptr_t)(*(uint16_t *)rom_address)
3

Narrowing down the cause, it seems gcc version 10.2.1 20210110 (Debian 10.2.1-6) does not have this problem while the gcc12.something from Fedora does…

4

This is a problem in the PICO SDK and not in LVGL. Might help to ask the folks over at their repo about it. I would normally do that for you but I have ZERO experience with the PICO and the SDK so I wouldn’t even know what to say or how to say it. I think you would get faster help with it if you ask because you know more about what is happening then I do.