Hello ! Did you figured out how to resolve you problem ? I think I face the same issue,
I installed devkit with the devkitpro-pacman-installer.pkg file (which I found at the devkitPro/pacman Github repository), installed the wii-dev package (I plan to work on Brainslug), restarted my computer...