diff options
Diffstat (limited to 'buildSrc/src/main/groovy/refinery-eclipse.gradle')
-rw-r--r-- | buildSrc/src/main/groovy/refinery-eclipse.gradle | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/buildSrc/src/main/groovy/refinery-eclipse.gradle b/buildSrc/src/main/groovy/refinery-eclipse.gradle deleted file mode 100644 index 15dcb5ce..00000000 --- a/buildSrc/src/main/groovy/refinery-eclipse.gradle +++ /dev/null | |||
@@ -1,28 +0,0 @@ | |||
1 | plugins { | ||
2 | id 'eclipse' | ||
3 | } | ||
4 | |||
5 | // Workaround from https://github.com/gradle/gradle/issues/898#issuecomment-885765821 | ||
6 | def eclipseResourceEncoding = tasks.register('eclipseResourceEncoding') { | ||
7 | ext.outputFile = file('.settings/org.eclipse.core.resources.prefs') | ||
8 | def compileTask = tasks.findByName('compileJava') | ||
9 | ext.encoding = provider({ compileTask?.options?.encoding }).orElse(providers.systemProperty('file.encoding')) | ||
10 | |||
11 | inputs.property('file.encoding', encoding) | ||
12 | outputs.file(outputFile).withPropertyName('outputFile') | ||
13 | |||
14 | doLast { | ||
15 | Properties eclipseEncodingProperties = | ||
16 | new Properties(Collections.singletonMap('eclipse.preferences.version', '1')) | ||
17 | eclipseEncodingProperties.put('encoding/<project>', encoding.get()) | ||
18 | outputFile.withOutputStream { | ||
19 | eclipseEncodingProperties.store(it, 'generated by ' + name) | ||
20 | } | ||
21 | } | ||
22 | } | ||
23 | |||
24 | tasks.named('eclipse') { | ||
25 | dependsOn(eclipseResourceEncoding) | ||
26 | } | ||
27 | |||
28 | eclipse.synchronizationTasks(eclipseResourceEncoding) | ||