Opened 9 years ago

Closed 9 years ago

#14721 closed defect (fixed)

Disable "cythonizing out-of-tree" until sage-sync-build and sage-clone can deal with that

Reported by: Leif Leonhardy Owned by: Georg S. Weber
Priority: blocker Milestone: sage-5.10
Component: build Keywords: useless rebuild library build_dir
Cc: Merged in: sage-5.10.rc2
Authors: Leif Leonhardy Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Leif Leonhardy)

See #13245 and the sage-devel thread on useless rebuilding of the Sage library ...

The patch effectively reverts the change to setup.py made by ticket:14570:trac14570.patch (btw. the only functional change of that patch).


Apply: trac_14721-postpone_cythonizing_out_of_tree.sagelib.patch

Attachments (1)

trac_14721-postpone_cythonizing_out_of_tree.sagelib.patch (788 bytes) - added by Leif Leonhardy 9 years ago.
Apply to the Sage library. Based on Sage 5.10.rc1.

Download all attachments as: .zip

Change History (8)

comment:1 Changed 9 years ago by Leif Leonhardy

Keywords: useless rebuild library build_dir added

Changed 9 years ago by Leif Leonhardy

Apply to the Sage library. Based on Sage 5.10.rc1.

comment:2 Changed 9 years ago by Leif Leonhardy

Description: modified (diff)
Status: newneeds_review

comment:3 Changed 9 years ago by Travis Scrimshaw

Reviewers: Travis Scrimshaw
Status: needs_reviewpositive_review

This worked for me (with possibly #13425).

Version 0, edited 9 years ago by Travis Scrimshaw (next)

comment:4 Changed 9 years ago by Travis Scrimshaw

Thanks for looking into this Leif.

comment:5 in reply to:  3 Changed 9 years ago by Leif Leonhardy

Replying to tscrim:

This worked for me (with possibly #13425).

I guess you meant #13245.

comment:6 Changed 9 years ago by Leif Leonhardy

Description: modified (diff)

comment:7 Changed 9 years ago by Jeroen Demeyer

Merged in: sage-5.10.rc2
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.