Thanks! I’ve managed to compile the stdlib. I’m surprised about the layout in the generated jar file though. In its “ir” folder, there’s an “ir_tables” subfolder which contains “irCombined.knd” and “symbols.knd” (among others). Judging by the IrKotlinLibraryLayout, shouldn’t all those files be directly in the “ir” folder? I can’t extract anything with kotlin-util-klib.
In the end, I just need a serialized form of IR after lowerings - is there another way to obtain that?