Opened 10 years ago

Closed 10 years ago

#1513 closed defect (fixed)

FLINT install uses make -B, which isn't an option on (slightly) older make versions

Reported by: craigcitro Owned by: mabshoff
Priority: minor Milestone: sage-2.9
Component: packages: standard Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:


The title pretty much says it all. make 3.79.1 doesn't support make -B, and I'm likely not the only person with a slightly outdated version of make, so we should see if this can be switched around at all.

Change History (3)

comment:1 Changed 10 years ago by mabshoff

The spkg at

should fix the problem. I don't think we will need "-B" since we always build the check from a tree than only had the library build in it once.



comment:2 Changed 10 years ago by mabshoff

  • Owner changed from was to mabshoff
  • Status changed from new to assigned

comment:3 Changed 10 years ago by mabshoff

  • Resolution set to fixed
  • Status changed from assigned to closed

Merged in 2.9.rc0.

Note: See TracTickets for help on using tickets.