Changes between Version 39 and Version 46 of Ticket #4949
- Timestamp:
- 02/14/12 09:49:54 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #4949
-
Property
Status
changed from
needs_review
toneeds_info
-
Property
Status
changed from
-
Ticket #4949 – Description
v39 v46 1 `$ 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 do so, use `$SAGE_BUILD_TMPDIR/build/` in case it exists instead of `$SAGE_ROOT/spkg/build/`.1 `$SAGE_ROOT/spkg` 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 do so, use `$SAGE_BUILD_TMPDIR/build/` in case it exists instead of `$SAGE_ROOT/spkg/build/`. 2 2 3 3 ----