[racket-dev] sudo make install

Yes. So either pass that arg to sudo to set the home properly, or just
don't to "sudo" when you do make install (if you're installing into a
movable tree).

Or maybe there is another possible solution that involves changing how
the distribution and or the docs build works?

Robby

On Mon, Jan 3, 2011 at 1:48 PM, Jon Rafkind <rafkind at cs.utah.edu> wrote:
> Won't that make .racket be owned by root again when some preference file
> gets written out during 'make install'?
>
> On 01/03/2011 12:47 PM, Robby Findler wrote:
>> Ah. So the problem was that root owned the .racket directory itself.
>>
>> Should I revert my commit?
>>
>> Robby
>>
>> On Mon, Jan 3, 2011 at 1:39 PM, Jon Rafkind <rafkind at cs.utah.edu> wrote:
>>> On 01/03/2011 10:52 AM, Robby Findler wrote:
>>>> On Mon, Jan 3, 2011 at 11:42 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
>>>>> At Mon, 3 Jan 2011 11:39:28 -0600, Robby Findler wrote:
>>>>>> I've changed the handin server so it puts its docs in the main tree
>>>>>> like (I believe) it is supposed to.
>>>>> That breaks the distribution build. The "handin-server" docs were
>>>>> intentionally not installed into the main tree, because "handin-server"
>>>>> is not included in the distribution.
>>>> So what the irc person was doing is just not supposed to work, I guess?
>>>>
>>>> I'd still like to find out what preference was getting set, so if Jon
>>>> tries again, that'd be interesting to me.
>>> As of commit
>>>
>>> commit e6d45e2ae6804a73c9cea2a41d544c4a65b7a5d9
>>> Author: Robby Findler <robby at racket-lang.org>
>>> Date:   Mon Jan 3 08:19:51 2011 -0600
>>>
>>> a 'sudo make install' does not create the ~/.racket directory and things
>>> install fine into /usr/local when --prefix=/usr/local is given to
>>> `configure'
>>>
>
>