ubuntu ocaml missing unix module

ubuntu ocaml missing unix module

[Brendan Miller]

[-- Attachment #1: Type: text/plain, Size: 440 bytes --]

has anyone else run into this? on ocaml 3.08.3-3ubuntu5(breazy) the
implementation of the Unix module doesn't seem to be included. I get this
error when trying to use functions in UnixLabels or Unix

No implementations provided for the following modules:
  UnixLabels referenced from net.cmx

anyone know how to fix this? I'm a little frustrated, as I don't want to
remove this package and mess up everything that depends on it...

[-- Attachment #2: Type: text/html, Size: 469 bytes --]

Re: [Caml-list] ubuntu ocaml missing unix module

[Erik de Castro Lopo]

Brendan Miller wrote:

> has anyone else run into this? on ocaml 3.08.3-3ubuntu5(breazy) the
> implementation of the Unix module doesn't seem to be included.

I'm running Breezy and I've got:

    erikd@mingus > ls -l /usr/lib/ocaml/3.08.3/unix.*
    -rw-r--r--  1 root root 59880 Aug 24  2005 /usr/lib/ocaml/3.08.3/unix.a
    -rw-r--r--  1 root root 22277 Aug 24  2005 /usr/lib/ocaml/3.08.3/unix.cma
    -rw-r--r--  1 root root 20956 Aug 24  2005 /usr/lib/ocaml/3.08.3/unix.cmi
    -rw-r--r--  1 root root 10054 Aug 24  2005 /usr/lib/ocaml/3.08.3/unix.cmx
    -rw-r--r--  1 root root   698 Aug 24  2005 /usr/lib/ocaml/3.08.3/unix.cmxa
    -rw-r--r--  1 root root 52002 Aug 24  2005 /usr/lib/ocaml/3.08.3/unix.mli

> I get this
> error when trying to use functions in UnixLabels or Unix
> 
> No implementations provided for the following modules:
>   UnixLabels referenced from net.cmx
> 
> anyone know how to fix this? I'm a little frustrated, as I don't want to
> remove this package and mess up everything that depends on it...

I've never used the UnixLabels module, but I do know that if I want
to use the Unix module (and some others like Str) I have to explicitly
link it by adding unix.cmxa to the link line so that I have something
like this in my Makefile:

    $(OCAMLOPT) -o <target exeutable> str.cmxa <list of .cmx files>

HTH,
Erik
-- 
+-----------------------------------------------------------+
  Erik de Castro Lopo
+-----------------------------------------------------------+
Dar al-Harb : http://en.wikipedia.org/wiki/Dar_al-Harb