Remove in-tree gmp

We already have the binary GMP DLL for Windows in the GHC tree. We should add the binary GMP dev stuff too, and then get rid of the in-tree GMP source. That would reduce build times, and simplify the build system.

I'm assuming installing GMP on other non-Windows OSes is not painful. We probably want to point to a framework for OS X users to use.

Trac metadata

Trac field	Value
Version	7.1
Type	Task
TypeOfFailure	OtherFailure
Priority	high
Resolution	Unresolved
Component	Build System
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

mentioned in issue #4366 (closed)

changed milestone to %7.4.1

changed weight to 7

added Ttask Trac import labels

Would fix #4366 (closed).

changed milestone to %7.6.1

Punting

changed milestone to %7.8.1

Punting

unassigned @trac-igloo

mentioned in issue #8156 (closed)

Trac metadata

Trac field	Value
Related	→ #8156 (closed)

Please read #8156 (closed), before taking this one, it may make sense to reconsider removing the in-tree GMP.

changed milestone to %7.10.1

Bumping priority down (these tickets haven't been closely followed or fixed in 7.4), and moving out to 7.10 and out of 7.8.3.

changed weight to 5

Actually dropping priority. :)

Trac metadata

Trac field	Value
Priority	high → normal

removed milestone

Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone.

changed milestone to %8.0.1

Milestone renamed

Also see #7655 (closed)

Trac metadata

Trac field	Value
Related	#8156 (closed) → #7655 (closed), #8156 (closed)

The new Hadrian build system has been merged. Relabeling the tickets concerning the legacy make build system to prevent confusion.

Trac metadata

Trac field	Value
Component	Build System → Build System (make)

added Pnormal label

added integer-gmp label

In-tree GMP is mandatory for the wasm backend. I suggest closing this one.