[racket-dev] sudo make install

Yes, unless you run `raco setup' later.

At Mon, 3 Jan 2011 15:15:42 -0600, Robby Findler wrote:
> Would this mean that the handin server docs don't get built?
> 
> Robby
> 
> On Mon, Jan 3, 2011 at 3:11 PM, Matthew Flatt <mflatt at cs.utah.edu> 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.
> >
> >