The topic has a long history [1], but since then nothing has actually changed. It&#39;s easy to understand: INRIA people are busy and there are probably quite few Ocaml users in the Windows land to worry about. So I decided to do something myself :) (as it was with mingw port several years ago).<br>
 <br>Let&#39;s go into detail. Ocam debugger consists of the the two parts: the client (byterun/debugger.c linked into debuggee) and the server (ocamldebug). The following issues should be addressed to make a Windows port:<br>
 <br>1. Checkpointing is done via Unix fork() (client)<br><br>The most problematic one. I have spend a fair amount of time trying to find an acceptable solution.<br>a) direct port of fork() to Windows. There is a BSD-licenced Windows fork() in tcsh sources [2] that could be used. It&#39;s based on Cygwin ideas. But how to handle dynamically loaded DLLs (loaded via LoadLibrary())? I asked the author (Amol Deshpande) and he replied:<br>
<br>&quot;DLLs that are dynamically loaded are a can of worms.  I would not support those if I were you.&quot;<br><br>BTW, does Cygwin do this right? I doubt at least.<br><br>b) some checkpoint library. Although Web search gives many references, e.g. [3], I have not found yet anything ready-to-use, even commercial!<br>
 <br>2. Unix select (server)<br><br>It is a problem because server waits for network and console events simultaneously. To work on Windows the main loop should probably be multi-threaded.<br><br>3. Unix sockets (client &amp; server)<br>
<br>Probably can be ignored. Internet sockets are quite enough.<br><br>So what is done now.<br><br>- Client<br><br>It&#39;s ported without (1) and (3). To me it&#39;s quite usable even without checkpoints.<br><br>- Server<br>
<br>I don&#39;t bother to do (2) right now (until the whole idea is accepted). Currently I use cygwin-compiled ocamldebug with checkpoints and Unix sockets disabled by default. It works well with the native Win32 clients.<br>
<br>- OcaIDE<br><br>Yes, with minor changes in OcaIDE the debugged works there.<br><br>If it&#39;s interesting for anyone I can publish a patch against Ocaml 3.10.1<br><br>- Dmitry Bely<br><br> [1] <a href="http://caml.inria.fr/pub/ml-archives/caml-list/1999/03/f44178e212e78826bcbdee52ddf6fd91.en.html">http://caml.inria.fr/pub/ml-archives/caml-list/1999/03/f44178e212e78826bcbdee52ddf6fd91.en.html</a><br>
     <a href="http://caml.inria.fr/pub/ml-archives/caml-list/2002/10/ed776d7376ed7a9676d4a9981372ccdf.fr.html">http://caml.inria.fr/pub/ml-archives/caml-list/2002/10/ed776d7376ed7a9676d4a9981372ccdf.fr.html</a><br> <br>[2] <a href="http://www.tcsh.org/MostRecentRelease">http://www.tcsh.org/MostRecentRelease</a><br>
<br>[3] <a href="http://www.usenix.org/publications/library/proceedings/usenix-nt98/full_papers/srouji/srouji_html/srouji.html">http://www.usenix.org/publications/library/proceedings/usenix-nt98/full_papers/srouji/srouji_html/srouji.html</a><br>