How to compile Arduino-1.5.5-r2 IDE , needed for arduino due, on raspbian ?

Arduino 1.0.1 is too old for the Arduino due board.

I Extracted the 1.5.5-r2 sources from git.
While running : /Arduino-1.5.5-r2/build $ ant
I receive the error :
Buildfile: /home/pi/ard55/Arduino-1.5.5-r2/build/build.xml
build:
BUILD FAILED
/home/pi/ard55/Arduino-1.5.5-r2/build/build.xml:55: The following error occurred while executing this line:
Target "${platform}-build" does not exist in the project "Arduino".

Could you inform me if the sources allow build to arm-linux platform (raspberry pi)
if i need to edit a configuration file or set an environment parameter.

Thanks.

I'd like to know how to get the latest Arduino beta working on raspberry pi too if anyone has any answers?

Thanks,

Tom

devosalain:
Could you inform me if the sources allow build to arm-linux platform (raspberry pi)
if i need to edit a configuration file or set an environment parameter.

A simpler process might be to use an amd64 or i386 version of Debian and either get the latest Arduino package source (apt-get source arduino) along with the build dependencies (apt-get build-dep arduino) and/or attempt to build it according to the build instructions documented somewhere on arduino.cc (I forget where the docs are, somewhere linked from the source download page, probably in a wiki). Then you can work out debian-related issues, such as installing dependency packages, and then finish up with raspbian-specific issues.

the only thing I can think of at the moment is that you don't have all of the necessary build tools or dependencies installed on raspbian.