используйте cmake для сборки кли - PullRequest
Новая
       26

используйте cmake для сборки кли

0 голосов
/ 16 февраля 2019

Я новичок в использовании Linux и cmake.У меня возникли проблемы, когда я хочу собрать систему KLEE в Ubuntu14.04.Когда я прихожу к 8-й части, как сказано на официальной странице.см. на этой странице: http://klee.github.io/build-llvm34/

Что-то не так со стандартом c ++, в котором он используется -std = 14, но я не знаю, почему мой компилятор его не поддерживает.

Итак, мой вопрос заключается в следующем: 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
...