search

gap-system / gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
https://www.gap-system.org
GNU General Public License v2.0
763 stars 159 forks source link

Teach packages to find and use GMP in more cases (and possibly also other homebrew packages) #5678

Open fingolfin opened 2 months ago

fingolfin commented 2 months ago

For GAP itself we taught it to look for Homebrew installed package versions in PR #5214 / commit c091cbacdfa94ee932a3358b988e8e3331b98ae0.

We also introduced GMP_PREFIX into sysinfo.gap for packages that would like to know where GAP found GMP. This is already being used by nq (see https://github.com/gap-packages/nq/pull/24).

Relevant packages (from a run of BuildPackages.sh on my mac with GAP 4.13.0):

In addition, the following packages might benefit from finding Homebrew:

Off-topic, but vaguely related: passing --with-gaproot to the configure script of simpcomp leads to WARNING: unrecognized options: --with-gaproot -- perhaps that configure script can be modified to ignore that option. Or else we finally add a proper mechanism for detecting what a given package needs in order to build it, instead of "guessing" that we should run configure and make with certain arguments depending on various conditions...