diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-10-02 19:30:05 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-10-02 19:32:34 +0200 |
commit | 089479fb31419b92c04f80d4cca9f09e34c684c6 (patch) | |
tree | af1d0971fd78899478fb0fb8556c817762fd9f45 /README.md | |
parent | build: bump to Java 17 (diff) | |
download | refinery-089479fb31419b92c04f80d4cca9f09e34c684c6.tar.gz refinery-089479fb31419b92c04f80d4cca9f09e34c684c6.tar.zst refinery-089479fb31419b92c04f80d4cca9f09e34c684c6.zip |
build: fix Eclipse project generation instructions
BuildShip and Gradle :eclipse are incompatible:
https://github.com/eclipse/buildship/issues/267#issuecomment-547318667
Therefore, we run :eclipseJdt manually instead to genrate the JDT
configuration to ignore @SuppressWarning unknown warnings, which lets us
silence Sonar warnings in-line.
We also run :generateXtext to make sure all generated sources are ready
for the Eclipse build.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -28,7 +28,7 @@ | |||
28 | 28 | ||
29 | 7. Clone the project Git repository but do not import it into Eclipse yet. | 29 | 7. Clone the project Git repository but do not import it into Eclipse yet. |
30 | 30 | ||
31 | 8. Open a new terminal an run `./gradlew build` (`.\gradlew build` on Windows) in the cloned repository. This should complete without any compilation errors. If you get any errors about the JVM version, check whether the `JAVA_HOME` environment variable is set to the location of JDK. You can query the variable with `echo $JAVA_HOME` on Linux and `echo $Env:JAVA_HOME` in PowerShell on Windows. To set it, use `export JAVA_HOME=/java/path/here` or `$Env:JAVA_HOME="C:\java\path\here"`, respectively. | 31 | 8. Open a new terminal an run `./gradlew generateXtext eclipseJdt` (`.\gradlew generateXtext eclipseJdt` on Windows) in the cloned repository. This should complete without any compilation errors. If you get any errors about the JVM version, check whether the `JAVA_HOME` environment variable is set to the location of JDK. You can query the variable with `echo $JAVA_HOME` on Linux and `echo $Env:JAVA_HOME` in PowerShell on Windows. To set it, use `export JAVA_HOME=/java/path/here` or `$Env:JAVA_HOME="C:\java\path\here"`, respectively. |
32 | 32 | ||
33 | 9. Select _File > Import... > Gradle > Existing Gradle Project_ and import the cloned repository in Eclipse. | 33 | 9. Select _File > Import... > Gradle > Existing Gradle Project_ and import the cloned repository in Eclipse. |
34 | Make sure to select the root of the repository (containing this file) as the _Project root directory_ and that the _Gradle distribution_ is _Gradle wrapper_. | 34 | Make sure to select the root of the repository (containing this file) as the _Project root directory_ and that the _Gradle distribution_ is _Gradle wrapper_. |