Ssreflect Users Discussion List

[Maxime Dénès <>]

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.

Maxime.

On 07/12/2017 02:25 PM, Enrico Tassi wrote:
> 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
>