I have written this question on SO as a follow-up of this other question. I basically, have to manage a dependency between three projects: the project I write -> Welder -> Inox where my project also depends on Inox. Thanks to the answer in the first question I could successfully build my project with SBT in Intellij Idea. Basically, the solution was to enable the option "Use SBT shell for build and import" in the Intellij Idea settings.
Now I'm facing a run-time error:
Exception in thread "main" java.lang.NoClassDefFoundError: inox/ast/Types$Type
Caused by: java.lang.ClassNotFoundException: inox.ast.Types$Type
... 2 more
The error appears while trying to run the project as an Application and using the main object of my Scala project. Given the above, I have good reasons to believe that Intellij Idea has something to do with it.
Please let me know if you need more details.