Opened 3 years ago

Last modified 3 years ago

#21534 new defect

Allow SAGE_LOCAL to be customized - follow-up

Reported by: jdemeyer Owned by:
Priority: major Milestone: sage-7.5
Component: build Keywords:
Cc: mkoeppe, mmarco Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by jdemeyer)

Followup on #21501: Some more places with 'local' hardcoded:

  • Makefile target micro_release has hardcoded "local".

Change History (5)

comment:1 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:2 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:3 Changed 3 years ago by mkoeppe

  • Cc mmarco added

Any takers for the necessary changes in desolvers.py?

comment:4 Changed 3 years ago by mkoeppe

  • Description modified (diff)

comment:5 Changed 3 years ago by jdemeyer

  • Description modified (diff)
Note: See TracTickets for help on using tickets.