0

我是使用 Linux 和 cmake 的新手。想在ubuntu14.04搭建KLEE系统时遇到了一些麻烦。当我来到官方页面所说的第8部分时。见本页： http: //klee.github.io/build-llvm34/

它使用 -std=14 的 c++ 标准有问题，但我不知道为什么我的编译器不支持它。

所以我的问题是：1.是否有必要使用C++ 14？2.如果不是，我该如何更改编译器使用的版本以避免这种错误？

llvm 是 3.4 clang 是 3.4

/home/codefiring/Desktop/software/klee/klee/tools/klee/main.cpp: In function ‘int main(int, char**, char**)’:
/home/codefiring/Desktop/software/klee/klee/tools/klee/main.cpp:1352:18: error: ‘put_time’ is not a member of ‘std’
               << std::put_time(std::localtime(&startTime), "%Y-%m-%d %H:%M:%S") << '\n';
                  ^
/home/codefiring/Desktop/software/klee/klee/tools/klee/main.cpp:1460:16: error: ‘put_time’ is not a member of ‘std’
             << std::put_time(std::localtime(&endTime), "%Y-%m-%d %H:%M:%S") << '\n'
                ^
make[2]: *** [tools/klee/CMakeFiles/klee.dir/main.cpp.o] Error 1
make[1]: *** [tools/klee/CMakeFiles/klee.dir/all] Error 2
make: *** [all] Error 2
4

0 回答 0