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

On 06/27/13 15:37, Matthew Flatt wrote:
> 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.

Yep, but it contains the full history. I searched in the "stable" branch 
because you said "5.3.900" :)

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

Anyway, I've added a quick fix to the OpenBSD port (5.3.5). It changes 
the timestamp of search-context.html and search.js. Pretty easy.

Thanks for the help!.