From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 2E9CC7ED46 for ; Wed, 27 Jun 2012 15:34:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjEDAHQL60/U4xEJk2dsb2JhbABFpUaQYSIBAQEBCQkLCRQDJIIYAQEEATo0CwU7XQkSBhMJCYdrAwYJB698A4lYFIsjhgoDjTaJDpFS X-IronPort-AV: E=Sophos;i="4.77,483,1336341600"; d="scan'208";a="148929320" Received: from moutng.kundenserver.de ([212.227.17.9]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Jun 2012 15:34:43 +0200 Received: from office1.lan.sumadev.de (dslb-084-059-068-192.pools.arcor-ip.net [84.59.68.192]) by mrelayeu.kundenserver.de (node=mrbap2) with ESMTP (Nemesis) id 0MfB7K-1SU0CG3EHS-00OJ9a; Wed, 27 Jun 2012 15:34:42 +0200 Received: from samsung (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 45DEDC00D1; Wed, 27 Jun 2012 15:34:42 +0200 (CEST) Date: Wed, 27 Jun 2012 15:34:40 +0200 From: Gerd Stolpmann To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Cc: OCaml Mailing List In-Reply-To: <4FEAE352.8080905@gmail.com> (from 5764c029b688c1c0d24a2e97cd764f@gmail.com on Wed Jun 27 12:41:22 2012) X-Mailer: Balsa 2.4.11 Message-Id: <1340804080.3519.13@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:PxBI+tS3FzR0YVN2i1Fy1YwBzinAey3roDgG+r0UAE8 C+YJfvOte16gj7VeIVIKgsEvq5BWaVpF0aD9rqxRF90UL6pjoe lmmIxWDTjfefw14XpUto1zyEhRDiunERAlPpwaf13wYj/JCRjw bBJHV+oBogH3z92CYi/EVu5MAjDAfAQRJu5FpzEBB5mRGj+C6Z sR/2ZfgcL7WEdMayXtoOPR+aD2VF1sCWzB5i+sVcFDeFgzOVfZ 3HdtKlPoyzV1W9f+5bKku+Wg3YsgjEgvzgGkcoLEJDrliDuea2 Q7896f++tfnwyfLWVg5fu3eBLiR5aVLeV/32ljW/HvPp/yIeap sjgM2es1g3zziQ/xYB94= Subject: AW: [Caml-list] GODI, netsys and vmthreads Am 27.06.2012 12:41:22 schrieb(en) Matej Kosik: > Dear all, >=20 > Is netsys package expected to work with -vmthreads? No, like most other libraries that interface with the OS. That means,=20=20 even if the checksum mismatch (i.e. the error you see) did not exist,=20=20 you would not have much fun with Netsys. Gerd > When I try it, e.g.: >=20 > ocamlfind c -vmthread -o main -linkpkg -package netsys main.ml >=20 > I get the following error: >=20 > 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 >=20 > Note that with -threads the whole thing compiles fine. >=20 > -- > 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 >=20 >=20 >=20 --=20 ------------------------------------------------------------ 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 ------------------------------------------------------------=