From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA30933; Wed, 2 Oct 2002 10:04:50 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA31074 for caml-list@pauillac.inria.fr; Wed, 2 Oct 2002 10:04:49 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA06159 for ; Tue, 1 Oct 2002 12:20:54 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.44.193]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g91AKr513741; Tue, 1 Oct 2002 12:20:53 +0200 (MET DST) Received: from lambda.u-strasbg.fr (lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.12.3/8.12.3/Debian -4) with ESMTP id g91AKl0q026444; Tue, 1 Oct 2002 12:20:47 +0200 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.36 #1 (Debian)) id 17wKGv-0002Co-00; Tue, 01 Oct 2002 12:28:57 +0200 Date: Tue, 1 Oct 2002 12:28:57 +0200 To: Xavier Leroy Cc: Alessandro Baretta , Micha?l Gr?newald , caml-list@inria.fr Subject: Re: [Caml-list] Re: Kinds of threads Message-ID: <20021001102857.GA8452@lambda.u-strasbg.fr> References: <3D98559D.2060100@baretta.com> <87wup3ecb2.fsf@ketanu.dyndns.org> <3D9953EC.3030604@baretta.com> <20021001111238.B3571@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20021001111238.B3571@pauillac.inria.fr> User-Agent: Mutt/1.4i From: Sven Luther Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, Oct 01, 2002 at 11:12:38AM +0200, Xavier Leroy wrote: > > The docs say that there are two kinds of threads in O'Caml: > > Ocaml bytecode threads and POSIX threads, and that it is > > possible to select which implementation to use at compiler > > build time. Two questions: first, what is the implementation > > chosen in the ocaml RPM distribution > > The RPMs distributed by INRIA use bytecode threads. That might not be > true of RPMs and Debian packages built by third parties. I build debian packages with the --with-pthread option, so this means POSIX threads. Friendly, Sven Luther ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners