Closed james-d-mitchell closed 5 days ago
That's because it doesn't find GMP. Related issue: https://github.com/gap-system/gap/issues/5678
Do you have gmp
installed e.g. via homebrew? Then you could try pointing the package at it
@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 apologize someone gained access to my account last night, the comment you deleted is the same comment a bunch of people have been posting to gain access to peoples accounts I apologize for the earlier angry message
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 https://github.com/homalg-project/CddInterface/pull/43 that is supposed to address https://github.com/gap-system/gap/issues/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 https://github.com/gap-system/gap/issues/5678
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 https://github.com/gap-system/gap/issues/5678
I was just trying to make a PR to address the following GAP issue, maybe I'm doing something wrong:
https://github.com/gap-system/gap/issues/5761
But I'm unable to build this package, when I do: