Added the build.gradle files so that this project can be built with gradle

Forwarded: not-needed


Gbp-Pq: Name gradle-build-scripts.patch

1 files changed, 21 insertions, 0 deletions

diff --git a/platform/extensions/build.gradle b/platform/extensions/build.gradle
new file mode 100644
index 00000000..9bc33ede
--- /dev/null
+++ b/platform/extensions/build.gradle
@@ -0,0 +1,21 @@
+plugins {
+    id 'java'
+}
+
+dependencies{
+    compile("org.jetbrains.intellij.deps:jdom:debian")
+    compile("org.picocontainer:picocontainer:1.x")
+    compile project(":platform:util")
+}
+
+tasks.withType(JavaCompile) { options.compilerArgs += '-Xlint:-deprecation' }
+
+sourceSets{
+    main{
+        java.srcDirs=["src"]
+    }
+}
+
+sourceCompatibility = '1.8'
+targetCompatibility = '1.8'
+version = '183.5153.4'