From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 97C51BC0A for ; Wed, 20 Jun 2007 15:44:10 +0200 (CEST) Received: from [128.93.11.101] (buzet.inria.fr [128.93.11.101]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5KDiAA0006180 for ; Wed, 20 Jun 2007 15:44:10 +0200 Message-ID: <46792E46.1070601@inria.fr> Date: Wed, 20 Jun 2007 15:40:22 +0200 From: Alain Frisch User-Agent: Thunderbird 2.0.0.4 (X11/20070604) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Dynamic linking References: <4672B855.7040103@inria.fr> In-Reply-To: <4672B855.7040103@inria.fr> X-Enigmail-Version: 0.95.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 46792F2A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 ocaml:01 cvs:01 cvs:01 caml-list:01 alain:01 alain:01 variables:02 linking:02 rebuild:03 dynamic:03 conf:04 inria:06 Hello again, It is now possible to try the natdynlink branch with GODI: - check that you are on section 3.10 (GODI_SECTION = 3.10 in your godi.conf); - "update the list of available packages" - in the configuration screen for godi-ocaml-src, set these variables: OCAML_CVS_CHECKOUT = yes OCAML_CVS_REVISION = natdynlink - ask GODI to rebuild the two packages godi-ocaml-src and godi-ocaml. Alain