Can't speak to OP's direct situation but in my case, you could program Arduino based boards as I believe they recently updated their toolchains. The Pic32 stuff, because it comes with its own toolchains that are still 32bit, Mac will now refuse to run them as all support for 32bit is apparently gone. So I was not able to compile/verify at all for any Pic32 based ChipKit board.