I have been asking for some time on StackOverflow 1, 2, 3 about this problem. I'm using Intellij Idea 2017.2.1 Community Edition and SBT 0.13.15. I want to setup a project with the following configuration:
My program is writing proofs in the Welder proof assistant. This proof assistant relies on a piece of software called Inox. My goal is to be able to debug the whole project from the proofs that I write to the Welder and Inox pieces of software. For that I want the help of Intellij Idea.
Here is how I proceed:
On the Welcome Screen I select an SBT scala based project and I set the following build.sbt file:
name := "vec4"
version := "1.0"
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)
However, the build of the program says saying that Inox and Welder imports are not recognized.
The project works well if used alone with sbt. Please let me know if you need any further details.