Error while installing Alive2 #699
-
Hi, I was trying alive2, I followed the steps and installed all the required pakages. I am facing a error while building alive2, here is the error log. `[1/45] Building CXX object CMakeFiles/tools.dir/tools/transform.cpp.o [2/45] Building CXX object CMakeFiles/smt.dir/smt/expr.cpp.o [3/45] Building CXX object CMakeFiles/smt.dir/smt/exprs.cpp.o [4/45] Building CXX object CMakeFiles/smt.dir/smt/smt.cpp.o [6/45] Building CXX object CMakeFil...ver.dir/tools/alive-jobserver.cpp.o I need some help regarding this. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
Your compiler is too old 😅 (I guess we should check this in cmake, but..) |
Beta Was this translation helpful? Give feedback.
Your compiler is too old 😅 (I guess we should check this in cmake, but..)
You need either gcc 10 or clang 11 (or newer). Major distros already have packages for those.