Opened 11 years ago

Last modified 8 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:

Description

$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.

Cheers,

Michael

Change History (0)

Note: See TracTickets for help on using tickets.