Just here to clear of the misinformation. You are probably thinking of the "Libretro-Dolphin-launcher". But Dolphin has actually been ported over and is a real core.
Links for reference.
Libretro-Retro-launcher (Wrapper)
People in the libretro forum talking about compiling the newish Dolphin core.