installing msolve on a binary release of SageMath-10.7 for macOS

edit

Bonjour,

A colleague of mine is using macOS. We managed to install and use the binary release of SageMath-10.7 for macOS 10.13 availaible at https://github.com/3-manifolds/Sage_m.... Now my colleague wants to install msolve to solve groebner basis.

• Unfortunately, sage -i msolve does not work? What is the recommended way to install a package like msolve on this sage? The user is a usual mac user which hates opening a terminal.
• I don't know from which repository I could run make msolve ?
• Therefore, I installed Xcode tools and I downloaded the msolve source from https://msolve.lip6.fr/ and run .configure, make and sudo make install.
• The command msolve is now present (all tests passed during make check) on the command line (both the normal command line and sage -sh).

This confirms msolve is there:

sage: !msolve -h
msolve library for polynomial system solving
implemented by J. Berthomieu, C. Eder, M. Safey El Din
[...]

Surprisingly, sage keeps telling me the msolve feature is still not present (?). I get the following error:

sage: P.<a,b,c> = PolynomialRing(QQ,3, order='degrevlex')
sage: I = sage.rings.ideal.Katsura(P,3)
sage: I.groebner_basis(algorithm='msolve', proof=False)
Traceback (most recent call last)
...
FeatureNotPresentError: msolve is not available.
Executable 'msolve' not found on PATH.
Further installation instructions might be available at https://msolve.lip6.fr/.

Why?