Download/Installation

Generally, installation options depend on whether you want to run ASPIDE as stand-alone, or as a part of your existing Eclipse installation.

iGROM as a stand-alone application

If you either don't have an existing Eclipse installation, or don't want to add iGROM to it, for any reason, simple:

  1. Go to http://sourceforge.net/projects/igrom/files/stand-alone/ .
  2. Find the distribution for you. Generally, we have the following available:
    • Windows (win), both 32-bit (x86), and 64-bit (x86_64).
    • Linux (linux), both 32-bit (x86), and 64-bit (x86_64).
    • Mac OS X (macosx), both 32-bit (x86), and 64-bit (x86_64). Support for OS X is experimental at the moment.
  3. After you download the chosen package, unzip it to the path of your choice, optionally change the name of the directory (by default it's "eclipse"), and run the aspide executable - depending on the operating system, it's igrom.exe, igrom or igrom.app.
  4. A loading screen should appear, after which you can start your work! See the User Guide for more info.

iGROM as a plugin to Eclipse

If you have an existing Gallileo (3.5.x) or Helios (3.6.x) installation, you can add ASPIDE via our update site.

  1. Start your Eclipse.
  2. In the Menu, click "Help" and then select "Install new Software".
  3. Make sure the "Contact all update sites during install to find required software" checkbox is selected!
  4. In the "Work with:" field, enter http://igrom.sourceforge.net/updatesite (no trailing slash!).
  5. Find the Answer Set Programming category (you may need to scroll up to see it), select it, and press "Next".
  6. Press "Next" again, accept the license, and press "Finish".
  7. If you see a pop-up that requires you to accept certificates, check all relevant certificates and continue (those are Eclipse platform dependencies), and if you see a pop-up that asks about installing unsigned content (that would be iGROM), accept that as well.
  8. On being prompt to restart, click the restart option.

You're done! See the User Guide for more info on how to work with iGROM.