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 | |
parent | 837b3a74038ee2260fb4e0545214d86c8acb28aa (diff) | |
download | dotfiles-8fcd8a1eb81e9fac3bb3c81ef5f89c1fccf9e728.tar.gz dotfiles-8fcd8a1eb81e9fac3bb3c81ef5f89c1fccf9e728.tar.bz2 dotfiles-8fcd8a1eb81e9fac3bb3c81ef5f89c1fccf9e728.zip |
use custom ensime
-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") |