More specific maxima version string



On Tue, 22 Nov 2011, Robert Dodier wrote:
> > There is one issue mentioned above.  Currently, we have to use "git
> > describe --tags --dirty" instead of "git describe --dirty" because there
> > are no annotated tags.  We should probably create annotated tags when tag
> > the releases.
>
> I don't know anything about annotated tags. I'm guessing it means
> attaching an arbitrary string to a tag. If so, I'm against it.
> I'd rather the version were entirely mechanical.

For releases you do need annotated tags to keep information who and
when made the release (it is probably a good idea to sign releases).
The "string" can be simply the name of the version.

To get the tag of the latest tagged commit use:

$ git describe --tags $(git rev-list --tags --max-count=1)
version-5_25_1

-- 
Regards,
ASK