我已经在几个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 对象(因此位于堆栈顶部)。
为什么会发生这种情况?怎么解决呢?
最佳答案
通过在“项目结构”窗口中手动将项目的依赖项添加到 Inox 模块,解决了此问题。您可能会发现整个过程都有记录here 。
关于java - 在 Intellij Idea 中使用 sbt 进行构建和导入时出现 NoClassDefFoundError,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45486294/