Aha! But then that contrib dir doesn't come with git clone... Ain't I supposed to have all the stuff from that dir in order to be able to run that make?
On Tuesday, November 6, 2018 at 5:01:11 PM UTC+1, Artyom Shalkhakov wrote: > > Hi Dmitry, > > Welcome! > > вт, 6 нояб. 2018 г. в 17:42, Dmitry Kouznetsov <dmitry.k...@gmail.com > <javascript:>>: > >> Hi, I am learning ATS and want to run examples locally. This one is >> particularly interesting to me: >> https://github.com/githwxi/ATS-Postiats/tree/master/doc/EXAMPLE/EFFECTIVATS/FRP-bacon.js. >> >> When I 'make all' it tells I am supposed to have atscc2js in my >> ${PATSHOME}/bin and I don't. How do I get one? >> > > You should build it. The translator is built with this Makefile: > > > https://github.com/githwxi/ATS-Postiats/blob/master/contrib/CATS-atscc2js/Makefile > > I think you'll have to cp the binary to $PATSHOME/bin yourself, though. > You can refer to some older scripts: > > > https://gist.github.com/ashalkhakov/4d9cc1a5fff9f9171f00a9ba50a24ebd#file-msys2-build-ats2-sh-L167 > > >> -- >> 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-user...@googlegroups.com <javascript:>. >> To post to this group, send email to ats-lan...@googlegroups.com >> <javascript:>. >> 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/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com >> >> <https://groups.google.com/d/msgid/ats-lang-users/47e55746-fbe8-4ca1-9847-fcb7da889e18%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > Cheers, > Artyom Shalkhakov > -- 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/af9af7df-fefc-452e-a0c6-eca1bd05c67e%40googlegroups.com.
