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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 242217F787 for ; Tue, 8 Nov 2016 17:18:18 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christophe@raffalli.eu; spf=Fail smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mailler06.lws-hosting.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christophe@raffalli.eu) identity=pra; client-ip=80.248.217.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; x-conformance=sidf_compatible Received-SPF: Fail (mail3-smtp-sop.national.inria.fr: domain of christophe@raffalli.eu does not designate 80.248.217.196 as permitted sender) identity=mailfrom; client-ip=80.248.217.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailler06.lws-hosting.com) identity=helo; client-ip=80.248.217.196; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="postmaster@mailler06.lws-hosting.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5bhlJBO7t4hywPm9Pvol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KPr4rarrMEGX3/hxlliBBdydsKMezbuI+P26EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkIt?= =?us-ascii?q?f6KuS9SU3pr8irr60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdr?= =?us-ascii?q?ce72ppIVWOg0S0vZ/or9YwuxhX7rgq/stEFKH7ZLgQTLpCDT1gPXp/rJngvBzH?= =?us-ascii?q?CA+O/Wc0U2MMkxMODRKTvz/gWZKkmSvgt/Fh3zGaMIXMRL46UDCm7u8/Qx/yiT?= =?us-ascii?q?wbMCY5/UnNg8J+haZfoVSsukoskMbvfIiJOa8mLevmdtQASD8ZUw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AtAACQ+iFYbcTZ+FBdHgYMgy8BAQEBA?= =?us-ascii?q?R9Yf7kSggghiBQ/FAEBAQEBAQEBAQEBEg0LCQcfJQuCMxiCQIESIQIRTohvBKI?= =?us-ascii?q?qj3qCQItwDpIpCy2CXAWISIdOihmGNooHC2eBVY1YkTYehBAMAYI/cYc6AQEB?= X-IPAS-Result: =?us-ascii?q?A0AtAACQ+iFYbcTZ+FBdHgYMgy8BAQEBAR9Yf7kSggghiBQ?= =?us-ascii?q?/FAEBAQEBAQEBAQEBEg0LCQcfJQuCMxiCQIESIQIRTohvBKIqj3qCQItwDpIpC?= =?us-ascii?q?y2CXAWISIdOihmGNooHC2eBVY1YkTYehBAMAYI/cYc6AQEB?= X-IronPort-AV: E=Sophos;i="5.31,462,1473112800"; d="asc'?scan'208";a="199651011" Received: from mailler06.lws-hosting.com ([80.248.217.196]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Nov 2016 17:18:02 +0100 Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter3.lws (Postfix) with ESMTP id BD57A1D80AAD for ; Tue, 8 Nov 2016 17:18:01 +0100 (CET) Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter2.lws (Postfix) with ESMTP id A3F2F1D80BD8 for ; Tue, 8 Nov 2016 17:18:01 +0100 (CET) Received: from mailler06.lws-hosting.com (ip6-localhost [127.0.0.1]) by filter1.lws (Postfix) with ESMTP id 1321A1D80AAD for ; Tue, 8 Nov 2016 17:18:01 +0100 (CET) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on mailler06.lws-hosting.com X-Spam-Level: ***** X-Spam-Virus: No Received: from raffalli.eu (vps29067.lws-hosting.com [192.162.68.177]) by mailler06.lws-hosting.com (Postfix) with ESMTP id 0AC901D80BD8 for ; Tue, 8 Nov 2016 17:18:01 +0100 (CET) Received: from localhost (nat-maths.univ-savoie.fr [193.48.123.14]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by raffalli.eu (Postfix) with ESMTPSA id CBFF13520811 for ; Tue, 8 Nov 2016 17:18:00 +0100 (CET) Date: Tue, 8 Nov 2016 17:18:00 +0100 From: Christophe Raffalli To: "caml-list@inria.fr" Message-ID: <20161108161800.r6gkwh6p3o3ayypt@delli7.univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="pku2jspwt2gjidpf" Content-Disposition: inline User-Agent: NeoMutt/20161014 (1.7.1) X-Validation-by: christophe@raffalli.eu Subject: [Caml-list] camlp4 broken on opam 4.04.0 switch ? --pku2jspwt2gjidpf Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hello: the downloaded git archive for camlp4 says it is for ocaml 4.05.0 and fails to compile on 4.04.0: raffalli@delli7:~/Caml/patoline$ opam install camlp4 The following actions will be performed: =E2=88=97 install camlp4 4.04 =3D-=3D- Gathering sources =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D [camlp4] git://github.com/ocaml/camlp4#trunk already up-to-date =3D-=3D- Processing actions -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D [ERROR] The compilation of camlp4 failed at "./configure --bindir=3D/home/r= affalli/.opam/4.04.0/bin --libdir=3D/home/raffalli/.opam/4.04.0/lib/ocaml --pkgdir=3D/home/r= affalli/.opam/4.04.0/lib". Processing 1/1: [camlp4: rm] #=3D=3D=3D ERROR while installing camlp4.4.04 =3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D# # opam-version 1.2.2 # os linux # command ./configure --bindir=3D/home/raffalli/.opam/4.04.0/bin --li= bdir=3D/home/raffalli/.opam/4.04.0/lib/ocaml --pkgdir=3D/home/raffalli/.opa= m/4.04.0/lib # path /home/raffalli/.opam/4.04.0/build/camlp4.4.04 # compiler 4.04.0 # exit-code 2 # env-file /home/raffalli/.opam/4.04.0/build/camlp4.4.04/camlp4-2996-1= 872ec.env # stdout-file /home/raffalli/.opam/4.04.0/build/camlp4.4.04/camlp4-2996-1= 872ec.out # stderr-file /home/raffalli/.opam/4.04.0/build/camlp4.4.04/camlp4-2996-1= 872ec.err ### stdout ### # This version of Camlp4 is for OCaml 4.05 but you are using OCaml 4.04.0. # If building Camlp4 directly from git, use the 4.04 branch. =3D-=3D- Error report -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-= =3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D The following actions failed =E2=88=97 install camlp4 4.04 No changes have been performed Cheers, Christophe --pku2jspwt2gjidpf Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAABCAAGBQJYIfq1AAoJEFVyGj375rHwKAgH/Rt+B8JDzTxwACfavthwrSwN vh4p1iZUmDgVcoopzULRLEi90PLkkHW5afiJvVRZSqz7ES2yVMpYyb5TdOG/BxQc 9JFmDPm5yDYZnrfULXOAttjhGYQ5Z+tyJKxKArEd06SIZo9/y+lYbg+44gZ0AYRQ WqXtq1DjiUOshaFcNA/EibEx4hf6x5Q1cTpG8Bzc8aXGgsPy1T2CWa0gvI5Co/LQ WsXbaWlOO/siWZepaH82UfdcskUBqW4l0H45N+2ri5fM6+J5FvrOVKB3AyZZ+e// B5uy1JOkbuE0xcmvl8RFgdh/AtGmEMASwQDJVHZpj6P+LTKpgxJZpVExbsxWSBg= =eJsf -----END PGP SIGNATURE----- --pku2jspwt2gjidpf--