I am actually wrong, sorry, it does come with git clone. Missed it, my bad. Let me try it now!
On Tuesday, November 6, 2018 at 5:22:25 PM UTC+1, Dmitry Kouznetsov wrote: > > 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>: >> >>> 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. >>> To post to this group, send email to ats-lan...@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/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/12d35b64-ff5d-4ab1-b2fd-a0a1e568c339%40googlegroups.com.
