[plt-dev] planet remove and scribble

On Fri, Feb 6, 2009 at 1:22 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> Hmm.  It does need to rebuild the index.  And it needs to rebuild the
> index without the package being removed.  But it doesn't want to
> reinstall the package if anything has a dependency on it... so it
> leaves the package installed.  That much makes sense.  Is there a way
> to do that, and either rebuild only the index (not any code /
> documentation) or else, when rebuilding other code, not follow
> dependencies into the package being removed?  I can see why it's doing
> some rebuilding, and why the package is still in place, but it seems
> unfortunate that it gets pulled into the actual build process.
>
> We could try another tack.  Remove the package, rebuild, but change
> the module resolver while rebuilding so that it reports an error
> during any attempts to retrieve that planet package.  That would
> rebuild as much of the index as possible without the package, wouldn't
> traverse the package itself, and wouldn't replace it with any new
> download.

That seems like an interesting thing to try. The idea is that error
should never be signaled, right?

Robby

> --Carl
>
> On Fri, Feb 6, 2009 at 1:51 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> I'm not sure myself, but I think that it needs to do that to rebuild
>> the index, but perhaps it is doing it wrong?
>>
>> Robby
>>
>> On Fri, Feb 6, 2009 at 12:48 PM, Carl Eastlund <cce at ccs.neu.edu> wrote:
>>> Is there a reason why "planet remove" builds the scribble
>>> documentation for the package being removed?  Is this a bug, or some
>>> odd technicality to maintain consistency of the collections?
>>>
>>> % planet remove cce dracula.plt 8 0
>>>
>>> ============= Removing (cce dracula.plt 8 0) =============
>>> setup-plt: version: 4.1.4.2 [3m]
>>> setup-plt: variants:  3m
>>> setup-plt: main collects: /Users/cce/plt/main/collects
>>> setup-plt: collects paths:
>>> setup-plt:   /Users/cce/Library/PLT Scheme/4.1.4.2/collects
>>> setup-plt:   /Users/cce/plt/main/collects
>>> setup-plt: --- cleaning collections ---
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/acl2
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/drscheme
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/guide
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/lang
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/lang/primitive-procedures
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/modular
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/modular/lang
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/private
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/proof
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/reference
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/reference/acl2
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/reference/modular
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/reference/teachpacks
>>> setup-plt: deleting: in <planet>/cce/dracula.plt/8/0/teachpacks
>>> setup-plt: --- updating info-domain tables ---
>>> setup-plt: updating: /Users/cce/Library/PLT Scheme/planet/300/4.1.4.2/cache.ss
>>> setup-plt: --- building documentation ---
>>> setup-plt: running: <planet>/cce/dracula.plt/8/0/guide/guide.scrbl
>>> setup-plt: running: <planet>/cce/dracula.plt/8/0/reference/reference.scrbl
>>>
>>> [snipped lots of stuff about other documents]
>>>
>>> setup-plt: WARNING: undefined tag in
>>> <planet>/cce/dracula.plt/8/0/guide/guide.scrbl:
>>> setup-plt:  ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") defun)
>>> setup-plt:  ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") =)
>>> setup-plt:  ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") +)
>>> setup-plt:  ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") t)
>>> setup-plt:  ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") defstub)
>>> setup-plt:  ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") defaxiom)
>>> setup-plt:  ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") *)
>>> setup-plt:  ((planet "main.ss" ("cce" "dracula.plt" 8 0) "modular") defthm)
>>> setup-plt: WARNING: undefined tag in
>>> <planet>/cce/dracula.plt/8/0/reference/reference.scrbl:
>>> setup-plt:  ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") mv)
>>> setup-plt:  ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") equal)
>>> setup-plt:  ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") lexorder)
>>> setup-plt:  ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") union-eq)
>>> setup-plt:  ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") cdar)
>>> setup-plt:  ((planet "dracula.ss" ("cce" "dracula.plt" 8 0) "lang") make-list)
>>>
>>> [snipped lots more undefined tags like this]
>>>
>>> setup-plt: rendering: <planet>/cce/dracula.plt/8/0/guide/guide.scrbl
>>> setup-plt: rendering: <planet>/cce/dracula.plt/8/0/reference/reference.scrbl
>>> setup-plt: --- post-installing collections ---
>>> setup-plt: done
>>> Erasing metadata
>>> Deleting files in /Users/cce/Library/PLT
>>> Scheme/planet/300/4.1.4.2/cache/cce/dracula.plt/8/0
>>> Trimming empty directories
>>>
>>> --
>>> Carl Eastlund
>