From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id AF437BB9C for ; Fri, 20 Jan 2006 02:30:41 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k0K1Ue6w009447 for ; Fri, 20 Jan 2006 02:30:40 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA17552 for ; Fri, 20 Jan 2006 02:30:40 +0100 (MET) Received: from ash25e.internode.on.net (ash25e.internode.on.net [203.16.214.182]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k0K1UbY2009441 for ; Fri, 20 Jan 2006 02:30:39 +0100 Received: from rosella (ppp21-250.lns2.syd7.internode.on.net [59.167.21.250]) by ash25e.internode.on.net (8.13.5/8.13.5) with ESMTP id k0K1UDmT041184; Fri, 20 Jan 2006 12:00:13 +1030 (CST) (envelope-from skaller@users.sourceforge.net) Subject: RE: [Caml-list] toplevel with pre-installed printers From: skaller To: "Harrison, John R" Cc: Andrej.Bauer@andrej.com, Caml list In-Reply-To: <196F1D996F92CD46A542EA519DB8CE4702F0C536@orsmsx409> References: <196F1D996F92CD46A542EA519DB8CE4702F0C536@orsmsx409> Content-Type: text/plain Date: Fri, 20 Jan 2006 12:30:12 +1100 Message-Id: <1137720613.8822.96.camel@rosella> Mime-Version: 1.0 X-Mailer: Evolution 2.4.1 Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 43D03D40.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43D03D3D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 toplevel:01 ocaml:01 toplevel:01 bytecode:01 wrote:01 sourceforge:01 comparable:04 startup:05 thu:05 hol:05 hol:05 linux:06 linux:06 maybe:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Thu, 2006-01-19 at 11:40 -0800, Harrison, John R wrote: > | Sorry, I was not clear enough. I know about .ocamlinit. I am going to > | have several custom ocamltop's and they can't all share the same > | .ocamlinit. What now? > > You could always checkpoint the OCaml toplevel process. This is what > I do with HOL Light, since it would take several minutes to reload all > the code at startup. Under Linux, I've found "ckpt" very good. However > I don't know of a comparable solution for Windows. Under "Linux" ckpt is not available. I tried this, since HOL Light takes ages to load. I even tried to build ckpt from source with no luck. Maybe it works for x86 .. but I'm running an x86_64. Is there some reason HOL Light doesn't load bytecode? -- John Skaller Felix, successor to C++: http://felix.sf.net