English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[newbie] miscellaneous on installation and web site
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-03-01 (19:32)
From: Marco Maggi <marco.maggi-ipsu@p...>
Subject: Re: [Caml-list] [newbie] miscellaneous on installation and web site
"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.


> 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