The weird riscv64-linux-gnu platform being detected appears very similar to a similar issue @Torkel had in January. As that was fixed by checking JLLWrappers, did you (@Torkel) look into @lmiq’s suggestion?
1 Like