Arduino 1.5 Beta for Raspberry Pi?

Unfortunately it does not look as if it will be viable. The IDE runs far too slowly to be usable, and compilation takes far too long. I don't have a correctly working toolchain yet, and compiling one takes many hours per attempt - I have not found the magic combination of options which works.