From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id EABCB7FA4D for ; Fri, 1 Aug 2014 18:32:05 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Kim.Nguyen@lri.fr) identity=pra; client-ip=129.175.212.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="Kim.Nguyen@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Kim.Nguyen@lri.fr) identity=mailfrom; client-ip=129.175.212.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="Kim.Nguyen@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mx2.u-psud.fr) identity=helo; client-ip=129.175.212.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="postmaster@mx2.u-psud.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtIBAFfA21OBr9RBnGdsb2JhbABbg19XBMwIh1ABgQMIFhABAQEBAQgLCQkUKYQEAQV5EAsLAwouAiATBR0GE4hCyhoXjzEbB4RLAQSSeYFJhziBVIVNi1+FJWo X-IPAS-Result: AtIBAFfA21OBr9RBnGdsb2JhbABbg19XBMwIh1ABgQMIFhABAQEBAQgLCQkUKYQEAQV5EAsLAwouAiATBR0GE4hCyhoXjzEbB4RLAQSSeYFJhziBVIVNi1+FJWo X-IronPort-AV: E=Sophos;i="5.01,780,1400018400"; d="scan'208";a="87954833" Received: from mx2.u-psud.fr ([129.175.212.65]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Aug 2014 18:32:05 +0200 Received: from mx2.u-psud.fr (mx2 [127.0.0.1]) by localhost (MTA) with SMTP id 215BD30280C for ; Fri, 1 Aug 2014 18:32:05 +0200 (CEST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx2.u-psud.fr (MTA) with ESMTPS id D263B301D8C for ; Fri, 1 Aug 2014 18:32:04 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id B3074406CE for ; Fri, 1 Aug 2014 18:32:04 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id aEgkIVBiRT7j for ; Fri, 1 Aug 2014 18:32:04 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id 4335240B8C for ; Fri, 1 Aug 2014 18:32:04 +0200 (CEST) Received: by mail-ie0-f177.google.com with SMTP id at20so6207108iec.22 for ; Fri, 01 Aug 2014 09:32:02 -0700 (PDT) X-Gm-Message-State: ALoCoQmWbGf44YbQDq2Vvg2h2rv+V/QqK/85lK9uOjfdeg4cg5zfCyTnhUdOmRYoToieKec5TbTY X-Received: by 10.42.148.73 with SMTP id q9mr8684393icv.88.1406910722742; Fri, 01 Aug 2014 09:32:02 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.25.200 with HTTP; Fri, 1 Aug 2014 09:31:22 -0700 (PDT) In-Reply-To: References: <20140801141228.GC8964@annexia.org> From: =?UTF-8?B?S2ltIE5ndXnhu4Vu?= Date: Fri, 1 Aug 2014 18:31:22 +0200 Message-ID: To: Jeremie Dimino Cc: "Richard W.M. Jones" , "caml-list@inria.fr" Content-Type: multipart/mixed; boundary=90e6ba476833dc497b04ff93edee X-Validation-by: kim.nguyen@lri.fr Subject: Re: [Caml-list] Bug in camlp4 4.02 ? [ was: cduce on ocaml 4.02 ] --90e6ba476833dc497b04ff93edee Content-Type: text/plain; charset=ISO-8859-1 Hi On Fri, Aug 1, 2014 at 5:11 PM, Jeremie Dimino wrote: > Could you fill an issue there: https://github.com/ocaml/camlp4 ? Done, this is issue #42. As explained in the bug report, using the ocamlfind package "camlp4.extend" fixes the issue for us. For those interested I'm attaching a patch that allows one to compile cduce with the current ocaml trunk (I only tested using the 4.02.0+trunk switch of opam). Cheers, -- Kim --90e6ba476833dc497b04ff93edee Content-Type: text/x-patch; charset=US-ASCII; name="cduce_ocaml_4.02.0.patch" Content-Disposition: attachment; filename="cduce_ocaml_4.02.0.patch" Content-Transfer-Encoding: base64 X-Attachment-Id: f_hybq63u40 ZGlmZiAtdXByTlogY2R1Y2UtMC42LjAvTWFrZWZpbGUuZGlzdHJpYiBjZHVj ZS0wLjYuMS9NYWtlZmlsZS5kaXN0cmliCi0tLSBjZHVjZS0wLjYuMC9NYWtl ZmlsZS5kaXN0cmliCTIwMTQtMDMtMDUgMTQ6NDk6MTcuMDAwMDAwMDAwICsw MTAwCisrKyBjZHVjZS0wLjYuMS9NYWtlZmlsZS5kaXN0cmliCTIwMTQtMDgt MDEgMTg6MTU6MTQuNjA2Njc5OTYzICswMjAwCkBAIC0xNyw3ICsxNyw3IEBA IGlmZXEgKCQoTkFUSVZFKSx0cnVlKQogYWxsOiBjZHVjZV9saWIuY214YQog ZW5kaWYKIAotUEFDS0FHRVMgPSBkeW5saW5rIGNhbWxwNCB1bGV4IHBjcmUg bnVtIG5ldHN0cmluZyAKK1BBQ0tBR0VTID0gZHlubGluayBjYW1scDQgY2Ft bHA0LmV4dGVuZCB1bGV4IHBjcmUgbnVtIG5ldHN0cmluZyAKIAogIyBDYWxs IG1ha2Ugd2l0aCBWRVJCT1NFPXRydWUgdG8gZ2V0IGEgdHJhY2Ugb2YgY29t bWFuZHMKIApAQCAtNDEsMTQgKzQxLDE0IEBAIFNZTlRBWF9QQVJTRVIgPSAt c3ludGF4IGNhbWxwNG8gJChTWU5UQVgKIENBTUxDX1AgPSBvY2FtbGMgLWcK IERFUEVORF9PQ0FNTERFUCA9IG1pc2MvcV9zeW1ib2wuY21vCiBpZmVxICgk KFBST0ZJTEUpLCB0cnVlKQotICBDQU1MT1BUX1AgPSBvY2FtbG9wdCAtcCAt aW5saW5lIDEwMDAwCisgIENBTUxPUFRfUCA9IG9jYW1sb3B0IC1wIC1pbmxp bmUgMTAwCiAgIGlmZXEgKCQoTkFUSVZFKSwgZmFsc2UpIAogICAgIENBTUxD X1AgPSBvY2FtbGNwIC1wIGEKICAgICBTWU5UQVhfUEFSU0VSID0gCiAgICAg REVQRU5EX09DQU1MREVQID0KICAgZW5kaWYKIGVsc2UKLSAgQ0FNTE9QVF9Q ID0gb2NhbWxvcHQgLWlubGluZSAxMDAwMAorICBDQU1MT1BUX1AgPSBvY2Ft bG9wdCAtaW5saW5lIDEwMAogZW5kaWYKIAogT1BUID0gLXdhcm4tZXJyb3Ig RlBTWFkKZGlmZiAtdXByTlogY2R1Y2UtMC42LjAvcGFyc2VyL3BhcnNlci5t bCBjZHVjZS0wLjYuMS9wYXJzZXIvcGFyc2VyLm1sCi0tLSBjZHVjZS0wLjYu MC9wYXJzZXIvcGFyc2VyLm1sCTIwMTQtMDMtMDUgMTQ6NDk6MTcuMDAwMDAw MDAwICswMTAwCisrKyBjZHVjZS0wLjYuMS9wYXJzZXIvcGFyc2VyLm1sCTIw MTQtMDgtMDEgMTg6MTQ6NTIuODIyNjgwNDQ5ICswMjAwCkBAIC0xLDQgKzEs MyBAQAotI2xvYWQgInBhX2V4dGVuZC5jbW8iOzsKIAogb3BlbiBDZHVjZV9s b2MKICgqIGxldCByYWlzZSA9IFBlcnZhc2l2ZXMucmFpc2UgKikK --90e6ba476833dc497b04ff93edee--