>> ** Second: how about packs ?
> 
> As far as I can tell, packing and creating cmxs files are orthogonal
> features: they don't overlap and they don't have bad interactions. It is
> ok to put in cmxs files a module produced by -pack. I think it is also
> ok to put modules compiled with -for-pack, but I don't see why you would
> do that.

According to the manual,
"The options -pack, -a, -shared, -c and -output-obj are mutually exclusive."

Do you suggest to create a first cmx pack and then make it dynamically
loadable ?

Regards,

pl
-- 
Pierre-Loïc Garoche
pierre-loic.garoche@onera.fr
http://www.onera.fr/staff/pierre-loic-garoche/