"David Allsopp" wrote:
> the  more usual  way, which  will work  with OCaml,  is to
> specify a  different root for the -prefix  option when you
> run configure.

Yes.  It worked (it seems) by doing:

$ ./configure -prefix "${prefix}" ...
$ make world
$ make bootstrap
$ make opt
$ ./configure -prefix "${DESTDIR}${prefix}"
$ make install 

> All  that said,  what  distro are  you  using? Debian  and
> Fedora (and *BSD) all have native packages for OCaml.

Slackware.

> The Caml Hump I believe has up-to-date information as long
> as  it's submitted.  [...] www.ocamlcore.org  is  a pretty
> good place to start, I think.

Understood (IMHO submissions more than 3 years old should be
removed).  So am I correct  in saying that MLGMP is orphaned
and no maintained GMP/MPFR/... package exists?
-- 
Marco Maggi