English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] GODI news
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-12-04 (14:59)
From: Benjamin Geer <ben@s...>
Subject: Re: [Caml-list] GODI news
Gerd Stolpmann wrote:
> And when this works, too, you can send the contents of the godi-foo
> directory to me, and I can integrate it into GODI.

Thank you, this was very helpful.  One question: wouldn't it be better 
if I could just send you a URL where the godi-foo directory can be 
found?  GODI could download a list of those URLs from your web server, 
and use it to download the build instructions for each package from the 
package maintainer's web server.  That way, people could change the 
contents of their godi-foo directories (e.g. to change their package's 
dependencies) without having to send them to you again.


To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners