Trying out ATS2/ATS2-contrib

Google Group
1

Here is a simply way to try out ATS2/ATS2-contrib.

Step 1: Get a free acount at Cloud9 (http://c9.io)

Step 2: Download the a script from:

I suggest

Step 3: Do

sh -v C9-ATS2-install-cs320.sh

Step 4: Do

source ~/.bashrc # only for the first time

Step 5: Do

make -C ATS2-contrib -f Makefile_test # for trying out various packages in
ATS2-contrib

2

I will try this since I think I have never had too much luck on personal
machines. :slight_smile:

Not that you can do this, but if the ATS system were pure Python 2.7 that
emitted simple C for gcc then I wonder if some such would reduce the
chances of troubles. Anything C based is a nightmare in my humble
experience.On Feb 5, 2016 13:21, “gmhwxi” gmh...@gmail.com wrote:

Here is a simply way to try out ATS2/ATS2-contrib.

Step 1: Get a free acound at Cloud9 (http://c9.io)

Step 2: Download the a script from:

https://github.com/ats-lang/ats-lang.github.io/tree/master/SCRIPT

I suggest

https://github.com/ats-lang/ats-lang.github.io/blob/master/SCRIPT/C9-ATS2-install-cs320.sh

Step 3: Do

sh -v C9-ATS2-install-cs320.sh

Step 4: Do

source ~/.bashrc # only for the first time

Step 5: Do

make -C ATS2-contrib -f Makefile_test # for trying out various packages in
ATS2-contrib

–
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/0bf6ab44-e904-4881-8623-28079548fb04%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/0bf6ab44-e904-4881-8623-28079548fb04%40googlegroups.com?utm_medium=email&utm_source=footer
.