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

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Tue Aug 11 11:31:31 EDT 2009

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

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

--Carl


Posted on the dev mailing list.