One-Liner for Installing ATS (especially for Cloud9)

Google Group
1

Hello,

Gist: https://gist.github.com/steinwaywhw/a574c13b82275b8dc712

One-Liner:

curl -L http://git.io/vJbxe | sudo sh

This is just a one-liner for installing ATS into current directory, and
producing a “env.sh” that you can “source”.

I myself uses Cloud9 (c9.io, a cloud IDE) frequently, and this one-liner
helped me setup everything. Hope this will benefit you, too.

2

Thanks!

This can be very convenient for teaching ATS. It is good for testing ATS,
too.

Cheers,

–HongweiOn Wednesday, May 6, 2015 at 6:11:47 PM UTC-4, Steinway Wu wrote:

Hello,

Gist: Installing ATS2 · GitHub

One-Liner:

curl -L http://git.io/vJbxe | sudo sh

This is just a one-liner for installing ATS into current directory, and
producing a “env.sh” that you can “source”.

I myself uses Cloud9 (c9.io, a cloud IDE) frequently, and this one-liner
helped me setup everything. Hope this will benefit you, too.