Intellij IdeaのSBT依存性に関する問題

Question

これは本当に自分の神経を襲っている問題です。私は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._ 

この問題を解決するにはどうすればよいですか？

編集が

私はコンパイルエラーがここで溶接機

からのファイルで生産されていることを強調は、溶接機のプロジェクト/ 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")) 

} 

Answer 1

ファイルでありますother questionおよびissueがScalaプラグインの問題追跡ツールにあります。

モジュールの名前を変更し、手動でコンパイルパスの問題を解決しますinox-rootモジュールへwelder-rootから依存関係を追加することが、プロジェクトの一つが直接IDEAでサポートされていないソース・ジェネレータを使用しているため、ビルドはまだ失敗します。

その代わり、SBTの好みにオプション "ビルドとインポートの使用SBT" を有効にします。