Version française
Home     About     Download     Resources     Contact us    
Browse thread
O'Caml 3.09 and GODI
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Arne Ehrlich <arne.ehrlich@g...>
Subject: Re: [Caml-list] O'Caml 3.09 and GODI
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