Instal
Eclipse Classic : http://www.eclipse.org/downloads/
Android SDK: http://developer.android.com/sdk/installing/index.html
Eclipse plugins:
ADT plugin: https://dl-ssl.google.com/android/eclipse/
SICStus spider: http://www.sics.se/sicstus/spider/site/prerequisites.html