Page History

Install

1. Eclipse

...

1. EE: http://www.eclipse.org/downloads

...

1. /

...

• Download Android version: 8,10,16

1. Get a SICStus Prolog (student) license at: http://www.sics.se/sicstus/

...

1. products

Eclipse plugins:Android ADT plugin: http://developer.android.com/tools/sdk/eclipse-adt.html

1. SVN Subclipse: http://subclipse.tigris.org/servlets/ProjectProcess;jsessionid=8D13BD08BAC70D767C63C7CD1AB43FEA?pageID=p4wYuA
   1. Needs Java HL: http://subclipse.tigris.org/wiki/JavaHL or SVNKit
   2. Set the SVN interface:
      
      1. Window-Preferences - Team - SVN 
      2. Choose SVN interface client: SVNKit

   3. SVN Passord (re-) settes på: http://drift.idi.ntnu.no/subversion/password/

   4. For integrasjon med Eclipse anbefales Subclipse: http://ist.berkeley.edu/as-ag/tools/usage/subclipse-usage-tips.html

2. SICStus spider: http://www.sics.se/sicstus/spider / prerequisites
   1. Eclipse: Help - Cheat Sheets... -> SICStus Prolog-Initial set up of paths to installed SICStus Prolog
   2. Avoid problem with "Just-In-Time" compiler:  Turning off the JIT compiler seems to be a workaround. You can do this by passing the option -DSP_JIT=disabled to sicstus.exe (from the command line) or by setting the SP_JIT system property to "disabled" in the Eclipse preferences (Preferences->SICStus Prolog->System Properties).
3. Busstuc: http://basar.idi.ntnu.no/svn/busstuc
   
   1. Alt+K -> compile busstuc
   2. Alt+F3 -> show def

SVN Passord (re-) settes på:

http://drift.idi.ntnu.no/subversion/password/

For integrasjon med Eclipse anbefales Subclipse

http://ist.berkeley.edu/as-ag/tools/usage/subclipse-usage-tips.html

1. Alternative to SVN is EGit: http://download.eclipse.org/egit/updates
   1. TABuss: https://github.com/saetre/TABuss.git

...

Old Student FURIOS SVN-server:

svn+ssh://satre@vm-6114.idi.ntnu.no/home/svn/FUIROS. (svn+ssh://satre@vm-6114.idi.ntnu.no/home/svn/FUIROS)

EPIC: http://e-p-i-c.sf.net/updates

In case you want to do some Android development

1. download Android SDK: http://developer.android.com/sdk/installing/index.html
   1. Download Android version: 8,10,16

   2. Android ADT plugin: http://developer.android.com/tools/sdk/eclipse-adt.html