On Mon, May 19, 2008 at 02:32:37PM +0200, Julien Cristau wrote: > Build-depend on gcc-4.2 [arm], and set CC=gcc-4.2, which the build > system should respect if it is anywhere near sane. This is not how I read your suggestion in the beginning. My reply is that it is not possible to do that by only changing the dependencies. If you are allowing yourself to change stuff in debian/rules as well you can do whatever you want, e.g.: test if the arch is arm, and if it is so set CC=gcc-4.2. > Anyway, I'll get the build-deps installed on agnesi and start a build. Julien is doing it right now ..., please join #debian-ocaml to coordinate with him. Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? zack@{upsilon.cc,cs.unibo.it,debian.org} -<%>- http://upsilon.cc/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