On Sat, Aug 05, 2006 at 10:36:16AM +1000, skaller wrote:
> Exactly how one would do this in a cross compilation environment
> I don't know (Felix is a cross-cross compiler). 

An idea can be provide a couple of autoconf macros, something like
(sorry, I'm not really fluent in autoconf, I may have got an unusal
name, wrong syntax, ....):

- AC_CHECK_OCAML_MD5(Foo, 13c5192c85629bcaad3e2d74c22f08d4)

  This will ensure that all ocaml libraries checked for later using
  other macros (e.g. one that look for a given findlib library) trust
  the Foo interface to have the given md5sum

  Implement what's needed, but it will be probably hard to maintain for
  developers

- AC_CHECK_OCAML_CMI(foo.cmi)

  As above, but ensure that all libraries have the same md5sum for all
  the interfaces referenced by foo.cmi. You can easily extend this idea
  and provide an .mli which will be compiled and then used as a
  reference.

Cheers.

-- 
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-