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 leif)

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



Change History (6)

comment:1 Changed 12 years ago by mabshoff

  • Milestone changed from sage-3.3 to sage-3.2.4

comment:2 Changed 12 years ago by was

As a temporary hack to see how this "feels" you could delete spkg/build, then make it a symlink to /tmp/build/.

comment:3 Changed 11 years ago by jhpalmieri

  • Authors set to John Palmieri
  • 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 jhpalmieri

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 mpatel

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 leif

  • Cc drkirkby leif added
  • Description modified (diff)

Nice to see progress in the build process... :)

See also .

Note: See TracTickets for help on using tickets.