arguments=
auto.sync=false
build.scans.enabled=false
-connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER)
+connection.gradle.distribution=GRADLE_DISTRIBUTION(VERSION(7.6.2))
connection.project.dir=
eclipse.preferences.version=1
gradle.user.home=
java.home=
jvm.arguments=
offline.mode=false
-override.workspace.settings=false
+override.workspace.settings=true
show.console.view=false
show.executions.view=false
}
}
+task eclipseBuildshipCorePreferences(type: PropertiesFileTask) {
+ description = "Generate Eclipse additional settings"
+ def filename = "org.eclipse.buildship.core.prefs"
+ outputFile = "$projectDir/.settings/${filename}" as File
+ file {
+ withProperties {
+ it.load new FileInputStream("$projectDir/utils/eclipse/${filename}" as String)
+ }
+ }
+}
+
task eclipseAllPreferences {
dependsOn eclipseJdt
dependsOn eclipseUIPreferences
dependsOn eclipseGroovyCorePreferences
+ dependsOn eclipseBuildshipCorePreferences
}
eclipseUIPreferences.mustRunAfter eclipseJdt
eclipseGroovyCorePreferences.mustRunAfter eclipseJdt
+eclipseBuildshipCorePreferences.mustRunAfter eclipseJdt
/* end of eclipse preferences hack */
eclipse_codestyle_file = utils/eclipse/JalviewCodeStyle.xml
eclipse_extra_jdt_prefs_file = utils/eclipse/org.eclipse.jdt.core.jalview.prefs
+eclipse_extra_buildship_prefs_file = utils/eclipse/org.eclipse.buildship.core.prefs
eclipse_project_name = jalview
eclipse_bin_dir = bin
eclipse_debug = false
--- /dev/null
+arguments=
+auto.sync=false
+build.scans.enabled=false
+connection.gradle.distribution=GRADLE_DISTRIBUTION(VERSION(7.6))
+connection.project.dir=
+eclipse.preferences.version=1
+gradle.user.home=
+java.home=
+jvm.arguments=
+offline.mode=false
+override.workspace.settings=true
+show.console.view=false
+show.executions.view=false
eclipse.preferences.version=1
-groovy.compiler.level=30
+groovy.compiler.level=50