Opened 5 years ago

Last modified 8 months ago

#4374 new task

Remove in-tree gmp

Reported by: igloo Owned by:
Priority: normal Milestone: 7.12.1
Component: Build System Version: 7.1
Keywords: Cc: pho@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: #8156 Differential Revisions:


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 (10)

comment:1 Changed 5 years ago by igloo

Would fix #4366.

comment:2 Changed 4 years ago by igloo

  • Milestone changed from 7.4.1 to 7.6.1


comment:3 Changed 4 years ago by PHO

  • Cc pho@… added

comment:4 Changed 3 years ago by igloo

  • difficulty set to Unknown
  • Milestone changed from 7.6.1 to 7.8.1


comment:5 Changed 2 years ago by igloo

  • Owner igloo deleted

comment:6 Changed 2 years ago by errge

comment:7 Changed 2 years ago by errge

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

comment:8 Changed 16 months ago by thoughtpolice

  • Milestone changed from 7.8.3 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.

comment:9 Changed 16 months ago by thoughtpolice

  • Priority changed from high to normal

Actually dropping priority. :)

comment:10 Changed 8 months ago by thoughtpolice

  • Milestone changed from 7.10.1 to 7.12.1

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.

Note: See TracTickets for help on using tickets.