Installation & Updating

Installation & updating

System requirements

  1. Eclipse 3.6 or above.
  2. GF 3.3.3 or above. The path to GF must be set within the plugin preferences (see below).

Using the GF Resource Grammar Library requires that the RGL binaries are also installed on your system. If you are using the pre-compiled binaries but have separately downloaded the RGL sources to your system, you can optionally specify this path in the plugin preferences (see below).

Installing the plugin for the first time

Available Software Sites

In order for dependencies to be satisfied, you need to ensure that your Eclipse has the following update site URLs set:

You can set these from Preferences → Install/Update → Available Software Sites.

Eclipse preferences

How to find the Eclipse preferences window depends on your Eclipse version and/or OS, and may be either of:

Installation

  1. Inside Eclipse, go to Help → Install New Software.
  2. Add new software site using the URL: http://www.grammaticalframework.org/eclipse/release/
  3. Select the GF Eclipse Plugin, and make sure the Contact all update sites during install to find required software option is checked.
  4. Click Next, accept the license agreement and install.
  5. Accept the prompt warning that the software is unsigned.
  6. Restart Eclipse when prompted.

Settings

  1. Add the GF perspective by clicking Window → Open Perspective → Other and choosing GF.
  2. Open the plugin settings by going to Preferences → Grammatical Framework (image below).
  3. The plugin will try to determine the path to your GF executable automatically, but this may need to be corrected.
    The path should include the name of the GF binary itself, e.g. /home/john/.cabal/bin/gf or C:\Users\John\GF\bin\gf.exe.
  4. The Additional path directive setting can be used if you want to avoid writing --# -path=... directives in your source files. By default it is set to .:alltenses:prelude, but can also be left blank. This is passed to GF using the --path flag.
  5. If you are using a pre-compiled version of the Resource Grammar Library (i.e. you didn't build it from source yourself) but you have the sources available on your system, then you can enter their path in the Library source path setting. This is optional and is only used for jumping to source definitions.
    You should enter an absolute system path, up to and including the src folder, e.g. /home/john/GF/lib/src/ or C:\Users\John\GF\lib\src\.
  6. You can also adjust the verbosity level of the GFEP console log in the preferences window.

Plugin preferences window

Updating the plugin

  1. In Eclipse, go to Help → Check for updates.
  2. Any available updates will appear in the dialog. Select them and follow the usual steps.

Deprecated stuff

Project settings

Although the plugin should take care of your project settings for you, in case anything gets messed up you can always correct them manually as follows:

Project nature

Your .project file should include the GF Project Nature as follows:

    <natures>
      <nature>org.grammaticalframework.eclipse.ui.natures.projectNatureID</nature>
    </natures>

Builder

Your .project file should include the GF Builder as follows:

    <buildSpec>
      <buildCommand>
          <name>org.grammaticalframework.eclipse.ui.build.GFBuilderID</name>
          <arguments>
          </arguments>
      </buildCommand>
    </buildSpec>

Specifying build files (guided build)

As of GFEP ≥ 1.5.2, you are now able to explicitly which modules in your GF project should be built by the builder. This would normally contain your "top-level" modules. This can be done right-clicking on your project in the Project Explorer and choosing Properties → GF Build Settings. From here you simply tick which modules in your project the GF builder should compile:

Project-specific build settings

When doing this, GFEP will never attempt to compile any other files in the project. Whenever you add a new top-level module or change your module hierarchy, be sure to check these build settings again.