Hi,

If you're stuck using windows but needing unix/linux then I'd recommend 
colinux:

http://www.colinux.org/

Takes a bit to install and set up but in my experience has provided a 
nearly flawless linux environment.

Cheers,

Andy



George Necula wrote:
>  Hi, 
>
>    Ok, I am glad that I am not alone. For now I use 3.09.3 (which
> compiled for me) and I will watch out for announcements when I can
> compile the HEAD of the revision tree. 
>     
>     Unfortunately, I need camlp4 because I am hacking on Coq.
>
> George. 
>
>   
>> -----Original Message-----
>> From: Igor Peshansky [mailto:pechtcha@cs.nyu.edu] 
>> Sent: Thursday, September 28, 2006 10:23 AM
>> To: George Necula
>> Cc: caml-list@yquem.inria.fr
>> Subject: Re: [Caml-list] Compiling latest cvs version of 
>> ocaml on cygwin
>>
>> On Thu, 28 Sep 2006, George Necula wrote:
>>
>>     
>>>  I am trying to compile the latest cvs version of ocaml sources on 
>>> cygwin. I get the following error messag:
>>>
>>> cd camlp4; make all
>>> make[1]: Entering directory
>>> `/cygdrive/c/Programs/ocaml-cvs-cygwin/camlp4'
>>> ../boot/ocamlrun -I ../otherlibs/unix -I ../otherlibs/win32unix 
>>> ../ocaml -I ../stdlib -I ../otherlibs/unix build/build.ml 
>>>       
>> Cannot load 
>>     
>>> required shared library dllunix.
>>> Reason: dynamic loading not supported on this platform.
>>> Reference to undefined global `Unix'
>>>
>>>   Does anybody know if there is an easy fix?
>>>
>>>   BTW, I need the cvs version because of some fixes that 
>>>       
>> did not make 
>>     
>>> it in 3.09.3
>>>       
>> George,
>>
>> Neither 3.09.3 nor the current cvs HEAD compiled OOTB under 
>> Cygwin with full fuctionality.  I've made some changes that 
>> enabled dynamic loading, etc, for the currently released 
>> package.  I also had a more extensive set of changes that 
>> allowed a more seamless integration with Cygwin, but those 
>> apparently broke the one major user of O'Caml under Cygwin 
>> (namely Unison), and I had no chance to investigate that.  I 
>> don't have much time to work on it right now, but I can 
>> certainly send you the patch I used.
>> Please let me know if you succeed in adapting it for cvs HEAD.
>>
>> Igor Peshansky, the Cygwin O'Caml maintainer
>> -- 
>> 				http://cs.nyu.edu/~pechtcha/
>>       |\      _,,,---,,_	    pechtcha@cs.nyu.edu | 
>> igor@watson.ibm.com
>> ZZZzz /,`.-'`'    -.  ;-;;,_		Igor Peshansky, Ph.D. 
>> (name changed!)
>>      |,4-  ) )-,_. ,\ (  `'-'		old name: Igor Pechtchanski
>>     '---''(_/--'  `-'\_) fL	a.k.a JaguaR-R-R-r-r-r-.-.-.  Meow!
>>
>> "Las! je suis sot... -Mais non, tu ne l'es pas, puisque tu 
>> t'en rends compte."
>> "But no -- you are no fool; you call yourself a fool, there's 
>> proof enough in that!" -- Rostand, "Cyrano de Bergerac"
>>
>>     
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>
>