On Wed, Dec 19, 2007 at 08:44:32AM +0100, Ralf Treinen wrote:
> I just tried on my home box (amd64/sid), and cannot reproduce the error
> you describe on recompiling cryptgps.
mmmh, this is strange, I really don't see how can it built find for you:
the cdbs class now invokes
/usr/share/cdbs/1/class/ocamldoc-api-ref-config and that file is not
executable here:
$ ls -l /usr/share/cdbs/1/class/ocamldoc-api-ref-config
-rw-r--r-- 1 root root 2238 2007-12-17 13:41 /usr/share/cdbs/1/class/ocamldoc-api-ref-config
Can you please check whether the above file is executable for you or
not?
TIA
Cheers.
--
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the
(15:57:15) Bac: no, la demo scema \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature