Re: [sage-devel] Unsetting MAKE - a better way to do it.

2010-01-12 Thread Dr. David Kirkby
Willem Jan Palenstijn wrote: On Tue, Jan 12, 2010 at 01:21:51AM -0800, Robert Bradshaw wrote: Since the goal is to remove the -j flags, why not MAKE=`echo $MAKE | sed -E "s/-j +[^ ]+|--jobs=[^ ]+//g"` This way if any other flags were part of $MAKE they wouldn't get dropped as well. (Not sure

Re: [sage-devel] Unsetting MAKE - a better way to do it.

2010-01-12 Thread Dr. David Kirkby
Robert Bradshaw wrote: Since the goal is to remove the -j flags, why not MAKE=`echo $MAKE | sed -E "s/-j +[^ ]+|--jobs=[^ ]+//g"` This way if any other flags were part of $MAKE they wouldn't get dropped as well. (Not sure if Solaris can handle extended regex...but that' easy to fix if it can'

Re: [sage-devel] Unsetting MAKE - a better way to do it.

2010-01-12 Thread Willem Jan Palenstijn
On Tue, Jan 12, 2010 at 01:21:51AM -0800, Robert Bradshaw wrote: > Since the goal is to remove the -j flags, why not > > MAKE=`echo $MAKE | sed -E "s/-j +[^ ]+|--jobs=[^ ]+//g"` > > This way if any other flags were part of $MAKE they wouldn't get dropped > as well. (Not sure if Solaris can handle

Re: [sage-devel] Unsetting MAKE - a better way to do it.

2010-01-12 Thread Robert Bradshaw
Since the goal is to remove the -j flags, why not MAKE=`echo $MAKE | sed -E "s/-j +[^ ]+|--jobs=[^ ]+//g"` This way if any other flags were part of $MAKE they wouldn't get dropped as well. (Not sure if Solaris can handle extended regex...but that' easy to fix if it can't.) - Robert On Ja

Re: [sage-devel] Unsetting MAKE - a better way to do it.

2010-01-11 Thread Gonzalo Tornaria
On Mon, Jan 11, 2010 at 5:42 PM, William Stein wrote: > Cool.  Instead of suggesting people use bits of code like this in > their spkg-install's, why don't we make a single *sage sh library* > that gets used.  It could start as a script > >    local/bin/sage-spkg-lib > > that gets sourced before s

Re: [sage-devel] Unsetting MAKE - a better way to do it.

2010-01-11 Thread Dr. David Kirkby
William Stein wrote: On Mon, Jan 11, 2010 at 5:49 AM, Dr. David Kirkby wrote: Various bits of SAGE unset 'MAKE', mainly to stop parallel builds. That's a nuisance to someone that might want to use a version of 'make' different from the first one in their path. A simple way around this, is the

Re: [sage-devel] Unsetting MAKE - a better way to do it.

2010-01-11 Thread William Stein
On Mon, Jan 11, 2010 at 5:49 AM, Dr. David Kirkby wrote: > Various bits of SAGE unset 'MAKE', mainly to stop parallel builds. That's a > nuisance to someone that might want to use a version of 'make' different > from the first one in their path. > > A simple way around this, is the following bit o

[sage-devel] Unsetting MAKE - a better way to do it.

2010-01-11 Thread Dr. David Kirkby
Various bits of SAGE unset 'MAKE', mainly to stop parallel builds. That's a nuisance to someone that might want to use a version of 'make' different from the first one in their path. A simple way around this, is the following bit of code, which preserves the name or path of the make command,