dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Mon, Mar 31, 2008 at 03:38:22PM +0200, Johannes Ring wrote:
> On Mon, March 31, 2008 Anders Logg Wrote:
> > On Mon, Mar 31, 2008 at 03:15:35PM +0200, Joachim B Haga wrote:
> >> Actually, this part
> >>
> >> > NameError: name 'modEnv' is not defined:
> >>
> >> was an error on my part (I set CXX to something which ended up not being
> >> in
> >> PATH). Still not the best error message though.
> >>
> >> I still think this would be good:
> >>
> >> > (to me) that previous options were cached. Maybe print at start of
> >> build,
> >> > "Using options from scons/options.cache: enableMpi=false,
> >> someotherstuff=...."
> >> > That way the user knows both which options are used and how to start
> >> fresh.
> >>
> >> -j.
> >
> > Sounds good to me.
> 
> scons -h will give you a complete list of the options and what state they
> are in. Wouldn't it be enough to mention that the options are cached in
> the installation instructions?
> 
> Johannes

I guess most people don't read the manual, so it wouldn't hurt adding
a single line

  Using options from scons/options.cache

?

Then people will be clever enough to remove (or edit) the file if they
should need.

-- 
Anders