Thanks!
It is now mentioned on the ATS Download/SCRIPT page:
https://github.com/ats-lang/ats-lang.github.io/tree/master/SCRIPT
On Thursday, December 8, 2016 at 4:24:59 AM UTC-5, Yannick Duchêne wrote:
>
>
>
> Le mardi 6 décembre 2016 17:47:16 UTC+1, gmhwxi a écrit :
>>
>> Yes. The issue should b
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