Skip to content

Error while installing Alive2 #699

Answered by nunoplopes
kyledutyy asked this question in Q&A
Discussion options

You must be logged in to vote

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.

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected by nunoplopes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants