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 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 > > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/1fa9a7dc-2197-4060-82de-4a18a96b8878%40googlegroups.com.
