Ticket #4374 (new task)

Opened 3 years ago

Last modified 12 months ago

Remove in-tree gmp

Reported by: igloo Owned by: igloo
Priority: high Milestone: 7.8.1
Component: Build System Version: 7.1
Keywords: Cc: pho@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

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

Changed 3 years ago by igloo

Would fix #4366.

Changed 21 months ago by igloo

  • milestone changed from 7.4.1 to 7.6.1

Punting

Changed 18 months ago by PHO

  • cc pho@… added

Changed 12 months ago by igloo

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

Punting

Note: See TracTickets for help on using tickets.