Arduino IDE 1.5 requires ia32-libs package on latest 64-bits Ubuntu systems.

[cmaglie]

Related forum threads:

http://forum.arduino.cc/index.php?topic=169178.msg0

http://forum.arduino.cc/index.php?topic=150161.0
a solution to that part http://forum.arduino.cc/index.php?topic=150161.15

http://forum.arduino.cc/index.php?topic=156530.0

http://comments.gmane.org/gmane.comp.hardware.arduino.devel/1812

[cmaglie]

Here the official distribution of the compiler:

https://launchpad.net/gcc-arm-embedded

there is no 64bit version available for download, but there are instructions for building the toolchain. Maybe building a native 64 bit version could solve the problem?

C

[geeklhem]

I've built cmaglie's version on my Debian Stable (wheezy) 64bits and It worked properly.

As it is the only way I've found to use an Arduino Due with my Debian 64bits, I suggest that this commit should be merged in the main branch.

@cmaglie : Thank you !