Le vendredi 2 décembre 2016 21:25:06 UTC+1, gmhwxi a écrit : > > > I think I have fixed the issue. Please delete ATS2-contrib and > try again. >
Indeed, it works now (with Contrib from trunk). Just that the ATS version looks like it is still 0.2.10 instead of 0.2.12. Talking about Contrib, I wondered if the one from GitHub and the one from SourceForge could get different names, as they are not interchangeable. The one from GitHub is OK to compile ATS but not the one from SourceForge, so may be a name like Contrib-Build-Dep for the one from GitHub. -- 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/275ffa6f-6674-4d8b-bacf-94099ad6ec37%40googlegroups.com.
