Why vendor gmp in ghc@8.0?

(Buck Evan) #1

I’m asking about this bit of code: https://github.com/Homebrew/homebrew-core/blob/16ebe5f1843e6cb54856311ff0f676be53007329/Formula/ghc@8.0.rb#L28-L33

Is this just a holdover from the olden days of Homebrew/versions, or is there some good reason I can’t think of to avoid using the homebrew’d gmp library? Would anyone be sad if I “fixed” it to just build-require gmp?