I downloaded and unpacked arduino-1.0.2-teensy3-beta7-windows.zip.\
I edited the makefile for windows, then I tried running the makefile.
I received this error:
keylayouts.c:1: fatal error: avr/pgmspace.h: No such file or directory
The makefile needed to be edited:
# CPPFLAGS = compiler options...