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

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

通过在“项目结构”窗口中手动将我的项目的依赖项添加到 Inox 模块来解决此问题。您可能会发现整个过程记录在 here。