O'Caml 3.09 and GODI

O'Caml 3.09 and GODI

[Gerd Stolpmann]

Me again.

GODI had good success in the transition to 3.09. Although not yet
released, there is already an almost working GODI for 3.09. Especially
useful for developers who want to check their software for 3.09.

To get this release, download the bootstrap archive:

http://www.ocaml-programmhttp://www.ocaml-programming.de/packages/godi-bootstrap-20050829.tar.gzing.de/packages/godi-bootstrap-20050829.tar.gz

Call the bootstrap script with the additional argument --section 3.09,
e.g.

./bootstrap --section 3.09 --prefix /opt/godi-3.09

then continue as explained in README.

Not all libraries are already available, but most are.

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Telefon: 06151/153855                  Telefax: 06151/997714
------------------------------------------------------------

Re: [Caml-list] O'Caml 3.09 and GODI

[Ken Rose]

Gerd Stolpmann wrote:
> Me again.
> 
> GODI had good success in the transition to 3.09. 

Good.  Congratulations.

On an only loosely related point, does anyone have any advice for making
GODI and Gentoo's Portage system play well together?  I've been using
GODI for a while now, and I've just recently installed Gentoo on a new
machine.

Thanks

 - ken

Re: [Caml-list] O'Caml 3.09 and GODI

[Arne Ehrlich]

Ken Rose <kenrose@tfb.com> writes:

> On an only loosely related point, does anyone have any advice for making
> GODI and Gentoo's Portage system play well together?  I've been using
> GODI for a while now, and I've just recently installed Gentoo on a new
> machine.

I'm using GODI on Gentoo, currently I've put 

dev-lang/ocaml-9999
sci-mathematics/coq-9999
app-misc/ledit-9999
dev-ml/ocamlweb-9999
dev-ml/camlimages-9999
dev-ml/findlib-9999
dev-ml/lablgl-9999
dev-ml/lablgtk-9999
dev-ml/lablgtk-9999
dev-ml/ounit-9999
dev-ml/pcre-ocaml-9999
dev-ml/xstr-9999

to /etc/portage/profile/package.provided

telling portage that I allways have the newest version installed.
(you could allso provide the real version numbers, I picked 9999
as this is the number gentoo uses for CVS builds...)

I thougt about generating /etc/portage/profile/package.provided
automaticaly from GODI, but this sullution was just simpler.


Arne