Opened 7 years ago

Last modified 7 weeks ago

#4374 new task

Remove in-tree gmp

Reported by: igloo Owned by:
Priority: normal Milestone:
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, #7655 Differential Rev(s):
Wiki Page:

Description

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

comment:1 Changed 7 years ago by igloo

Would fix #4366.

comment:2 Changed 6 years ago by igloo

Milestone: 7.4.17.6.1

Punting

comment:3 Changed 5 years ago by PHO

Cc: pho@… added

comment:4 Changed 5 years ago by igloo

difficulty: Unknown
Milestone: 7.6.17.8.1

Punting

comment:5 Changed 4 years ago by igloo

Owner: igloo deleted

comment:6 Changed 4 years ago by errge

comment:7 Changed 4 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 3 years ago by thoughtpolice

Milestone: 7.8.37.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 3 years ago by thoughtpolice

Priority: highnormal

Actually dropping priority. :)

comment:10 Changed 2 years ago by thoughtpolice

Milestone: 7.10.17.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.

comment:11 Changed 21 months ago by thoughtpolice

Milestone: 7.12.18.0.1

Milestone renamed

comment:12 Changed 16 months ago by thomie

Milestone: 8.0.1

comment:13 Changed 7 weeks ago by mpickering

Also see #7655

Note: See TracTickets for help on using tickets.