Script for installing/testing ATS2 under MSYS2

Google Group
1

Hello all,

I came up with a script to install ATS2 on MSYS2 under Windows 10 (will
probably also work on Windows 7):

To run it:

  1. install MSYS2 following their documentation http://msys2.github.io/
  2. copy the script to a directory on your system (e.g. ~/tst)
  3. finally, run the script; probably will have to make it executable first:

chmod +x msys2-build-ats2.sh

If you have any issues installing, feel free to ask.

2

This is great!

Could you add an corresponding entry into the following file and then
generate
a pull request:

https://github.com/ats-lang/ats-lang.github.io/blob/master/SCRIPT/README.md

In this way, it should be easier for people to find it.

Created a PR: https://github.com/ats-lang/ats-lang.github.io/pull/1

3

This is great!

Could you add an corresponding entry into the following file and then
generate
a pull request:

In this way, it should be easier for people to find it.

Cheers!On Sun, Apr 24, 2016 at 1:36 AM, Artyom Shalkhakov < artyom.s...@gmail.com> wrote:

Hello all,

I came up with a script to install ATS2 on MSYS2 under Windows 10 (will
probably also work on Windows 7):

Installing ATS2 on MSYS2 · GitHub

To run it:

  1. install MSYS2 following their documentation http://msys2.github.io/
  2. copy the script to a directory on your system (e.g. ~/tst)
  3. finally, run the script; probably will have to make it executable first:

chmod +x msys2-build-ats2.sh

If you have any issues installing, feel free to ask.

–
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/e532002c-eef8-4e7a-8331-1163756b2081%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/e532002c-eef8-4e7a-8331-1163756b2081%40googlegroups.com?utm_medium=email&utm_source=footer
.

4

Pulled. Thanks!On Mon, Apr 25, 2016 at 4:55 AM, Artyom Shalkhakov < artyom.s...@gmail.com> wrote:

On Sunday, April 24, 2016 at 9:08:54 PM UTC+6, gmhwxi wrote:

This is great!

Could you add an corresponding entry into the following file and then
generate
a pull request:

https://github.com/ats-lang/ats-lang.github.io/blob/master/SCRIPT/README.md

In this way, it should be easier for people to find it.

Created a PR: Updating: adding msys2-build-ats2.sh. by ashalkhakov · Pull Request #1 · ats-lang/ats-lang.github.io · GitHub

Cheers!

On Sun, Apr 24, 2016 at 1:36 AM, Artyom Shalkhakov <artyo...@gmail.com wrote:

Hello all,

I came up with a script to install ATS2 on MSYS2 under Windows 10 (will
probably also work on Windows 7):

Installing ATS2 on MSYS2 · GitHub

To run it:

  1. install MSYS2 following their documentation http://msys2.github.io/
  2. copy the script to a directory on your system (e.g. ~/tst)
  3. finally, run the script; probably will have to make it executable
    first:

chmod +x msys2-build-ats2.sh

If you have any issues installing, feel free to ask.

–
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...@googlegroups.com.
To post to this group, send email to ats-l...@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/e532002c-eef8-4e7a-8331-1163756b2081%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/e532002c-eef8-4e7a-8331-1163756b2081%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 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/39231b7f-4f85-4210-9f91-ba0f9120ebdd%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/39231b7f-4f85-4210-9f91-ba0f9120ebdd%40googlegroups.com?utm_medium=email&utm_source=footer
.