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 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 60D9EBC69 for ; Mon, 2 Jul 2007 15:57:56 +0200 (CEST) Received: from access1.cims.nyu.edu (ACCESS1.CIMS.NYU.EDU [128.122.81.155]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l62DvslG002481 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Mon, 2 Jul 2007 15:57:55 +0200 Received: from localhost (localhost [127.0.0.1]) by access1.cims.nyu.edu (8.13.8+Sun/8.13.8) with ESMTP id l62DvrBj027327; Mon, 2 Jul 2007 09:57:53 -0400 (EDT) Date: Mon, 2 Jul 2007 09:57:52 -0400 (EDT) From: Igor Peshansky X-X-Sender: pechtcha@access1.cims.nyu.edu Reply-To: caml-list To: Joel Reymont Cc: caml-list Subject: Re: [Caml-list] Cygwin, OCaml 3.10 and dllunix In-Reply-To: Message-ID: References: Importance: Normal MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 46890462.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cygwin:01 ocaml:01 dllunix:01 cygwin:01 usr:01 lib:01 ocaml:01 dllunix:01 usr:01 lib:01 site-lib:01 site-lib:01 unix':01 o'caml:01 3.08:01 On Mon, 2 Jul 2007, Joel Reymont wrote: > How would I resolve this error under Cygwin? > > /usr/local/lib/ocaml/unix.cma: loaded > Cannot load required shared library dllunix. > Reason: dllunix.so: dynamic loading not supported on this platform. > /usr/local/lib/ocaml/site-lib/oUnit: added to search path > /usr/local/lib/ocaml/site-lib/oUnit/oUnit.cma: loaded > Reference to undefined global `Unix' > > Thanks, Joel You'd fix the dynamic loading mechanism to work in Cygwin. I have started in that direction with O'Caml 3.08 (but the version I built broke Unison, so it never got released -- I can send you my patches if you're interested). Alain Frisch also announced having ported the Dynlink module to Windows, which could be used in the Cygwin version. But the bottom line is that nobody has made it work yet. Igor -- 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! Belief can be manipulated. Only knowledge is dangerous. -- Frank Herbert