On Fri, Nov 21, 2008 at 11:29:12AM -0800, Dario Teixeira wrote:
> Therefore, the life of Ocsigen users would be greatly simplified if
> library writers and packagers (GODI, Debian, Fedora, etc) would add
> this little extra step of generating cmxs for each cmxa.  This
> request only makes sense for 3.11, of course.

Debian-side, this is already planned. The work-flow will be as usual:
patch the Makefiles of upstream not (yet) using dynlinking, and send
patches upstream. Of course it will take some time, and library
authors helping out making new releases supporting that out of the box
will be really appreciated.

Cheers.

-- 
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..|  .  |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime