The library was not building, because of some undefined refrences.
I had to add "#include <stdint.h>" to Arduino.h. I am not sure why, and in fact I am sure that I should not have to edit any of the Arduino core files.
Also I had to edit
#include "pins_arduino.h"
to
#include <pins_arduino.h>
Here are a few other edits:
pins_include.tiff (194 KB)
AVR Compiler Path.tiff (228 KB)
AVRDude Conf dir.tiff (109 KB)