ATS is Open Source and
Free Software, and it
is freely available under the GNU GENERAL PUBLIC LICENSE version 3
(GPLv3) as is published
by the Free Software Foundation. The current implementation of ATS is
given the name ATS/Anairiats or simply Anairiats. The latest released
ATS/Anairats packages are available at the following links:
The following requirements are supposed to be met in order to install ATS:
- Operating System requirement: ATS is supported under the following
- Windows with Cygwin
- MacOS X (currently no GC support for multithreading)
- SunOS (currently no GC support for multithreading)
- BSD Unix (currently no GC support for multithreading)
- Programming Language requirement: GNU C Compiler (GCC).
We plan to port ATS to other platforms in the future. If you have succeeded
in porting ATS to a platform not listed here, please drop us a note.
The GMP library (libgmp.a), which is in general included in a GNU/Linux
distribution, is currently optional and it may be required for
installing a release of ATS in the future. Please see http://gmplib.org for more details on GMP.
This installation method currently only supports the following platforms:
- Linux on i386 (x86-32)
- Linux on AMD64 (x86-64)
- SunOS on UltraSparc
Please first download a compressed tarball containing a precompiled release of
ATS from the following site that suits your platform:
Let x.x.x be the version number of the downloaded ATS package.
(Option 1) You can untar the tarball in the root directory (that is,
the directory /.) and then set the shell environment variables
ATSHOME and ATSHOMERELOC to /usr/share/atshome and
ATS-x.x.x, respectively. This option most likely requires root
(Option 2) You can untar the tarball in the directory
/tmp, and then move the directory /tmp/usr/share/atshome into
a directory of your choice, say, FOO, and then set the
environment variables ATSHOME and ATSHOMERELOC to FOO/atshome
and ATS-x.x.x, repectively. In addition, you need to put
$ATSHOME/bin on your execution path or create symbolic links
to the executables $ATSHOME/bin/atscc and
$ATSHOME/bin/atsopt in a directory that is already on your
execution path, where $ATSHOME refers to the content of ATSHOME.
- Step 1:
After downloading a compressed tarball containing a release of ATS from the
please untar it in a directory, say FOO, of your choice. This, for instance,
can be done by executing the following command line:
tar -zvxf ATS.tar.gz
All the files and directories extracted from the tarball are now in the
- Step 2:
Please execute the following command
where DESTDIR refers to the directory into which ATS is to be installed.
If the argument [--prefix=DESTDIR] is missing, then the default directory
for installing ATS is /usr/local.
You can now go into the directory FOO/ATS and execute
This generates executables atscc and atsopt in
the directory FOO/ATS/bin, which are the commands you need for
compiling ATS programs, and a library file libats.a in the
directory FOO/ATS/CCOMP/lib, which you need for linking.
- Step 3:
Please set the environment variable ATSHOME to FOO/ATS and
then set the environment variable ATSHOMERELOC to ATS-x.x.x, where x.x.x is
the version number of the compiled ATS package.
- Step 4:
Optionally, you may install ATS by executing the following
Then you set ATSHOME to DESTDIR/share/ats-anairiats-x.x.x,
which is the directory where ATS is to be installed. The environment
variable ATSHOMERELOC should still be set to ATS-x.x.x.
This installation method is
probably the best if you would like to keep abreast of the development of ATS.
Please find more details here.