caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>
Cc: OCaml Mailing List <caml-list@inria.fr>
Subject: AW: [Caml-list] GODI, netsys and vmthreads
Date: Wed, 27 Jun 2012 15:34:40 +0200	[thread overview]
Message-ID: <1340804080.3519.13@samsung> (raw)
In-Reply-To: <4FEAE352.8080905@gmail.com> (from 5764c029b688c1c0d24a2e97cd764f@gmail.com on Wed Jun 27 12:41:22 2012)

Am 27.06.2012 12:41:22 schrieb(en) Matej Kosik:
> Dear all,
> 
> Is netsys package expected to work with -vmthreads?

No, like most other libraries that interface with the OS. That means,  
even if the checksum mismatch (i.e. the error you see) did not exist,  
you would not have much fun with Netsys.

Gerd



> When I try it, e.g.:
> 
>   ocamlfind c -vmthread -o main -linkpkg -package netsys main.ml
> 
> I get the following error:
> 
>   File "main.ml", line 1, characters 0-1:
>   Error: Files
> .../godi/lib/ocaml/pkg-lib/netsys/netsys_oothr_mt.cma(Netsys_oothr_mt)
>        and .../godi/lib/ocaml/std-lib/vmthreads/threads.cma(Thread)
>        make inconsistent assumptions over interface Thread
>   make: *** [main] Error 2
> 
> Note that with -threads the whole thing compiles fine.
> 
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 
> 
> 



-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------

      reply	other threads:[~2012-06-27 13:34 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-06-27 10:41 Matej Kosik
2012-06-27 13:34 ` Gerd Stolpmann [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1340804080.3519.13@samsung \
    --to=info@gerd-stolpmann.de \
    --cc=5764c029b688c1c0d24a2e97cd764f@gmail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).