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.4 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id C5985BB84 for ; Tue, 9 Dec 2008 10:32:38 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.33,740,1220220000"; d="scan'208";a="21000382" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Dec 2008 10:32:38 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mB99VqDK019102 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 9 Dec 2008 10:31:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As8DAGfJPUmK54gDgWdsb2JhbACTXgEBFiK8AIMF X-IronPort-AV: E=Sophos;i="4.33,740,1220220000"; d="scan'208";a="18196992" Received: from rouge.crans.org ([138.231.136.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 09 Dec 2008 10:30:16 +0100 Received: from localhost (localhost.crans.org [127.0.0.1]) by rouge.crans.org (Postfix) with ESMTP id DB79C8073; Tue, 9 Dec 2008 10:30:15 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at crans.org Received: from rouge.crans.org ([10.231.136.3]) by localhost (rouge.crans.org [10.231.136.3]) (amavisd-new, port 10024) with LMTP id aMudgngXxMp8; Tue, 9 Dec 2008 10:30:15 +0100 (CET) Received: from [88.185.141.188] (korell.glondu.net [88.185.141.188]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by rouge.crans.org (Postfix) with ESMTP id 94D4D8060; Tue, 9 Dec 2008 10:30:14 +0100 (CET) Message-ID: <493E3AA5.7060904@glondu.net> Date: Tue, 09 Dec 2008 10:30:13 +0100 From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= User-Agent: Mozilla-Thunderbird 2.0.0.17 (X11/20081018) MIME-Version: 1.0 To: Richard Jones Cc: caml-list@inria.fr, debian-ocaml-maint@lists.debian.org, fedora-ocaml-list@redhat.com Subject: Re: Notes from testing OCaml 3.11.0+beta1 on Fedora References: <20081121104612.GA12459@annexia.org> In-Reply-To: <20081121104612.GA12459@annexia.org> X-Enigmail-Version: 0.95.0 OpenPGP: id=FCE03DAA Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Miltered: at discorde with ID 493E3B08.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 coq:01 camlp:01 ocamlc:01 lib:01 mli:01 ocamlc:01 lib:01 camlp:01 cheers:01 phane:98 steph:98 phane:98 wrote:01 preprocessor:01 Richard Jones wrote: > coq > ------------------------------ >=20 > Strange camlp4 problem, not yet resolved. Maybe just a missing > BuildRequires: >=20 > OCAMLC lib/pp.mli > OCAMLC4 lib/pp.ml4 > sh: camlp4o: command not found > File "lib/pp.ml4", line 1, characters 0-1: > Error: Preprocessor error This is probably because configure doesn't detect it should use camlp5 instead of camlp4. It is already fixed upstream (and will be in (hopefully) forthcoming 8.2). Meanwhile, it can be worked around by explicitly passing -camlp5dir option to it. Cheers, --=20 St=C3=A9phane