Remove in-tree gmp
|Reported by:||igloo||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||#8156||Differential Rev(s):|
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.
Change History (11)
comment:4 Changed 3 years ago by igloo
- difficulty set to Unknown
- Milestone changed from 7.6.1 to 7.8.1