Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: [Caml-list] Dumping the OCaml state
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-09-30 (00:14)
From: Igor Pechtchanski <pechtcha@c...>
Subject: RE: [Caml-list] Dumping the OCaml state
On Wed, 29 Sep 2004, Harrison, John R wrote:

> Bob Solovay wrote:
> | There used to be a command in Common Lisp "dump" which would store
> | an executable image to a file that could then be restarted. My
> | question is: is there something like this in OCaml.
> As Carl Witty pointed out to me recently, there are quite a few
> checkpointing programs that can dump an arbitrary process so that
> it can be restarted later in the same state. I've recently been
> using "ckpt" to save an OCaml toplevel session with HOL Light
> preloaded, and it works very well. Maybe other OCaml users would
> find the same thing useful. See:
> The only drawback is that this program is Linux-specific. There's
> a long list of alternatives at, but I
> haven't found a suitable one for Windows. If anybody knows of one
> (even if it only works under Cygwin) I'd be very interested.
> John.

Have you tried Cygwin's /bin/dumper.exe?
      |\      _,,,---,,_
ZZZzz /,`.-'`'    -.  ;-;;,_
     |,4-  ) )-,_. ,\ (  `'-'		Igor Pechtchanski, Ph.D.
    '---''(_/--'  `-'\_) fL	a.k.a JaguaR-R-R-r-r-r-.-.-.  Meow!

"Happiness lies in being privileged to work hard for long hours in doing
whatever you think is worth doing."  -- Dr. Jubal Harshaw

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: