HelvePic32

[sstaub]

In package_chipkit_index.json the HelvePic32 boards are missing.

[EmbeddedMan]

Was there a pull request to add support for these boards?

[sstaub]

The boards are listed in /pic32/variants. They are only missing in package_chipkit_index.json

[EmbeddedMan]

Very good. I'll get it added to the json shortly.

[xxxajk]

Added a pull request to fix building on Linux, possibly MacOS too.
See PR #437