Why?
How to install GODI?
GODI is a very nice package management system for OCaml, making it trivial
to install both OCaml and most OCaml libraries that are in common use. It
automatically downloads and installs libraries, and checks for
dependencies. I would recommend using it, unless perhaps
Ciao,
I am a True Beginner taking a look at O'Caml; I hope not
to be abusing by posting here rather than the beginners
list.
I think I successfully compiled ocaml-3.11.2 on my
i686-pc-linux-gnu, but there seems to be no way to install
the package in a temporary location via
Marco Maggi marco.maggi-i...@poste.it :
I am a True Beginner taking a look at O'Caml; I hope not
to be abusing by posting here rather than the beginners
list.
You are a beginner (you told), you know there is a beginner list, and
you apoligize for not using it.
I think I
Marco Maggi wrote:
Ciao,
I am a True Beginner taking a look at O'Caml; I hope not to be
abusing by posting here rather than the beginners list.
Building OCaml from source is definitely not a beginners' question! :o)
I think I successfully compiled ocaml-3.11.2 on my
On Mon, Mar 01, 2010 at 02:07:45PM +0100, Marco Maggi wrote:
I think I successfully compiled ocaml-3.11.2 on my
i686-pc-linux-gnu, but there seems to be no way to install
the package in a temporary location via the Linux de facto
standard DESTDIR environment variable; is there a
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
The best way to compile and install OCaml (in my opinion) is via GODI. The
GODI installation instructions are clear and allow you to specify where the
install should go. Once installed, it's also easy to get all the other
libraries you might want
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
Marco Maggi wrote:
So am I correct in saying that MLGMP is orphaned and no
maintained GMP/MPFR/... package exists?
Wait! Found something here:
https://code.launchpad.net/~ubuntu-branches/ubuntu/lucid/mlgmp/lucid
--
Marco Maggi
___
Caml-list
Peng Zang peng.z...@gmail.com :
The best way to compile and install OCaml (in my opinion) is via GODI.
Why?
How to install GODI?
--
Architecte Informatique chez Blueline/Gulfsat:
Administration Systeme, Recherche Developpement
+261 34 29 155 34 / +261 33 11 207 36
