Package: libocsigen-xhtml-ocaml-dev Version: 1.3.3-1 Severity: normal Using the Makefile from the Eliom tutorial I get a permission denied error: ocamlfind ocamldep -package lwt,ocsigen -I `ocamlfind query ocsigen` test.mli test.ml > .depend ocamlfind ocamlc -g -thread -package lwt,ocsigen -I `ocamlfind query ocsigen` -c /usr/lib/ocaml/ocsigen/xHTML.mli File "/usr/lib/ocaml/ocsigen/xHTML.mli", line 1, characters 0-1: Error: I/O error: /usr/lib/ocaml/ocsigen/xHTML.cmi: Permission denied
The reason is that the timestamp for the .mli file is NEWER than the timestamp for the .cmi file: -rw-r--r-- 1 root root 168068 Jun 13 12:57 /usr/lib/ocaml/ocsigen/xHTML.cmi -rw-r--r-- 1 root root 46899 Jun 13 13:02 /usr/lib/ocaml/ocsigen/xHTML.mli I think that in the package the .cmi files should always be newer than the .mli files, since normal users don't have permissions to recompile the .mli files. For now I worked around the issue by using 'touch /usr/lib/ocaml/ocsigen/*.cmi'. -- System Information: Debian Release: squeeze/sid APT prefers unstable APT policy: (990, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.35-rc3-00001-ga5d1880 (SMP w/4 CPU cores; PREEMPT) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages libocsigen-xhtml-ocaml-dev depends on: ii camlp4 [camlp4-3.11.2] 3.11.2-1 Pre Processor Pretty Printer for O ii libocamlnet-ocaml-dev [liboca 2.2.9-8 OCaml application-level Internet l ii libpcre-ocaml-dev [libpcre-oc 6.0.1-3 OCaml bindings for PCRE (Perl Comp ii ocaml-nox [ocaml-nox-3.11.2] 3.11.2-1 ML implementation with a class-bas Versions of packages libocsigen-xhtml-ocaml-dev recommends: ii libocsigen-ocaml-doc 1.3.3-1 developer's documentation for Ocsi ii ocaml-findlib 1.2.5+debian-1+b1 management tool for OCaml librarie libocsigen-xhtml-ocaml-dev suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org