Version française
Home     About     Download     Resources     Contact us    
Browse thread
Compiling latest cvs version of ocaml on cygwin
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: George Necula <necula@e...>
Subject: RE: [Caml-list] Compiling latest cvs version of ocaml on cygwin

 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"
>