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=1.1 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 74AE2BC68 for ; Thu, 28 Sep 2006 20:40:01 +0200 (CEST) Received: from fontus.eecs.berkeley.edu (fontus.EECS.Berkeley.EDU [128.32.48.141]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8SIe08B019058 for ; Thu, 28 Sep 2006 20:40:00 +0200 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-MIMEOLE: Produced By Microsoft Exchange V6.5 Subject: RE: [Caml-list] Compiling latest cvs version of ocaml on cygwin Date: Thu, 28 Sep 2006 11:39:59 -0700 Message-ID: In-Reply-To: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] Compiling latest cvs version of ocaml on cygwin Thread-index: AcbjIslKgovxrVARSiuUsCasE2QYYgAComww From: "George Necula" To: X-Miltered: at concorde with ID 451C1700.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; cvs:01 ocaml:01 cygwin:01 necula:01 necula:01 camlp:01 coq:01 cvs:01 ocaml:01 cygwin:01 camlp:01 cygdrive:01 ocamlrun:01 otherlibs:01 unix:01 Hi,=20 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.=20 =20 Unfortunately, I need camlp4 because I am hacking on Coq. George.=20 > -----Original Message----- > From: Igor Peshansky [mailto:pechtcha@cs.nyu.edu]=20 > 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=20 > ocaml on cygwin >=20 > On Thu, 28 Sep 2006, George Necula wrote: >=20 > > I am trying to compile the latest cvs version of ocaml sources on=20 > > 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=20 > > ../ocaml -I ../stdlib -I ../otherlibs/unix build/build.ml=20 > Cannot load=20 > > 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=20 > did not make=20 > > it in 3.09.3 >=20 > George, >=20 > Neither 3.09.3 nor the current cvs HEAD compiled OOTB under=20 > Cygwin with full fuctionality. I've made some changes that=20 > enabled dynamic loading, etc, for the currently released=20 > package. I also had a more extensive set of changes that=20 > allowed a more seamless integration with Cygwin, but those=20 > apparently broke the one major user of O'Caml under Cygwin=20 > (namely Unison), and I had no chance to investigate that. I=20 > don't have much time to work on it right now, but I can=20 > certainly send you the patch I used. > Please let me know if you succeed in adapting it for cvs HEAD. >=20 > Igor Peshansky, the Cygwin O'Caml maintainer > --=20 > http://cs.nyu.edu/~pechtcha/ > |\ _,,,---,,_ pechtcha@cs.nyu.edu |=20 > igor@watson.ibm.com > ZZZzz /,`.-'`' -. ;-;;,_ Igor Peshansky, Ph.D.=20 > (name changed!) > |,4- ) )-,_. ,\ ( `'-' old name: Igor Pechtchanski > '---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow! >=20 > "Las! je suis sot... -Mais non, tu ne l'es pas, puisque tu=20 > t'en rends compte." > "But no -- you are no fool; you call yourself a fool, there's=20 > proof enough in that!" -- Rostand, "Cyrano de Bergerac" >=20