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 <matth...@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 <matth...@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 >>> > > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
