My class just used chipKIT boards (Arduinos with PIC32s inside), and the official tools seem to be based on a forked GCC 4.5. For the labs we used a build of GC

My class just used chipKIT boards (Arduinos with PIC32s inside), and the official tools seem to be based on a forked GCC 4.5. For the labs we used a build of GCC 4.9 that the school had prepared, which also worked fine.