Changes between Version 54 and Version 55 of Ticket #4949


Ignore:
Timestamp:
02/15/12 18:43:17 (10 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4949

    • Property Summary changed from Optionally build spkgs in $SAGE_BUILD_TMPDIR to Optionally build spkgs in $SAGE_BUILD_DIR

  • 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 exists instead 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/`.
    22
    33----