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 ____________________ Racket Users list: http://lists.racket-lang.org/users