Opened 12 years ago
Last modified 9 years ago
#4949 closed enhancement
Optionally build spkgs in $SAGE_BUILD_TMPDIR — at Version 6
| Reported by: | mabshoff | Owned by: | mabshoff |
|---|---|---|---|
| Priority: | minor | Milestone: | sage-5.0 |
| Component: | build | Keywords: | sd32 |
| Cc: | drkirkby, leif | Merged in: | |
| Authors: | John Palmieri | Reviewers: | |
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Status badges
Description (last modified by )
$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 in case it exists instead of $SAGE_ROOT/spkg/build.
Cheers,
Michael
Change History (6)
comment:1 Changed 12 years ago by
- Milestone changed from sage-3.3 to sage-3.2.4
comment:2 Changed 12 years ago by
comment:3 Changed 11 years ago by
- Priority changed from critical to minor
- Report Upstream set to N/A
- Status changed from new to needs_review
Here's a patch. This implements both SAGE_BUILD_TMPDIR and SAGE_KEEP_BUILT_SPKGS -- see #9444. (This is an incremental change rather than a complete reworking of the sage-spkg script, which might be called for.)
comment:4 Changed 11 years ago by
A little explanation: BUILD is defined (as "build") by sage-env, but it was used sporadically in sage-spkg. With this patch, it is used more consistently.
comment:5 Changed 11 years ago by
If/when this merges, we should consider closing #6550. SAGE_KEEP_BUILT_SPKGS is a much better name than SAGE_KEEP_SPKG_BUILD.
comment:6 Changed 11 years ago by
- Cc drkirkby leif added
- Description modified (diff)
Nice to see progress in the build process... :)
See also http://trac.sagemath.org/sage_trac/ticket/6550#comment:7 .
As a temporary hack to see how this "feels" you could delete spkg/build, then make it a symlink to /tmp/build/.