From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 4AABDBC68 for ; Fri, 29 Sep 2006 04:20:57 +0200 (CEST) Received: from smtp-out2.blueyonder.co.uk (smtp-out2.blueyonder.co.uk [195.188.213.5]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8T2Kq7K004110 for ; Fri, 29 Sep 2006 04:20:57 +0200 Received: from [172.23.170.141] (helo=anti-virus02-08) by smtp-out2.blueyonder.co.uk with smtp (Exim 4.52) id 1GT7zS-0000r2-7B; Fri, 29 Sep 2006 03:20:38 +0100 Received: from [80.192.46.198] (helo=[192.168.10.130]) by asmtp-out2.blueyonder.co.uk with esmtpa (Exim 4.52) id 1GT7zI-00011y-Ic; Fri, 29 Sep 2006 03:20:28 +0100 Message-ID: <451C82D8.5020004@4i2i.com> Date: Fri, 29 Sep 2006 03:20:08 +0100 From: Andy Ray User-Agent: Thunderbird 1.5.0.7 (Windows/20060909) MIME-Version: 1.0 To: George Necula Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Compiling latest cvs version of ocaml on cygwin References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 451C8304.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; cvs:01 ocaml:01 cygwin:01 unix:01 cheers:01 necula:01 camlp:01 coq:01 necula:01 cvs:01 ocaml:01 cygwin:01 camlp:01 cygdrive:01 ocamlrun:01 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 > > >