We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The README has an example using -DWITH_GMP=on, but this an error:
-DWITH_GMP=on
Manually-specified variables were not used by the project: WITH_GMP
Is this option removed? Should the README be updated?
The text was updated successfully, but these errors were encountered:
Yes, it should be removed.
Sorry, something went wrong.
No branches or pull requests
The README has an example using
-DWITH_GMP=on
, but this an error:Is this option removed? Should the README be updated?
The text was updated successfully, but these errors were encountered: