[plt-dev] Re: [plt-internal] PLaneT install considered misleading

Most of he time is docs building I think and avoiding compilation only
saves time if you don't actually require the file (I think a lazy
compilation strategy along these lines would amount to having cm
installed all the time and I'm not sure if we're ready for that.) it
should be possible to do better with the docs tho.

Robby

On Monday, May 3, 2010, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>
> Correct. I think planet just isn't for interactive use.
>
> Would it be possible to download the archive, unpack it,
> and use it as an interpreted thing, while compilation
> and docs are done in the background?
>
>
>
>
> On May 2, 2010, at 10:58 PM, Robby Findler wrote:
>
>> "that" refers to the long installation time?
>>
>> Robby
>>
>> On Sun, May 2, 2010 at 9:25 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>>>
>>> [re-directed to proper list]
>>>
>>> That's why I am reluctant to use planet.
>>>
>>>
>>> On May 2, 2010, at 8:37 PM, Shriram Krishnamurthi wrote:
>>>
>>>> I ran
>>>>
>>>> #lang planet plai/plai:1:3
>>>>
>>>> in a fresh DrScheme 4.2.5.  It churned away for a long time, saying
>>>> just "PLaneT: Installing cce/scheme:4.1...".
>>>>
>>>> 1. During this time, the log showed that it was actually compiling and
>>>> re-building -- ie, it was unfairly ascribing work to a PLaneT package.
>>>>
>>>> 2. Even when it was done installing, it had the same message.  That
>>>> is, it did not indicate completion.
>>>>
>>>> Should I be surprised?
>>>>
>>>> Shriram
>>>
>>> _________________________________________________
>>>  For list-related administrative tasks:
>>>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>>>
>
>