Version française
Home     About     Download     Resources     Contact us    
Browse thread
RE: [Caml-list] toplevel with pre-installed printers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: RE: [Caml-list] toplevel with pre-installed printers
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 <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net