TripleDoggy编译失败

[why1988seu]

编译TripleDoggy时，报如下错误

[GoSSIP-SJTU]

你按照https://clang-analyzer.llvm.org/checker_dev_manual.html#registration把我的代码重新部署下试试？

[why1988seu]

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

[GoSSIP-SJTU]

我在ubuntu 16.04 x64 LTS 上面编译成功，llvm版本7.0.1或者7.0.0

[why1988seu]

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

[why1988seu]

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

[GoSSIP-SJTU]

cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE=Release ../llvm

llvm的版本是你源代码的版本，用什么版本的gcc编译没关系。

[why1988seu]

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

[JuneJuly]

@GoSSIP-SJTU 我也是这个问题，请问你的cmake版本是多少

[ChamberLD]

我也遇到了 这个问题 不知道如何解决

[Yunlongs]

这是因为Clang调用了z3的库，最新的z3更新了原来的API等，使用安装z3-4.5.0版本就就可以。https://github.com/Z3Prover/z3/archive/z3-4.5.0.tar.gz