[racket-dev] sudo make install

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Mon Jan 3 16:11:41 EST 2011

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.

Posted on the dev mailing list.