[racket-dev] sudo make install

On 01/03/2011 02:11 PM, Matthew Flatt wrote:
> At Mon, 3 Jan 2011 14:55:05 -0500, Sam Tobin-Hochstadt wrote:
>> On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler
>> <robby at eecs.northwestern.edu> wrote:
>>> Or maybe there is another possible solution that involves changing how
>>> the distribution and or the docs build works?
>> I think the conventional solution is for `make install' to do much
>> less work than it current does.  In "normal" Make-built software,
>> `make' does all of the compilation, and `make install' just does the
>> copying.  That way, `make install' wouldn't be doing things like
>> reading preferences and creating the '.racket' directory.
> Well, moving work from `make install' to `make' does nothing in itself.
> What you're suggesting is that we change what `make install' produces.
>
> In particular, I think you're suggesting that no user-specific actions
> take place as a result of a build and install. That change sounds ok to
> me, and it can be accomplished by passing `--no-user' to `raco setup'
> during `make install'.
>
> Unless anyone objects, I'll push that change soon.
>

Was this change pushed? I did a simple search but didn't find it.