Cygwin, OCaml 3.10 and dllunix

Cygwin, OCaml 3.10 and dllunix

[Joel Reymont]

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


--
http://topdog.cc      - EasyLanguage to C# compiler
http://wagerlabs.com  - Blog

Re: [Caml-list] Cygwin, OCaml 3.10 and dllunix

[Igor Peshansky]

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

Re: [Caml-list] Cygwin, OCaml 3.10 and dllunix

[Alain Frisch]

Igor Peshansky wrote:
> 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.

I confirm that the natdynlink branch allows to load C stub DLLs (so that
you don't need custom runtimes or toplevels), including with Cygwin.
Note that this is largely independant of the port of Dynlink into native
code.

-- Alain

Re: [Caml-list] Cygwin, OCaml 3.10 and dllunix

[Philippe Wang]

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
>
>
> -- 
> http://topdog.cc      - EasyLanguage to C# compiler
> http://wagerlabs.com  - Blog

Hi,

It seems you want to load modules with the top level ("ocaml" command), 
but your system doesn't allow dynamic loading...

So I suggest you to use ocamlmktop.
It allows you to create a toplevel with the required libraries.

http://caml.inria.fr/pub/docs/manual-ocaml/manual023.html#htoc113

--
Philippe Wang
  mail[at]philippewang.info