Trying out ATS2/ATS2-contrib

[gmhwxi]

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:

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

[Raoul Duke]

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

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.