Can't get LVGL to work with Micropython

[idev-github]

It seems that the Micropython support is quite rough, because there is no apparent way to add libraries to MP. For instance, I need to use LVGL to code a GUI for my Pi Pico. I have followed the build instructions for lvgl_micropython bindings for my OS (MacOS), but I cannot get the port integrated into PyCharm.

[elmot]

It'd be possible if there is lglv stubs available.
Unfortunately I can't google any.