Opened 9 years ago

Closed 9 years ago

#12782 closed enhancement (duplicate)

When building GCC, build MPIR without the C++ interface

Reported by: jdemeyer Owned by: tbd
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: packages: standard Keywords:
Cc: leif Merged in:
Authors: Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #11616 Stopgaps:

Status badges

Description (last modified by jdemeyer)

When we are building MPIR as dependency for GCC, build MPIR without the C++ interface. After GCC is installed, MPIR is built again. The second time we do build the C++ interface. This would allow for building Sage on systems without a C++ compiler.

spkg: http://boxen.math.washington.edu/home/jdemeyer/spkg/mpir-2.1.3.p10.spkg

Superseded by #11616.

Attachments (1)

mpir-2.1.3.p10.diff (3.2 KB) - added by jdemeyer 9 years ago.
Diff for the MPIR spkg, for review only

Download all attachments as: .zip

Change History (9)

comment:1 Changed 9 years ago by jdemeyer

  • Description modified (diff)

Changed 9 years ago by jdemeyer

Diff for the MPIR spkg, for review only

comment:2 Changed 9 years ago by jdemeyer

  • Status changed from new to needs_review

comment:3 Changed 9 years ago by jdemeyer

  • Authors set to Jeroen Demeyer

comment:4 Changed 9 years ago by jhpalmieri

In principle this looks okay, but I don't know when I'll have time to check it thoroughly.

comment:5 Changed 9 years ago by leif

  • Cc leif added

comment:6 Changed 9 years ago by leif

I've incorporated similar changes into the MPIR 2.4.0.p2 spkg at #11616. (See description there for details.)

comment:7 Changed 9 years ago by jdemeyer

  • Authors Jeroen Demeyer deleted
  • Dependencies set to #11616
  • Description modified (diff)
  • Milestone changed from sage-5.0 to sage-duplicate/invalid/wontfix
  • Reviewers set to Jeroen Demeyer
  • Status changed from needs_review to positive_review

comment:8 Changed 9 years ago by jdemeyer

  • Resolution set to duplicate
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.