Changes between Version 54 and Version 55 of Ticket #4949
- Timestamp:
- 02/15/12 18:43:17 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #4949
-
Property
Summary
changed from
Optionally build spkgs in $SAGE_BUILD_TMPDIR
toOptionally build spkgs in $SAGE_BUILD_DIR
-
Property
Summary
changed from
-
Ticket #4949 – Description
v54 v55 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 existsinstead of `$SAGE_ROOT/spkg/build/`.1 `$SAGE_ROOT/spkg/build` 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_DIR` instead of `$SAGE_ROOT/spkg/build/`. 2 2 3 3 ----