[plt-dev] setup-plt errors: in.sxref compiled for wrong version

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue Aug 11 12:13:15 EDT 2009

At Tue, 11 Aug 2009 11:31:31 -0400, Carl Eastlund wrote:
> On Tue, Aug 11, 2009 at 11:22 AM, Matthew Flatt<mflatt at cs.utah.edu> wrote:
> > At Tue, 11 Aug 2009 11:13:32 -0400, Carl Eastlund wrote:
> >> Running make install, I get a long series of errors of this form:
> >>
> >> /Users/cce/plt/trunk/doc/algol60/in.sxref::0: read (compiled): code
> >> compiled for version 4.2.1.5, not 4.2.1.6
> >> /Users/cce/plt/trunk/doc/browser/in.sxref::0: read (compiled): code
> >> compiled for version 4.2.1.5, not 4.2.1.6
> >> /Users/cce/plt/trunk/doc/cards/in.sxref::0: read (compiled): code
> >> compiled for version 4.2.1.5, not 4.2.1.6
> >> .
> >> .
> >> .
> >>
> >> What's going on here?  Shouldn't setup-plt / make install be
> >> rebuilding these?  I got these yesterday during a setup-plt -D as
> >> well, which is confusing because they appear to be documentation files
> >> and I would expect them to be excluded from setup-plt -D.
> >
> > Yes, that's puzzling.
> >
> > Just to make sure, what are the timestamps on "algol60_scrbl.zo",
> > "algol60/index.html", "algol60/in.sxref", and "algol60/out.sxref"?
> 
> -rw-r--r--  1 cce  cce   7901 Aug 11 10:28
> collects/algol60/compiled/algol60_scrbl.zo
> -rw-r--r--  1 cce  cce    453 Aug 11 11:19 doc/algol60/in.sxref
> -rw-r--r--  1 cce  cce  11165 Aug 10 13:01 doc/algol60/index.html
> -rw-r--r--  1 cce  cce   2599 Aug 11 11:19 doc/algol60/out.sxref

Still puzzling. I guess the ".sxref" files were updated because there
was a doc build (maybe for a planet package?) after `setup-plt -D'. But
then the files should have the right version. The ".sxref" files
really do start with the old version number, right?

> > Where in the Setup PLT output do those warnings appear (with and
> > without `-D', if possible)?
> 
> During both 'setup-plt -D' and 'make install' they occurred in the
> middle of setting up my development links; Dracula in particular, in
> between building the fasttest/private directory (from the FastTest
> package, a dependency of Dracula) and the dracula/reference/modular
> directory (which contains only a .scrbl file). 

I haven't yet managed to reproduce the problem. Does it happen with the
current Planet version of "fasttest.plt"?

> I'm not sure if
> building .scrbl files is expected or not for -D, either, but my -D
> builds always go through long compiles in some of my reference
> documentation directories anyway.

".scrbl" files are compiled even if you supply -D, since -D currently
only controls rendering. Now that you mention it, though, ".scrbl"
files could be skipped when you supply -D, and I'll look into that
change.

In any case, I don't see why ".sxref" files would be needed when
compiling ".scrbl" files, unless some for-syntax module explicitly
loads cross-reference information (e.g., though `load-collections-xref'
from `setup/xref').



Posted on the dev mailing list.