プロジェクトを Play 2.4 および sbt Eclipse プラグイン 4.0.0 に移行しているときに、ビルド ファイルで次の例外が発生します。
java.lang.IllegalStateException: Undefined setting 'eclipseSkipProject in Scope(
Select(ProjectRef("Some git url with #commit",root)),This,This,This)'!
sbteclipse 4.0.0 プラグインをそれぞれに追加して、元のキャッシュされたサブプロジェクトを変更するよりも優れた回避策が必要なので、これはこの問題のフォローアップです。
私のbuild.sbtファイルは次のとおりです。
lazy val サーバー = (ファイル内のプロジェクト("サーバー"))
.settings(scalaVersion := "2.11.7")
.dependsOn(レオンプロジェクト)
lazy val leonProject = RootProject(uri("https://github.com/epfl-lara/leon.git#5bf8a57cc03ae5ccbd890e3f4f0121a6f9dd1bb2")))
leonProject の EclipseKeys.skipProject := true
EclipseKeys.preTasks := Seq(コンパイルでコンパイル)
project/plugins.sbtsbt バージョン 0.13.9の場合
resolvers += "Typesafe Releases" at "http://repo.typesafe.com/typesafe/releases/"
addSbtPlugin("com.typesafe.sbteclipse" % "sbteclipse-plugin" % "4.0.0")
Eclipse.skipProject in leonProject := true効果がないのはどうしてですか？