[racket] Issue with "raco pkg install -u"

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Jun 27 09:37:08 EDT 2013

At Wed, 26 Jun 2013 02:26:41 +0200, Juan Francisco Cantero Hurtado wrote:
> On 06/25/13 21:14, Matthew Flatt wrote:
> > So "search-context.html" has a newer timestamp than "make-search.rkt"?
> Yes.
> >
> > That would explain the problem, leaving the question of how the
> > timestamp on "search-context.html" changed.
> I don't know if this is related to the bug:
> raco setup: rendering: web-server/scribblings/web-server.scrbl
> raco setup: rendering: web-server/scribblings/web-server-internal.scrbl
> raco setup: rendering: web-server/scribblings/tutorial/continue.scrbl
> raco setup: rendering: xml/xml.scrbl
> raco setup: rendering: xrepl/xrepl.scrbl
> raco setup: re-rendering: scribblings/main/start.scrbl
> raco setup: re-rendering: scribblings/main/search.scrbl <- HERE

No, that's expected, and it should not change an ".html" file in the
"main" collection.

> > Meanwhile, I believe the deeper problem here --- that `rack pkg install
> > -u' should never try to rebuild installation files --- is fixed in
> > v5.3.900.1.
> Which commit? I can't found it in the branch stable.

The `stable' branch is last release, which is v5.3.5.

I think the relevant commit is 413ca684, which added an `#:avoid-main?'
argument to the call of `setup' in `pkg'.

Posted on the users mailing list.