From 720b9e2fb0968905e5a80f6099eab37554a6af58 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Wed, 17 Nov 2021 03:06:39 +0100
Subject: build: move scripts into script plugins

Script plugins allow applying other plugins from plugins { } blocks,
which simplifies the build script.
---
 gradle/java-common.gradle | 43 -------------------------------------------
 1 file changed, 43 deletions(-)
 delete mode 100644 gradle/java-common.gradle

(limited to 'gradle/java-common.gradle')

diff --git a/gradle/java-common.gradle b/gradle/java-common.gradle
deleted file mode 100644
index 0a63cfe1..00000000
--- a/gradle/java-common.gradle
+++ /dev/null
@@ -1,43 +0,0 @@
-repositories {
-	mavenCentral()
-	maven {
-		url 'https://repo.eclipse.org/content/groups/releases/'
-	}
-}
-
-sourceCompatibility = '17'
-targetCompatibility = '17'
-
-tasks.named('jar') {
-	manifest {
-		attributes 'Bundle-SymbolicName': project.name
-	}
-}
-
-apply plugin: 'eclipse'
-
-def generateEclipseSourceFolders = tasks.register('generateEclipseSourceFolders')
-
-tasks.register('prepareEclipse') {
-	dependsOn generateEclipseSourceFolders
-	dependsOn tasks.named('eclipseJdt')
-}
-
-tasks.named('eclipseClasspath') {
-	dependsOn generateEclipseSourceFolders
-}
-
-eclipse {
-	classpath.file.whenMerged {
-		for (entry in entries) {
-			if (entry.path.endsWith('-gen')) {
-				entry.entryAttributes['ignore_optional_problems'] = true
-			}
-		}
-	}
-
-	jdt.file.withProperties { properties ->
-		// Allow @SupperessWarnings to suppress SonarLint warnings
-		properties['org.eclipse.jdt.core.compiler.problem.unhandledWarningToken'] = 'ignore'
-	}
-}
-- 
cgit v1.2.3-54-g00ecf