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:25:25 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=None ; spf=None
Ironport-phdr: 9a23:wmw2khGaqhmsIfEmdJ3JJJ1GYnF86YWxBRYc798ds5kLTJ78ps+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:13:45PM +0200, Maxime Dénès wrote:
> I keep reading messages talking about this branch renaming, and
> potential incompatibilities. And I don't understand a word of it.
>
> Either I'm completely wrong (very likely) or version detection has
> nothing to do with the branch name. Can you elaborate on the link you
> see between the two?

I think the right fix for the Makefile is to use --print-version
but before that flag was introduced we did coqtop -v that
used to print something like "trunk" or "v8.x". I did not check
what it prints today, but I imagine "master", so "grep trunk" is wrong.

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