diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-01-23 08:53:28 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-01-23 08:53:28 +0000 |
| commit | cfcea38e8d17380b695a979cef82c5db805f879d (patch) | |
| tree | 383f427626bbc8e273dfedab50feb906eeb59826 /eclipse | |
| parent | 116fff5808cf6528272cda0c24f6ffcad0c8fcaa (diff) | |
Updated GFEP readme
Added details about updates sites in installation instructions
Diffstat (limited to 'eclipse')
| -rw-r--r-- | eclipse/index.html | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/eclipse/index.html b/eclipse/index.html index f03be8a49..f1dde3234 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -1,7 +1,7 @@ <h1>The GF Eclipse Plugin</h1> <p>John J. Camilleri<br /> -Updated: 20 Jan 2012</p> +Updated: 23 Jan 2012</p> <p><em>The research leading to these results has received funding from the European Union’s Seventh Framework Programme (FP7/2007-2013) under grant agreement n° FP7-ICT-247914.</em></p> @@ -119,7 +119,7 @@ Updated: 20 Jan 2012</p> <p>In order for dependencies to be satisfied, you need to ensure that your Eclipse has the following update site URLs set:</p> <ul> -<li>Eclipse releases (change version number to match): <a href="http://download.eclipse.org/eclipse/updates/3.7/">http://download.eclipse.org/eclipse/updates/3.7/</a></li> +<li>Eclipse releases (change version name to match): <a href="http://download.eclipse.org/releases/indigo">http://download.eclipse.org/releases/indigo</a></li> <li>Xtext: <a href="http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/">http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/</a></li> </ul> @@ -128,15 +128,12 @@ Updated: 20 Jan 2012</p> <ol> <li>Inside Eclipse, go to <strong>Help → Install New Software</strong>.</li> <li>Add new software site using the URL: <code>http://www.grammaticalframework.org/eclipse/release/</code></li> -<li>Select the <strong>GF Eclipse Plugin</strong>, and make sure the option <em>Contact all update sites during install to find required software</em> is checked.</li> +<li>Select the <strong>GF Eclipse Plugin</strong>, and make sure the <strong>Contact all update sites during install to find required software</strong> option is checked.</li> <li>Click Next, accept the license agreement and install.</li> <li>Accept the prompt warning that the software is unsigned.</li> <li>Restart Eclipse when prompted.</li> </ol> -<p><strong>Note when installing on Ubuntu:</strong> -If you installed the Eclipse package from Ubuntu’s Software Centre you may find that your update site list is empty, as described by <a href="https://bugs.launchpad.net/ubuntu/+source/eclipse/+bug/460944">this bug</a>. This will cause the GFEP installation to fail; You will need to add the standard Eclipse update site URL manually, e.g. <code>http://download.eclipse.org/releases/indigo/</code></p> - <h4>Settings</h4> <ol> |