Intellij Idea中的SBT依赖关系问题

这个问题真的让我感到不安。我正在为焊工证明助理编写证明。我这样做是在没有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"))

}