Opened 12 years ago

Last modified 9 years ago

#4949 closed enhancement

Optionally build spkgs in $SAGE_BUILD_TMPDIR — at Initial Version

Reported by: mabshoff Owned by: mabshoff
Priority: minor Milestone: sage-5.0
Component: build Keywords: sd32
Cc: drkirkby, leif Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:


$HOME can be slow in case it is NFS mounted for example. So using local scratch space or even better a RAM disk should speed up the build by a nice factor. To so so use $SAGE_BUILD_TMPDIR in case it exists instead of $SAGE_ROOT/spkg/build.



Change History (0)

Note: See TracTickets for help on using tickets.