On May 1, John Clements wrote:
>
> On May 1, 2009, at 5:01 PM, Eli Barzilay wrote:
>
> > The problem with this, so that it's now turned around:
> >
> > 1. Select (or create) a build directory. It is better to run the
> > build in a different directory rather than use this directory.
> >
> > This reads like a specific instruction to create a build
> > directory. It's an option that is very useful for people who will
> > hold the directory for a long time, but these people are still a
> > minority. Most people will compile from source once, or will
> > compile from source once after every release.
>
> So what? Does it matter if everyone creates a build directory?
It only matters in being more complicated than it could be. You only
need a brief look at Matthew's version of the file to know that
./configure; make; make install
should work as expected, and I think that it is desirable to keep this
property. (But just to clarify, the README file is something that
Matthew writes and maintains, so I don't want to commit a change that
I'm not willing to defend personally.)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://www.barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
