Changes between Initial Version and Version 1 of Ticket #27212, comment 10
- Timestamp:
- 02/07/19 16:38:49 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #27212, comment 10
initial v1 1 1 I think I lean more toward the latter case. Most people who want to build Sage do not care what GMP implementation they use, so I think it's good enough to use the one they have, if any, and if not pick one for them. Whereas if someone is explicitly passing `--with-mp=mpir` then the ''really'' want MPIR specifically, and we should not give them something that isn't it. 2 2 3 OTOH I'd also be curious in what cases MPIR gives better performance, and if we're doing users a disservice by not at least strongly recommending that they use it. 3 OTOH I'd also be curious in what cases MPIR gives better performance, and if we're doing users a disservice by not at least strongly recommending that they use it. I think this is more a question for the mailing list though. The details of what to do at `configure`-time can be malleable.