Intellij Idea 中的 SBT 依赖问题答案

【问题标题】：Problems with SBT dependencies in Intellij IdeaIntellij Idea 中的 SBT 依赖问题
【发布时间】：2018-01-10 07:52:51
【问题描述】：

这是一个让我非常头疼的问题。我正在为Welder proof assistant 写证明。我在没有 IDE 帮助的情况下这样做，并遵循基于 SBT 的构建方法。这是构建文件：

name := "proofs"
scalaVersion := "2.11.8"
lazy val welder = RootProject(uri("git://github.com/epfl-lara/welder.git#2b9dd10a7a751777cc9cda543ce888294113c0b1"))
lazy val root = (project in file(".")).dependsOn(welder)

我试图将我的项目纳入 Intellij Idea 项目。但是，这样做时，IDE 将无法识别外部库的导入：

import inox._

我该如何解决这个问题？

编辑

我强调编译错误是在 Welder 的文件中产生的

这是焊工项目/Build.scala 文件

import sbt._

object WelderBuild extends Build {

  lazy val root = Project("root", file(".")) dependsOn(inoxProject)
  lazy val inoxProject = RootProject(uri("git://github.com/epfl-lara/inox.git#53ea4533a957050bd6a968d5a340890bd54998a5"))

}

【问题讨论】：

标签： scala intellij-idea sbt

【解决方案1】：

在 Scala 插件问题跟踪器上查看我对您的 other question 和 issue 的回答。

重命名模块并手动添加从welder-root 到inox-root 模块的依赖项将解决编译路径问题，但构建仍然会失败，因为其中一个项目使用源代码生成器，IDEA 不支持直接。

相反，在 sbt 首选项中启用“使用 sbt 进行构建和导入”选项：

【讨论】：