[plt-dev] planet remove and scribble

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.

--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