search

gap-system / homebrew-gap

Homebrew tap for GAP
BSD 2-Clause "Simplified" License
14 stars 8 forks source link

remove gmp dependency #3

Closed RussWoodroofe closed 5 years ago

RussWoodroofe commented 5 years ago

Unless I'm mistaken, recent versions of GAP ship their own version of gmp and prefer to build with the same.

olexandr-konovalov commented 5 years ago

Thanks @RussWoodroofe, but since 4.9 the default GAP behaviour is to use the system GMP, and fallback to the built-in only when the system one is missing. Thus, the current setting of the Homebrew tap is consistent with that, so I don't think we need to change anything.