- Internal Workplan
Installation & Updating
Installation & updating
- Eclipse 3.6 or above.
- 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:
- Eclipse releases (change version name to match):
You can set these from Preferences → Install/Update → Available Software Sites.
How to find the Eclipse preferences window depends on your Eclipse version and/or OS, and may be either of:
- Window → Preferences
- Eclipse → Preferences
- Inside Eclipse, go to Help → Install New Software.
- Add new software site using the URL:
- Select the GF Eclipse Plugin, and make sure the Contact all update sites during install to find required software option is checked.
- Click Next, accept the license agreement and install.
- Accept the prompt warning that the software is unsigned.
- Restart Eclipse when prompted.
- Add the GF perspective by clicking Window → Open Perspective → Other and choosing GF.
- Open the plugin settings by going to Preferences → Grammatical Framework (image below).
- 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.
- 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
- 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
- You can also adjust the verbosity level of the GFEP console log in the preferences window.
Updating the plugin
- In Eclipse, go to Help → Check for updates.
- Any available updates will appear in the dialog. Select them and follow the usual steps.
- Any folders
.gfexternalcan safely deleted as of GFEP ≥ 1.5. Using Eclipse's Clean function from the Run menu will do this for you automatically.
- If your project has a folder named
(External)you can safely delete this via the Eclipse Project Explorer. It is no longer used in GFEP ≥ 1.2.3
- If your workspace contains a log file
gfep.logthen you can safely delete it from your system. As of version 1.2.4, GFEP uses Eclipse's standard log file at
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 file should include the GF Project Nature as follows:
<natures> <nature>org.grammaticalframework.eclipse.ui.natures.projectNatureID</nature> </natures>
.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:
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.