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