Version 13 of the IDE

If you want to use a library with the Arduino Makefile, you need to add its .c or .cpp files to the source list and its path to the include path. This seems to be standard practice for Makefile use, and is one of the advantages of the Arduino environment.