diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2015-11-17 11:10:40 -0800 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2015-11-17 11:10:40 -0800 |
| commit | 8fcd8a1eb81e9fac3bb3c81ef5f89c1fccf9e728 (patch) | |
| tree | a757898d227979786915110f13281c16132066f6 /home/.sbt | |
| parent | 837b3a74038ee2260fb4e0545214d86c8acb28aa (diff) | |
| download | dotfiles-8fcd8a1eb81e9fac3bb3c81ef5f89c1fccf9e728.tar.gz dotfiles-8fcd8a1eb81e9fac3bb3c81ef5f89c1fccf9e728.tar.bz2 dotfiles-8fcd8a1eb81e9fac3bb3c81ef5f89c1fccf9e728.zip | |
use custom ensime
Diffstat (limited to 'home/.sbt')
| -rw-r--r-- | home/.sbt/0.13/ensime.sbt | 2 | ||||
| -rw-r--r-- | home/.sbt/0.13/plugins/ensime.sbt | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/home/.sbt/0.13/ensime.sbt b/home/.sbt/0.13/ensime.sbt new file mode 100644 index 0000000..4039698 --- /dev/null +++ b/home/.sbt/0.13/ensime.sbt @@ -0,0 +1,2 @@ +//don't include source jars in ensime config (this avoids crashing on bad source jars) +EnsimeKeys.includeSourceJars := false diff --git a/home/.sbt/0.13/plugins/ensime.sbt b/home/.sbt/0.13/plugins/ensime.sbt index fae509b..2a482c8 100644 --- a/home/.sbt/0.13/plugins/ensime.sbt +++ b/home/.sbt/0.13/plugins/ensime.sbt @@ -1 +1,5 @@ -addSbtPlugin("org.ensime" % "ensime-sbt" % "0.2.0") +//disable official version, use locally published one + +//addSbtPlugin("org.ensime" % "ensime-sbt" % "0.2.0") + +addSbtPlugin("org.ensime" % "ensime-sbt" % "0.2.2-SNAPSHOT") |