From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 F2E697FFA2 for ; Wed, 9 Mar 2016 17:23:18 +0100 (CET) IronPort-PHdr: 9a23:iInTVxHBVb6FfYjWJ8xFh51GYnF86YWxBRYc798ds5kLTJ75r8ywAkXT6L1XgUPTWs2DsrQf27WQ4/6rBjNIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbipdaMPE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCmC/HYZU2hevhtNAg7CpEX4Upb0sy39nuh03iSBIdf7QKxyUjOnufRFUhjt3QUaMSU+9m6frs042KZZu1StrgZ8zY/PYKmaMfN/euXWetZMFjkJZdpYSyEUWtD0VIAIFedUeL8A94Q= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ljs.darkfish@gmail.com; spf=Pass smtp.mailfrom=ljs.darkfish@gmail.com; spf=None smtp.helo=postmaster@mail-pf0-f180.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ljs.darkfish@gmail.com) identity=pra; client-ip=209.85.192.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ljs.darkfish@gmail.com designates 209.85.192.180 as permitted sender) identity=mailfrom; client-ip=209.85.192.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pf0-f180.google.com) identity=helo; client-ip=209.85.192.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="postmaster@mail-pf0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DkAQDLTOBWd7TAVdFehA1tBqZlAQEBAQaTXwENgW0hhW4CgUEHOBQBAQEBAQEBARABCgsMCCEvQQ4BgV2CFQEBBBIRHQEbHQEDDAYFCwMKAgImAgIhAQERAQUBHAYTGweHbAEDEg6iW4ExPjGLNoFqgleFVAoZJw1Rg2wBAQEBAQEBAwEBAQEBARQBAQQKBW2EVIUKgj2EfYE6BY4lhFaEPIVlgnMFgyCBdYFkjRhEhTmBFIYPER6BDx4BAYI4OoFVGy6CR4cMAQEB X-IPAS-Result: A0DkAQDLTOBWd7TAVdFehA1tBqZlAQEBAQaTXwENgW0hhW4CgUEHOBQBAQEBAQEBARABCgsMCCEvQQ4BgV2CFQEBBBIRHQEbHQEDDAYFCwMKAgImAgIhAQERAQUBHAYTGweHbAEDEg6iW4ExPjGLNoFqgleFVAoZJw1Rg2wBAQEBAQEBAwEBAQEBARQBAQQKBW2EVIUKgj2EfYE6BY4lhFaEPIVlgnMFgyCBdYFkjRhEhTmBFIYPER6BDx4BAYI4OoFVGy6CR4cMAQEB X-IronPort-AV: E=Sophos;i="5.24,311,1454972400"; d="scan'208";a="206854453" Received: from mail-pf0-f180.google.com ([209.85.192.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Mar 2016 17:23:18 +0100 Received: by mail-pf0-f180.google.com with SMTP id n5so6242238pfn.2 for ; Wed, 09 Mar 2016 08:23:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=NfXODw0Pq9xldExP6DEwZuG7wtjnwNNWaRki399402k=; b=UxBHCPQlsQ7Fv2B2jOEa2EV5/Q3fgVgY3Wh+EE61A+wuFXfQmWS7CF510pMeWKjzzo nwoTkVKfegf3838oawrnMd6Su8z4ji2Wx5TCh0Qpb216isn56SSznhb5+qsinQNqM2iL oqvSEDwfigPnqSrZjTUxVBGPq4mhDE6R3r0JZNUHwsCXfKhsohoBwFiqbxk5j9jcfEcT xPbPQ3byif1jdGqBZwYeOgb26M5LcYaL/DOyUECFN/XciVmohffXduVSD8hFcKbul0qE ZTgUje8JaHnQMayFlRRpvvrYrO7gW7D2pnYkvZ+eWfY9+Xbm6QPCPqdU35l6WENESKeO Jt1Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=NfXODw0Pq9xldExP6DEwZuG7wtjnwNNWaRki399402k=; b=USvVPpo8y3wBn0s6udPDfmLLvr9WESSVW6Y7c2GVzUSq7OGGSV8LLICWpMI2GlrDCu yZ22enqjViBOGct5SCRAN+YFH2A9rSw+CwWJWLryHAizrP067QBwv9TIcAm4ykgdFFfn DOpEPegHkAdUX7iHrHWhWl7isU8OdyqrZy44UV9HxsyqAP99v/Vnyli+rcNbStvmdbnG 68Smd+XAlYcJjLU0Sn0KcIozOazta6+DYwNK+k2A4bORn6lSOyHt/UHj2LgWe1ayuSAj HJ2lgOvT7iL8RXp6Cd6p2avz7xZsC2qzccJtXxexOK54BtyzNeT9S+1EqmKcNVOINk3f tJEQ== X-Gm-Message-State: AD7BkJJ4f7O020Zvkcj7XBuGYMeUThXvRVpHikypL4uP/2C5/b6z1pS/+KSm5RPlhCISwpSGv1TUMmVNWTMe7A== MIME-Version: 1.0 X-Received: by 10.98.16.15 with SMTP id y15mr51012380pfi.114.1457540596178; Wed, 09 Mar 2016 08:23:16 -0800 (PST) Received: by 10.66.2.167 with HTTP; Wed, 9 Mar 2016 08:23:16 -0800 (PST) In-Reply-To: References: <20160203112009.5a536810@kiwi.local.tld> Date: Wed, 9 Mar 2016 08:23:16 -0800 Message-ID: From: Junsong Li To: Jeremie Dimino Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Package renamings for sexplib, bin_prot and a few other camlp4 syntax extensions Ah, I see $ opam upgrade --verbose sexplib Everything as up-to-date as possible. The following newer versions couldn't be installed: - sexplib.113.24.00 is not available because your system doesn't comply with ocaml-version >= "4.02.3". I'll install OCaml 4.02.3 then. Thank you. On Wed, Mar 9, 2016 at 8:06 AM, Jeremie Dimino wrote: > Hi Junsong, > > It's possible that you have a package installed that has no version > compatible with sexplib 113.24. You can try to explicitly upgrade sexplib to > see what solution opam suggests > > On Wed, Mar 9, 2016 at 3:56 PM, Junsong Li wrote: >> >> Hi Jeremie, >> >> I have 4.02.1 OCaml installed on my Mac. opam update; opam upgrade >> didn't upgrade the sexplib to 113.24. opam list still shows 113.00. >> Any ideas? >> >> My fresh installed 4.02.3 OCaml on a Linux machine has 113.24 sexplib >> though. >> >> On Fri, Feb 5, 2016 at 1:36 AM, Jeremie Dimino >> wrote: >> > On Wed, Feb 3, 2016 at 7:20 PM, ygrek wrote: >> >> >> >> I wonder if keeping empty sexplib.syntax subpackage with only >> >> requires="pa_sexp_conv" line >> >> will prevent build breakage (one will only need to fix opam >> >> dependencies)? >> > >> > >> > That would work for now. However, sooner or latter some change in >> > >> > sexplib will break the code generated by pa_sexp_conv and we'll have the >> > same problem again. >> > The current forced upgrade is simple (one sed command [1]) and it's a >> > hint >> > that it's a good time to switch to ppx. We published a tool to help with >> > this BTW [2] >> > >> > [1] https://github.com/ocaml/opam-repository/blob/master/CHANGES.md >> > [2] >> > https://blogs.janestreet.com/converting-a-code-base-from-camlp4-to-ppx >> > >> > https://github.com/janestreet/camlp4-to-ppx >> > >> > -- >> > Jeremie > > > > > -- > Jeremie