Add support for the Digilent chipKIT platform

This commit modifies a few things in Arduino.mk to be able to support
overriding the necessary configuration options to support the chipKIT build,
and also includes an example sketch configured to build for the Max32 platform.

In addition the following changes were done as well

- Control C standard with a CFLAGS_STD flag, GNU99 by default.
- Duplicate show_config_variable in each sub-makefile.
- Remove redundant output of ARDUINO_PREFERENCES_PATH from config table.
- Defer Priting ARDMK_DIR until Arduino.mk.
- Define names of compiler tools earlier to use for path checking.

Duplicating show_config_variable is unfortunate because the code is duplicated,
but I don't see a good way around it since we need to dupliacate the check
for ARDMK_DIR before we can find Common.mk.

Fix #98

1 files changed, 2 insertions, 1 deletions

diff --git a/HISTORY.md b/HISTORY.md
index a373b71..e10c47b 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,7 +3,7 @@ A Makefile for Arduino Sketches
 
 The following is the rough list of changes that went into different versions. I tried to give credit whenever possible. If I have missed anyone, kindly add it to the list.
 
-### 0.12.1 (in development)
+### 0.13.0 (in development)
 - Add $OBJDIR to the list of configuration that gets printed. Fix issue #77
 - Add support for specifying optimization level. Fix issue #81
 - Add support for reseting "Micro" Arduino. Fix issue #80 (https://github.com/sej7278)
@@ -13,6 +13,7 @@ The following is the rough list of changes that went into different versions. I
 - Improve avrdude and avrdude.conf path auto detection. Fix issue #48
 - Move binary sketch size verification logic inside makefile. Fix issue #54
 - Remove dependency on wait-connection-leonardo shell script. Fix issue #95
+- Add support for the Digilent chipKIT platform. (https://github.com/peplin)
 
 ### 0.12.0 (2013-06-20)
 - Fix "generated_assembly" target, which got broken earlier. Fix issue #76 (https://github.com/matthijskooijman)