Intellij Idea的SBT依賴問題

這是一個真正讓我感到緊張的問題。我正在爲Welder proof assistant寫作證明。我沒有IDE的幫助，而是採用基於SBT的構建方法。這是構建文件：Intellij Idea的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._

我該如何解決此問題？

編輯

我強調，編譯錯誤在文件製作從焊機

這裏是焊工項目/ 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")) 

}

來源

2017-08-02 Rodrigo

見我的回答對您other question和在Scala插件問題跟蹤器上的issue。

重命名模塊和手動添加從welder-root依賴於inox-root模塊將解決編譯路徑問題，但構建仍然會失敗，因爲該項目的一個使用源產生，這是不是在IDEA直接支持。

相反，啓用選項「爲構建和進口使用SBT」在SBT的喜好：

來源

2017-08-03 13:00:53

Intellij Idea的SBT依賴問題

回答

相關問題