问题描述
我正在尝试交叉编译 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。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）