From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA04875 for caml-red; Thu, 2 Nov 2000 15:27:32 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA11064 for <caml-list@pauillac.inria.fr>; Tue, 31 Oct 2000 18:27:13 +0100 (MET)
Received: from codex.cis.upenn.edu (CODEX.CIS.UPENN.EDU [158.130.6.15])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id e9VHRC506973
	for <caml-list@inria.fr>; Tue, 31 Oct 2000 18:27:12 +0100 (MET)
Received: (from mwh@localhost)
	by codex.cis.upenn.edu (8.10.1/8.10.1) id e9VHR9018951;
	Tue, 31 Oct 2000 12:27:09 -0500 (EST)
From: Michael Hicks <mwh@dsl.cis.upenn.edu>
Message-Id: <200010311727.e9VHR9018951@codex.cis.upenn.edu>
Subject: Re: autoconf input for ocaml applications
To: Jean-Christophe.Filliatre@lri.fr
Date: Tue, 31 Oct 2000 12:27:08 -0500 (EST)
Cc: caml-list@inria.fr
In-Reply-To: <14846.61458.287540.597548@pc803> from "Jean-Christophe Filliatre" at Oct 31, 2000 05:15:14 pm
X-Mailer: ELM [version 2.4 PL23-upenn3.3]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis@pauillac.inria.fr

> It checks for  ocaml compilers and tools and  determines the following
> variables:

   ...

Thanks for the excellent tool!

Another useful variable to check for, in the case of the byte-code compiler,
is whether it was compiled with native or user-level threads, as the Thread
interface differs for each (e.g. user-threads support the kill operation but
native threads don't), and there are some other, more subtle differences.

Mike

-- 
Michael Hicks
Ph.D. Candidate, the University of Pennsylvania
http://www.cis.upenn.edu/~mwh            mailto://mwh@dsl.cis.upenn.edu
*There was a man who entered a local paper's pun contest; He sent in ten
*different puns, in the hope that at least one of the puns would win.  
*Unfortunately, no pun in ten did.