makefile - 无法找到或加载主类 org.antlr.Tool
问题描述
我正在尝试交叉编译 CVC4,调用后make
出现以下错误:
[ 92%] Generating smt2/Smt2Lexer.c, smt2/Smt2Lexer.h, smt2/Smt2Parser.c, smt2/Smt2Parser.h, smt2/Smt2.tokens
Error: Could not find or load main class org.antlr.Tool
src/parser/CMakeFiles/cvc4parser.dir/build.make:93: recipe for target 'src/parser/smt2/Smt2Lexer.c' failed
make[2]: *** [src/parser/smt2/Smt2Lexer.c] Error 1
CMakeFiles/Makefile2:394: recipe for target 'src/parser/CMakeFiles/cvc4parser.dir/all' failed
make[1]: *** [src/parser/CMakeFiles/cvc4parser.dir/all] Error 2
Makefile:127: recipe for target 'all' failed
make: *** [all] Error 2
但是,如以下命令所示,可以找到该类:
$ java org.antlr.Tool
ANTLR Parser Generator Version 3.4
usage: java org.antlr.Tool [args] file.g [file2.g file3.g ...]
任何想法为什么在此make
过程中无法加载类?我已经在CLASSPATH中添加了对应的jar。
解决方案
推荐阅读
- qt - QGraphicsItem 返回不可能的 pos() 值
- bash - 当文件包含特殊字符时,做 var=$( cat file.txt ) 打印目录的内容?
- java - SubList.clear() 如何仅从“原始”列表中删除子列表项?
- flutter - 我想通过给它一个flex来垂直扩展我的textField,以便它可以响应所有纵向屏幕,但它给了我一些错误
- powershell - PowerShell 列出具有管理员的组中的用户,但无法格式化管理员字段
- android - 这是我在为 firebase 实时数据库更新 gradle 时遇到的错误 - “无法解决:com.google.firebase:firebase-database:”
- swift - 来自 API 的 JSON 身份验证验证
- machine-learning - Pytorch Lightning 为每个 gpu 重复主脚本
- reactjs - 如何在Formik提交验证之前清除状态?
- react-native - 从反应原生的3个按钮中选择一个按钮