From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id A5D72BBA7 for ; Wed, 23 Nov 2005 13:08:13 +0100 (CET) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.173]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jANC8DQF025092 for ; Wed, 23 Nov 2005 13:08:13 +0100 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1EetPq-0005k3-00; Wed, 23 Nov 2005 13:07:58 +0100 Received: from [84.58.139.31] (helo=gate.lan.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1EetPq-0003O1-00; Wed, 23 Nov 2005 13:07:58 +0100 Received: from gps.dynxs.de (localhost [127.0.0.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 2FB93C097; Wed, 23 Nov 2005 13:07:58 +0100 (CET) Received: from 192.168.1.2 (proxying for 194.127.8.19) (SquirrelMail authenticated user gerd) by gps.dynxs.de with HTTP; Wed, 23 Nov 2005 13:07:58 +0100 (CET) Message-ID: <3614.192.168.1.2.1132747678.squirrel@gps.dynxs.de> In-Reply-To: <20051123090420.GC24721@aquarium.takhisis.invalid> References: <20051121225903.0551f20e@crazy.kos.nx> <2659.192.168.1.2.1132656882.squirrel@gps.dynxs.de> <4382FDEE.5010708@enix.org> <2483.192.168.1.2.1132736197.squirrel@gps.dynxs.de> <20051123090420.GC24721@aquarium.takhisis.invalid> Date: Wed, 23 Nov 2005 13:07:58 +0100 (CET) Subject: Re: [Caml-list] Trouble with findlib and threads From: "Gerd Stolpmann" To: "Stefano Zacchiroli" Cc: caml-list@yquem.inria.fr, caml-list@inria.fr User-Agent: SquirrelMail/1.4.4 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at nez-perce with ID 43845BAD.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 findlib:01 threads:01 gerd:01 stolpmann:01 zacchiroli:01 gerd:01 stolpmann:01 findlib:01 posix:01 threading:01 bug:01 ocaml:01 threads:01 posix:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Stefano Zacchiroli said: > On Wed, Nov 23, 2005 at 09:56:37AM +0100, Gerd Stolpmann wrote: >> Yes, very useful. Obviously, the printed warning prevents findlib from >> detecting posix threading. This is a bug in findlib-1.1. >> >> You can work around this by setting the variable OCAML_THREADS=3Dposix= in >> Makefile.config. > > Is this a fair choice on on all Linux based systems? Yes. Gerd > > /me wondering to set this in the findlib Debian package ... > > -- > Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Ital= y > zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack= / > If there's any real truth it's that the entire multidimensional infinit= y > of the Universe is almost certainly being run by a bunch of maniacs. -!= - > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------