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.3 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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id EF266BBC4 for ; Thu, 19 Mar 2009 10:31:02 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYDAO+twUmK54gDgWdsb2JhbACVcwEBFiK8CYN8Bg X-IronPort-AV: E=Sophos;i="4.38,388,1233529200"; d="scan'208";a="36789285" Received: from rouge.crans.org ([138.231.136.3]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 19 Mar 2009 10:31:02 +0100 Received: from localhost (localhost.crans.org [127.0.0.1]) by rouge.crans.org (Postfix) with ESMTP id A02958480; Thu, 19 Mar 2009 10:31:01 +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 B-zDHbM06CM5; Thu, 19 Mar 2009 10:31:01 +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 36EEE8444; Thu, 19 Mar 2009 10:31:01 +0100 (CET) Message-ID: <49C210D5.9000908@glondu.net> Date: Thu, 19 Mar 2009 10:31:01 +0100 From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= User-Agent: Mozilla-Thunderbird 2.0.0.19 (X11/20090103) MIME-Version: 1.0 To: Denis Golovan Cc: tews@tcs.inf.tu-dresden.de, caml-list Subject: Re: [Caml-list] Otags on 3.10 References: <20090314193205.GA26348@dencomp.local> In-Reply-To: <20090314193205.GA26348@dencomp.local> X-Enigmail-Version: 0.95.0 OpenPGP: id=FCE03DAA Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; otags:01 otags:01 ocaml:01 camlp:01 ocaml:01 camlp:01 cheers:01 phane:98 steph:98 5.11:98 phane:98 compile:01 compiles:01 caml-list:01 patches:03 Denis Golovan a =C3=A9crit : > I'd like to ask, is there any chance to make otags compile on OCaml v3.= 10.2 + camlp4o v5.11? >=20 > Now otags-3.09.3.3 just fails with following error (I patch configure t= o skip version check :) ): "Now"? What were you using before? For your information, there is the 3.09.3 which is packaged in Debian and compiles with OCaml 3.10.2 and 3.11.0 with the following patches (it uses camlp5): http://patch-tracking.debian.net/package/otags/3.09.3-2 Cheers, --=20 St=C3=A9phane