why1988seu

I meet the same problem.

感谢回复。 能具体说一下需要重新执行哪些操作吗？ 此外，我在另外一台电脑上安装时，则报其他的错误。想问一下，这个工具有推荐的安装环境吗？例如requirements?

输入：cmake -G -DCMAKE_BUILD_TYPE=Release "Unix Makefiles" ../llvm 报错：CMake Error: Could not create named generator -DCMAKE_BUILD_TYPE=Release

此外，请问一下，make使用的是gcc，和llvm的版本有什么联系？

编译到72%还是报以前的错：Z3ConstraintManager.cpp:685:46: error: ‘__uint64’ does not name a type。源代码就是github上通过zip下载的代码，不知道llvm的版本是在哪查看的？