ssreflect - Re: [ssreflect] Install the master branch of ssreflect with coq-8.6

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] Install the master branch of ssreflect with coq-8.6

From: Enrico Tassi <>
To:
Subject: Re: [ssreflect] Install the master branch of ssreflect with coq-8.6
Date: Wed, 12 Jul 2017 14:59:27 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=None ; spf=None
Ironport-phdr: 9a23:/+jUdxHEtgFfpTcMhyOvkZ1GYnF86YWxBRYc798ds5kLTJ78ps+wAkXT6L1XgUPTWs2DsrQf2rWQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOTA5/m/Jl8J+j6xbrx29qBNizIDbYo+aOeFifq7eZ94WWXZNU9xMWyFHH4iyb5EPD+0EPetAoIf9oUEOrRqiCgmrGejh1CVHhmTt3a07zu8sFh/J3Ao6H9IPrHvUq8/5NLsIXuCu16nIzC7Ob/JQ2Tfn6YjHaAotof+WXb9pd8fa1EohFxvdg1iUpoHpJS2Z2+oXv2Wa6+dsT/+jh3Alpg1pvzSiyMQhhpPNi48U0FzI6zl1zJovKdC4SUN2Z8OvHoFKuCGALYR2R9svQ2F2tyY+zb0LoZC7czYWyJQ72h7fbeCHfJKS7hLkTuaRLi90hHNjeL2hmxa/6Uytx+LmWsWq3ltGtCtIn93WunwQyRDe6NCLSv5n8Ueg3TaP2RrT6uZBIU0smqrUMYQhzaArlpcIv0TMADP2mFnrjK+QakUr4PKk6+P9YrXpvpOcLZN7ihniMqQyncyyGf84MhMUX2eF9+S80KPs8lHlQLhRlf03kqzZsIjAKsgBp665BRVV0oc55BqlATemyodQoX5SN0lfdRyDgoP1E1TVOrX5C+2+ihKtli1qzrbIJO7PGJLIe1XFirbqev5B4lVHyUJnwNZF5plTTK0IO+nyck73rt3RSBEjZV/ni937Aclwg9tNEVmEBbWUZfvf

On Wed, Jul 12, 2017 at 02:33:47PM +0200, Maxime Dénès wrote:
> I see. But this is in fact unrelated to the branch renaming. In fact, a
> fresh install of Coq master now prints 8.7.0~alpha, which is what the
> grep should be looking for.
>
> Note that after I merge my PR with more precise version numbers, they
> will start with the 8.7.0~alpha, but will be something like
> 8.7.0~alpha-nnn-sha1, so the detection script should be robust to that.
>
> --print-version will return similar information AFAIK.

I agree.

Going back to Yves' question, he could simply set by hand the
BRANCH_coq variable to trunk or v8.6 and see if this fixes his
compilation issues or not.

Ciao
--
Enrico Tassi

[ssreflect] Install the master branch of ssreflect with coq-8.6, Yves Bertot, 07/12/2017
- Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Enrico Tassi, 07/12/2017
  - Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Maxime Dénès, 07/12/2017
    - Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Enrico Tassi, 07/12/2017
      - Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Maxime Dénès, 07/12/2017
        
        Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Enrico Tassi, 07/12/2017
        
        Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Yves Bertot, 07/12/2017
        
        Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Enrico Tassi, 07/12/2017
        Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Yves Bertot, 07/13/2017
        Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Enrico Tassi, 07/13/2017
        Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Maxime Dénès, 07/13/2017
        
        Message not available
        Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Yves Bertot, 07/13/2017
  - Re: [ssreflect] Install the master branch of ssreflect with coq-8.6, Yves Bertot, 07/12/2017

List archive

Re: [ssreflect] Install the master branch of ssreflect with coq-8.6