diff options
author | Ben Gruver <bgruv@google.com> | 2016-02-14 12:19:34 -0800 |
---|---|---|
committer | Ben Gruver <bgruv@google.com> | 2016-02-14 12:53:56 -0800 |
commit | 92f8ec50c5d2675084ad1522a7ff429fe9f3b6ab (patch) | |
tree | a3f08ae2f55e0f2863eda0917408e683725d1a45 | |
parent | df4e74e41c00b2f054821bcadd1f6ce1c45f362a (diff) | |
download | smali-92f8ec50c5d2675084ad1522a7ff429fe9f3b6ab.tar.gz |
Add the ideadirs task for smalidea
-rw-r--r-- | smalidea/build.gradle | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/smalidea/build.gradle b/smalidea/build.gradle index cb7c7084..ba3630b7 100644 --- a/smalidea/build.gradle +++ b/smalidea/build.gradle @@ -97,6 +97,17 @@ if (!('idea' in gradle.startParameter.taskNames)) { sandboxDirectory "${buildDir}/sandbox" } + + // This prints out the directories that can be used to configure a plugin sdk in IDEA, using + // the copy of IDEA downloaded by the org.jetbrains.intellij plugin + task ideaDirs() { + project.afterEvaluate { + if (intellij != null) { + println "IDEA Plugin jdk: ${intellij.ideaDirectory}" + println "sources: ${project.configurations['intellij-sources'].files[0]}" + } + } + } } else { // If we're running the idea task, let's make sure nothing else is being run, since // we have to use a special configuration for the idea task |