contrib version 0.2.10 vs 0.2.12

[Karn Kallio]

I think that one reason for the version of 0.2.10 is that it has not
been updated in the file configure.ac ... maybe updating this and then
using autoreconf or such would be enough to fix it.

[gmhwxi]

Yes. The issue should be fixed in the next release.

The reason for the problem is that I myself rarely do 'make install' on my
own computer when building ATS. So I forgot the need to change the version number in
configure.ac. I will be using a VM to do 'make install' before each release from this point on.

[Yannick Duchêne]

Le mardi 6 décembre 2016 17:47:16 UTC+1, gmhwxi a écrit :

Yes. The issue should be fixed in the next release.

The reason for the problem is that I myself rarely do 'make install' on my
own computer when building ATS. So I forgot the need to change the version number in
configure.ac. I will be using a VM to do 'make install' before each release from this point on.

As the topic is about installing, here is a variation of C9-ATS2-install.sh: https://gist.github.com/Hibou57/9077632c31c7c5af4c6e6a81f4cbc04b

[gmhwxi]

Thanks!

It is now mentioned on the ATS Download/SCRIPT page:

https://github.com/ats-lang/ats-lang.github.io/tree/master/SCRIPT

[Yannick Duchêne]

If they are people using it, please, update it. I made an important change since I mentioned it here. It's about a git command (among other smaller things). I just remember to tell for some reason just now, I forget to tell earlier. With my apologies …

[gmhwxi]

I added a link to the gist version you put on-line.
So whatever is downloaded via that link should be up-to-date.

I myself use it quite often. Thanks!