Version française
Home     About     Download     Resources     Contact us    
Browse thread
Cygwin, OCaml 3.10 and dllunix
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Igor Peshansky <pechtcha@c...>
Subject: Re: [Caml-list] Cygwin, OCaml 3.10 and dllunix
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