Okay, I am looking forward to it. On Sunday, October 29, 2017 at 11:45:06 PM UTC-4, Artyom Shalkhakov wrote: > > On Sunday, October 29, 2017 at 4:28:58 AM UTC+6, gmhwxi wrote: >> >> >> I added a short README in the following directory: >> >> >> https://github.com/githwxi/ATS-Postiats/tree/master/contrib/libatscc2js/ATS2-0.3.2 >> >> Basically, all you need to do is to execute 'make all all_in_one'. Then >> take >> a look at the 'output' directory. >> >> > I'll add a package.json into that directory and then submit a PR to you, > if you don't mind. > > >> >> >> On Sat, Oct 28, 2017 at 11:25 AM, Artyom Shalkhakov < >> [email protected]> wrote: >> >>> How did you build those files? I'll add it to CI if I can. And will also >>> put the license there as well. >>> >>> 28 окт. 2017 г. 8:55 PM пользователь "Hongwei Xi" <[email protected]> >>> написал: >>> >>> >>> Thanks! >>> >>> You could use MIT/BSD-2 license or BSD-3 (BSD-2 + no endorsement). >>> >>> By the way, everything (so far) in ATS-Postiats/contrib is under MIT >>> license. >>> >>> >>> On Sat, Oct 28, 2017 at 10:15 AM, Artyom Shalkhakov < >>> [email protected]> wrote: >>> >>>> Hello all, >>>> >>>> I've published this package here: >>>> >>>> https://www.npmjs.com/package/libatscc2js-rt >>>> >>>> At first I was simply linking to the official files distributed on the >>>> website, but it really doesn't work very good if you are on a flaky >>>> Internet connection. >>>> >>>> Now, if you have a project that uses *atscc2js*, then you can just do: >>>> >>>> $ npm i libatscc2js-rt >>>> >>>> and you'll have some files present in this subdirectory: >>>> >>>> node_modules/libatscc2js-rt/src >>>> >>>> I wonder what its license should be? For now I use GPL v3. Maybe we'd >>>> better generate the package automatically via some CI service in the >>>> future. >>>> >>>> -- >>>> 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 [email protected]. >>>> To post to this group, send email to [email protected]. >>>> 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/5bdd173e-5558-48e4-ac6c-9591a4f86ca1%40googlegroups.com >>>> >>>> <https://groups.google.com/d/msgid/ats-lang-users/5bdd173e-5558-48e4-ac6c-9591a4f86ca1%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> >>> -- >>> 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 [email protected]. >>> To post to this group, send email to [email protected]. >>> 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/CAPPSPLrTN4evHL%2BAMWJW7VMhZqT_qt_xht%3D1tLBKXaphtgA50Q%40mail.gmail.com >>> >>> <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLrTN4evHL%2BAMWJW7VMhZqT_qt_xht%3D1tLBKXaphtgA50Q%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >>> >>> -- >>> 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 [email protected]. >>> To post to this group, send email to [email protected]. >>> 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/CAKO6%3Dqgm9cTE83bLRrKtO-6vY%2B8xYogQTcRmq1C_P-yXOEC82g%40mail.gmail.com >>> >>> <https://groups.google.com/d/msgid/ats-lang-users/CAKO6%3Dqgm9cTE83bLRrKtO-6vY%2B8xYogQTcRmq1C_P-yXOEC82g%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> >>
-- 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 [email protected]. To post to this group, send email to [email protected]. 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/e6e57975-83db-4945-9c27-7142ecf5c5f1%40googlegroups.com.
