* O'Caml 3.09 and GODI
@ 2005-10-31 14:31 Gerd Stolpmann
2005-10-31 18:41 ` [Caml-list] " Ken Rose
0 siblings, 1 reply; 3+ messages in thread
From: Gerd Stolpmann @ 2005-10-31 14:31 UTC (permalink / raw)
To: caml-list
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
------------------------------------------------------------
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] O'Caml 3.09 and GODI
2005-10-31 14:31 O'Caml 3.09 and GODI Gerd Stolpmann
@ 2005-10-31 18:41 ` Ken Rose
2005-11-01 12:45 ` Arne Ehrlich
0 siblings, 1 reply; 3+ messages in thread
From: Ken Rose @ 2005-10-31 18:41 UTC (permalink / raw)
To: Gerd Stolpmann; +Cc: caml-list
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] O'Caml 3.09 and GODI
2005-10-31 18:41 ` [Caml-list] " Ken Rose
@ 2005-11-01 12:45 ` Arne Ehrlich
0 siblings, 0 replies; 3+ messages in thread
From: Arne Ehrlich @ 2005-11-01 12:45 UTC (permalink / raw)
To: rose; +Cc: caml-list
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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2005-11-01 12:45 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-10-31 14:31 O'Caml 3.09 and GODI Gerd Stolpmann
2005-10-31 18:41 ` [Caml-list] " Ken Rose
2005-11-01 12:45 ` Arne Ehrlich
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).