Skip to content

Instantly share code, notes, and snippets.

@steinwaywhw

steinwaywhw/README.md

Last active August 29, 2015 13:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save steinwaywhw/9905799 to your computer and use it in GitHub Desktop.
Save steinwaywhw/9905799 to your computer and use it in GitHub Desktop.
Download ZIP
A quick script for installing ATS2. Just make sure you have libgmp installed already.
Raw
README.md

Installing ATS on Linux

Just copy and execute the code, and you get the latest ATS. Just make sure you already have libgmp3-dev installed. Also make sure to setup PATSHOME environment variable.

Raw
getats.sh
#!/bin/bash
wget -O ats.tgz http://sourceforge.net/projects/ats2-lang/files/latest/download?source=files
tar -xvf ats.tgz
mv ATS2* ats2
rm ats.tgz
cd ats2
./configure
make all
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment