From 8828a226a0319f5f4db7d5b7152c0928a188dbb4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Tue, 12 Jun 2012 11:27:23 +0000 Subject: [PATCH] GFEP: updated readme --- eclipse/index.html | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/eclipse/index.html b/eclipse/index.html index 6583ab386..b8260716d 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -118,9 +118,12 @@ Updated: 12 June 2012

  1. Eclipse 3.6 or above.
    2. -
  2. GF 3.3.3 or above. The path to GF must be set within the plugin (see below).
    3. +
  3. 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

@@ -159,9 +162,11 @@ Updated: 12 June 2012

  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. -
  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\gf.exe.
    4. +
  4. 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.
  5. 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.
    6. -
  6. If you are using pre-compiled version of the Resource Grammar Library (i.e. you didn’t build them yourself from source) but you still have the sources available on your system, then you can enter to that path here. This is optional and is only used for jumping to source definitions. You should enter the absolute system path up to and including the src folder, e.g. /home/john/GF/lib/src/.
    7. +
  7. 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\.
  8. You can also adjust the verbosity level of the GFEP console log in the preferences window.