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

2013-06-27 Thread Juan Francisco Cantero Hurtado
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

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

2013-06-27 Thread Matthew Flatt
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 "searc

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

2013-06-25 Thread Juan Francisco Cantero Hurtado
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:

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

2013-06-25 Thread Matthew Flatt
So "search-context.html" has a newer timestamp than "make-search.rkt"? That would explain the problem, leaving the question of how the timestamp on "search-context.html" changed. Meanwhile, I believe the deeper problem here --- that `rack pkg install -u' should never try to rebuild installation f

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

2013-06-25 Thread Juan Francisco Cantero Hurtado
raco setup: version: 5.3.5 [3m] raco setup: variants: 3m raco setup: main collects: /usr/local/lib/racket/collects raco setup: collects paths: raco setup: /home/juanfra/.racket/5.3.5/collects raco setup: /usr/local/lib/racket/collects raco setup: --- pre-installing collections --- raco setup:

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

2013-06-25 Thread Matthew Flatt
I guess it's more than an immediate timestamp on that file, then. Can you try raco setup -j 1 -v -m -D scribblings/main ? It should produce a lot of output, including the reason that "make-search.rkt" is being recompiled. Thanks! At Mon, 24 Jun 2013 21:10:03 +0200, Juan Francisco Cantero Hur

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

2013-06-24 Thread Juan Francisco Cantero Hurtado
--> ls -lh /usr/local/lib/racket/collects/scribblings/main/private/make-search.rkt -rw-r--r-- 1 root wheel 9.8K Jun 18 09:07 /usr/local/lib/racket/collects/scribblings/main/private/make-search.rkt --> ls -lh /usr/local/lib/racket/collects/scribblings/main/private/compiled/make-search_rkt.z

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

2013-06-24 Thread Matthew Flatt
It looks like `raco setup' thinks that the bytecode form of "scribblings/main/private/make-search.rkt" is out of date, and so it's trying to recompile the file. What is the timestamp on "make-search.rkt"? Does the file "compiled/make-search_rkt.zo" exist, and if so, what is its timestamp? At

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

2013-06-24 Thread Juan Francisco Cantero Hurtado
Why raco requires write permissions to /usr? --> raco pkg install --scope user frog The following packages are listed as dependencies, but are not currently installed: markdown rackjure Would you like to install them via your package indices? [Yn] raco setup: version: 5.3.5 [3m] raco se