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 | |||