Package: libfacile-ocaml-dev Version: 1.1-3 Severity: grave Justification: not usable by non-root users in the most common case The kdeedu package is failing to build on several architectures because the timestamps on /usr/lib/ocaml/3.09.1/facile/facile.cmi and /usr/lib/ocaml/3.09.1/facile/facile.mli are wrong, causing any Makefile with a .mli/.cmi rule to try to rebuild the out-of-date .cmi file: [...] ocamlc -I +facile -c /usr/lib/ocaml/3.09.1/facile/facile.mli I/O error: /usr/lib/ocaml/3.09.1/facile/facile.cmi: Permission denied make[5]: *** [/usr/lib/ocaml/3.09.1/facile/facile.cmi] Error 2 make[5]: Leaving directory /build/buildd/kdeedu-3.5.1/build-tree/obj-arm-linux-gnu/kalzium/src/solver' make[4]: *** [all-recursive] Error 1 [...] http://buildd.debian.org/fetch.php?pkg=kdeedu&arch=arm&ver=4%3A3.5.1-1&stamp=1138881380&file=log If the .mli files really need to be installed, please make sure they are installed *before* the .cmi files so that the .cmi's aren't treated as out of date by make. -- Steve Langasek Give me a lever long enough and a Free OS Debian Developer to set it on, and I can move the world. vorlon@debian.org http://www.debian.org/
Attachment:
signature.asc
Description: Digital signature