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 /gradle | |
| 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 'gradle')
| -rw-r--r-- | gradle/java-common.gradle | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gradle/java-common.gradle b/gradle/java-common.gradle index daacecd3..bfcf2657 100644 --- a/gradle/java-common.gradle +++ b/gradle/java-common.gradle | |||
| @@ -25,8 +25,9 @@ eclipse { | |||
| 25 | } | 25 | } |
| 26 | } | 26 | } |
| 27 | 27 | ||
| 28 | jdt.file.whenMerged { properties -> | 28 | jdt.file.withProperties { properties -> |
| 29 | // Allow @SupperessWarnings to suppress SonarLint warnings | 29 | // Allow @SupperessWarnings to suppress SonarLint warnings |
| 30 | properties['org.eclipse.jdt.core.compiler.problem.unhandledWarningToken'] = 'ignore' | 30 | properties['org.eclipse.jdt.core.compiler.problem.unhandledWarningToken'] = 'ignore' |
| 31 | } | 31 | } |
| 32 | } | 32 | } |
| 33 | |||