NoClassDefFoundError使用sbt进行Intellij Idea中的构建和导入

Question

我在几个SO questions中描述了我在尝试使用以下项目依赖结构时遇到的问题，结合了Intellij Idea和sbt：

最终目标是能够在堆栈的所有级别调试我的证明。该程序现在通过在Intellij Idea设置中启用“使用sbt进行构建和导入”选项来构建。

但是，我收到以下运行时错误：

Exception in thread "main" java.lang.NoClassDefFoundError: inox/ast/Types$Type
    at Main$.main(Main.scala:9)
    at Main.main(Main.scala)
Caused by: java.lang.ClassNotFoundException: inox.ast.Types$Type
    at java.net.URLClassLoader.findClass(URLClassLoader.java:381)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
    at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:331)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
    ... 2 more

这里Main是我正在编写的证明中的Main对象（所以在堆栈顶部）。

为什么会这样？我该如何解决？

Answer 1

This problem was solved by adding the dependency from my project to Inox module manually in the Project Structure window. You may find the whole process documented here.