From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA20552 for caml-red; Wed, 5 Jul 2000 23:30:45 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA10092 for ; Wed, 5 Jul 2000 21:26:42 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e65JQaX15350; Wed, 5 Jul 2000 21:26:36 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA28530; Wed, 5 Jul 2000 21:26:35 +0200 (MET DST) Message-ID: <20000705212635.50585@pauillac.inria.fr> Date: Wed, 5 Jul 2000 21:26:35 +0200 From: Xavier Leroy To: Luc MAZARDO , caml-list@inria.fr Subject: Re: About Ocaml and Sourceforge. References: <8766ql6ma6.fsf@beepbeep.dev33.cvf> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.89.1 In-Reply-To: <8766ql6ma6.fsf@beepbeep.dev33.cvf>; from Luc MAZARDO on Wed, Jul 05, 2000 at 09:58:41AM +0200 Sender: weis@pauillac.inria.fr > OCaml is on sourceforge since the 2000-Jun-30. What is exactly the > goal of this move, cvs access ? or/and mailing, forums ? I registered OCaml on SourceForge for the sole purpose of getting an account on their "compile farm", and more specifically on their prototype IA64/Itanium machines. I'm working on an IA64 port of the OCaml native-code compiler, and while the initial port was done using HP's emulator, I needed real hardware to complete it. IA64 a weird architecture; exploiting all its capabilities is a real challenge for compiler writers. OCaml is not going to exploit all of them (far from it!), but even a relatively naive code generator isn't easy, especially with all the bugs in the GNU IA64 assembler... As for OCaml on SourceForge, I'll put a couple of Web pages pointing back to the INRIA Web and CVS servers. I hope the SourceForge people won't mind this slight bending of their rules! > PS: now there is 3 OCaml projet under sourceforge !! I was impressed with the quality of the services offered by SourceForge, and would encourage that doesn't control their own servers to host their projects on SourceForge. - Xavier Leroy