Installing ATS2

README.md

One-liner for Installing ATS 2

Just run

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

If you are using Cloud9 platform, this is what I suggest you to do.

mkdir -p ~/ats
cd ~/ats
curl -L http://git.io/vJbxe | sudo sh
source env.sh

And then go back to ~/workspace and start coding. Note that there will be that env.sh that you need to source every time you opened a new terminal.

install.sh

apt-get update
apt-get install -y libgmp3-dev make gcc build-essential wget bash


export PATSHOME=$PWD

wget http://sourceforge.net/projects/ats2-lang/files/latest/download?source=files -O - | tar -zvx --strip-components=1 -f -       
./configure
make all
make install

echo export PATSHOME=$PWD > env.sh
echo export PATH=$PATH:$PWD/bin >> env.sh