From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 9BC3BBB83; Wed, 13 Sep 2006 04:48:10 +0200 (CEST) Received: from blizzard.cs.caltech.edu (blizzard.cs.caltech.edu [131.215.44.2]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8D2m97q005820; Wed, 13 Sep 2006 04:48:10 +0200 Received: from localhost (flood.cs.caltech.edu [131.215.44.31]) by blizzard.cs.caltech.edu (Postfix) with ESMTP id DDA6E1BB9D7; Tue, 12 Sep 2006 19:48:08 -0700 (PDT) Received: from blizzard.cs.caltech.edu ([131.215.44.2]) by localhost (flood.cs.caltech.edu [131.215.44.31]) (amavisd-new, port 10024) with ESMTP id 03863-02; Tue, 12 Sep 2006 19:48:08 -0700 (PDT) Received: from [192.168.3.10] (70-32-248-48.ontrca.adelphia.net [70.32.248.48]) by blizzard.cs.caltech.edu (Postfix) with ESMTP id ACB7A1BB9B6; Tue, 12 Sep 2006 19:48:08 -0700 (PDT) Message-ID: <45077168.5070408@cs.caltech.edu> Date: Tue, 12 Sep 2006 19:48:08 -0700 From: Aleksey Nogin Organization: California Institute of Technology, Computer Science Department User-Agent: Thunderbird 1.5.0.5 (X11/20060801) MIME-Version: 1.0 To: caml users Cc: Damien Doligez Subject: Re: [Caml-list] 3.09.3 release candidate 2 References: <0A29CC70-FA05-432A-9DF5-8B98F6E573F3@inria.fr> <4E2C1762-63F0-4540-8639-056C1C86528A@inria.fr> In-Reply-To: <4E2C1762-63F0-4540-8639-056C1C86528A@inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 45077169.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; damien:01 camlp:01 camlp:01 hendrik:01 wrote:01 doligez:01 compile:01 caml-list:01 natively:01 natively:01 modules:02 theorem:02 prover:02 compiled:04 compiled:04 On 08.09.2006 07:47, Damien Doligez wrote: > We have decided to make a second release candidate for 3.09.3. > The only changes between rc1 and rc2 are camlp4-related: > > - camlp4: install pa_o_fast.o PR#3812 > - camlp4: install more modules PR#3689 > > We would appreciate if camlp4 users (and particularly Hendrik) could > test this version and report any problems found with it. I was able to compile the MetaPRL theorem prover and run the regression test without any issues. I was using natively compiled MetaPRL that links against the natively compiled camlp4. Aleksey