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

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 Hurtado wrote:
> 
> --> 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
> .zo 
> 
> -rw-r--r--  1 root  wheel  15.6K Jun 18 19:38 
> /usr/local/lib/racket/collects/scribblings/main/private/compiled/make-search_rkt
> .zo
> 
> 
> On 06/24/13 16:29, Matthew Flatt wrote:
> > 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 Mon, 24 Jun 2013 15:16:02 +0200, Juan Francisco Cantero Hurtado wrote:
> >> 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 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: --- compiling collections ---
> >> raco setup: making: /home/juanfra/.racket/5.3.5/pkgs/installed/frog/example
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/frog/example/_src
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/frog/example/_src/posts
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/frog/example/_src/subdir
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/frog/example/css
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/frog/example/img
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/frog/example/js
> >> raco setup: making: /home/juanfra/.racket/5.3.5/pkgs/installed/frog/frog
> >> raco setup:  in /home/juanfra/.racket/5.3.5/pkgs/installed/frog/frog/
> >> raco setup:  in
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/rackjure/rackjure/
> >> raco setup:  in
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/rackjure/rackjure/lang/
> >> raco setup:  in
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/markdown/markdown/
> >>                    [57/727]
> >> raco setup:  in /home/juanfra/.racket/5.3.5/pkgs/installed/frog/
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/markdown/markdown
> >> raco setup:  in
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/markdown/markdown/
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/markdown/markdown/test
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/rackjure/rackjure
> >> raco setup:  in
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/rackjure/rackjure/
> >> raco setup: making:
> >> /home/juanfra/.racket/5.3.5/pkgs/installed/rackjure/rackjure/lang
> >> raco setup: making: scribblings/main/user
> >> raco setup:  in scribblings/main/private
> >> open-output-file: cannot open output file
> >>     path:
> >> 
> /usr/local/lib/racket/collects/scribblings/main/private/compiled/make-search_rkt
> >> .zo
> >>     system error: Permission denied; errno=13
> >> raco setup: --- updating info-domain tables ---
> >> raco setup: updating: <user>/info-domain/compiled/cache.rktd
> >> raco setup: --- creating launchers ---
> >> raco setup: --- building documentation ---
> >> raco setup: --- installing collections ---
> >> raco setup: --- post-installing collections ---
> >> raco setup:
> >> raco setup: error: during making for scribblings/main/user
> >> raco setup:   open-output-file: cannot open output file
> >> raco setup:     path:
> >> 
> /usr/local/lib/racket/collects/scribblings/main/private/compiled/make-search_rkt
> >> .zo
> >> raco setup:     system error: Permission denied; errno=13
> >>
> 
> 
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users