Are using the "MPIDE", "UECIDE", or the "chipKIT-core plugin with the Arduino IDE"?
Edit2: MPIDE seems to be in either modified or unmodified from
MicroChip Digilent.
Edit3: The modified (to maybe support Arduino sketches) version seems to be considered obsolete.
Edit4: I am trying to download "chipKIT-core plugin with the Arduino IDE" to see what compiler it uses.
(I have no hardware; so, I can only test the building)
Edit5: "MPLAB IDE" and "MPIDE" are two different IDEs; the first from MicroChip and I think the second is from Digilent.
Edit6: The compiler/toolchain was installed under here "C:\Users\stahta01\AppData\Local\Arduino15" with "pic32-gcc.exe" for the C Compiler.
Those are the only
compiler IDE options I found on
http://chipkit.net/wiki/index.php?title=Main_PageI have never used any of the three IDE choices listed above.
Edit: Each of the above three IDE choices might use the same or different compiler toolchain; I have yet to look that far into the docs.
Tim S.