Browse Source

added missing step in how to export plugins.

Claudio Gomes 4 years ago
parent
commit
c1de6e90ae
3 changed files with 10 additions and 3 deletions
  1. 1 1
      .gitignore
  2. 1 1
      HintCOEngine/.classpath
  3. 8 1
      README.md

+ 1 - 1
.gitignore

@@ -4,6 +4,6 @@
 /HintCOEngine/bin/
 /HintCOEngine/output/
 /HintCOEngine/results-gen/
-/HintCOEngine/src-gen/
+/HintCOEngine/xtend-gen/
 /be.uantwerpen.cosys.ContractLang/target
 /snapshot/

+ 1 - 1
HintCOEngine/.classpath

@@ -2,7 +2,7 @@
 <classpath>
 	<classpathentry kind="src" path="lib/nativebinaries"/>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="src" path="src-gen"/>
+	<classpathentry kind="src" path="xtend-gen"/>
 	<classpathentry kind="src" path="test"/>
 	<classpathentry kind="lib" path="lib/opencsv-4.3.2.jar" sourcepath="lib/opencsv-source.zip"/>
 	<classpathentry kind="lib" path="lib/commons-lang3-3.8.1.jar" sourcepath="lib/commons-cli-1.4-sources.jar"/>

+ 8 - 1
README.md

@@ -66,6 +66,9 @@ To setup the framework, you need follow these steps:
 3. Install "Modeling → EMF - Eclipse Modeling Framework Xcore SDK"
 4. Install "Modeling → Xpand SDK"
 5. Install "Modeling → Xtext Complete SDK"
+6. Import the HintCO repository as an eclipse "Existing Project".
+
+
 
 ### Exporting the HintCO Binary
 
@@ -86,7 +89,11 @@ Exporting the editor plugins is performed in Eclipse.
 3. On the right-hand side of the tab, under the *Exporting* headline and on the line starting with *4.*, click the *Export Wizard* link.
 4. Set the destination directory where the plugin jar will be exported to.
 5. Select *Finish*.
-6. Repeat the above steps for the [HintConfiguration.editor/plugin.xml](HintConfiguration.editor/plugin.xml) file.
+6. Repeat the above steps for the [HintConfiguration.editor/plugin.xml](HintConfiguration.editor/plugin.xml) and [HintConfiguration/plugin.xml](HintConfiguration/plugin.xml) files.
+
+### Deploying the Editor Plugins
+
+1. Take the jar files generated in [Exporting the Editor Plugins](exporting-the-editor-plugins) and move them to the eclipse *dropins* folder. Make sure the eclipse distribution is equivalent to the distribution used in [IDE Configuration](ide-configuration).
 
 ## Contributing