From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2MKCE7b021705 for ; Thu, 22 Mar 2012 21:12:14 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar8JABKHa09QRFuw/2dsb2JhbABEtDOCEHqBB4IJAQEFOj8QCxgcEhQoiEK4RIVEij1jBJVekCmCZw X-IronPort-AV: E=Sophos;i="4.73,632,1325458800"; d="scan'208";a="150787195" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 22 Mar 2012 21:12:09 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1SAoMi-00077J-Bb for caml-list@inria.fr; Thu, 22 Mar 2012 20:12:08 +0000 Date: Thu, 22 Mar 2012 20:12:08 +0000 From: "Richard W.M. Jones" Cc: caml-list@inria.fr Message-ID: <20120322201208.GC21740@annexia.org> References: <20120322114710.GA21740@annexia.org> <4F6B206D.6030103@frisch.fr> <20120322164233.GB21740@annexia.org> <4F6B5DDB.1040800@laposte.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4F6B5DDB.1040800@laposte.net> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Native dynlink and reloading modules On Thu, Mar 22, 2012 at 06:14:03PM +0100, Pierre Chambart wrote: > On 03/22/2012 05:42 PM, Richard W.M. Jones wrote: > > Any ideas on how best to go about this? Note that the whenjobs jobs > > script is intentionally a Turing-complete OCaml program, so converting > > it to another format is probably not going to be practical. > > > I did not really read your code, but it seams to me that you are doing > the compilation in your tool. > So you can choose the name of the module. Isn't it possible to change > the name of the file each > time you compile/reload it ? Yes, I guess something involving -pack to pack all the files into a randomly-named submodule, could be the way to go. Rich. -- Richard Jones Red Hat