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

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