-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
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
Build fails #42
Comments
That's because it doesn't find GMP. Related issue: gap-system/gap#5678 Do you have |
@mohamed-barakat @zickgraf the comment just added by @nxllxvxxd looks like spam or even an attempt to send an exploit. You may wish to delete or hide it, and possibly block that user. |
I deleted the comment. With the next comment, I will block the account. |
I gave this possibility a real chance, this is why I did not block your account right away :) Have a nice day. |
I have already merged a PR #43 that is supposed to address gap-system/gap#5761 |
Yes, that was the issue James tried to work on -- but it is not the issue he run into while doing so, which is that GMP is not found, and which could be resolved by implementing the suggestion in gap-system/gap#5678 |
1 similar comment
Yes, that was the issue James tried to work on -- but it is not the issue he run into while doing so, which is that GMP is not found, and which could be resolved by implementing the suggestion in gap-system/gap#5678 |
I was just trying to make a PR to address the following GAP issue, maybe I'm doing something wrong:
gap-system/gap#5761
But I'm unable to build this package, when I do:
The text was updated successfully, but these errors were encountered: