Replies: 1 comment
-
You need gcc 10 at least. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
My GCC version is 9.4.0, and I initially suspected that the GCC version was too low. Later, I changed the compiler to the latest version of Clang, but the error still persists. Can anyone help me? I will provide the terminal output next.
alive2/smt/expr.h:6:10: fatal error: compare: No such file or directory
6 | #include
| ^~~~~~~~~
Beta Was this translation helpful? Give feedback.
All reactions