Building the (unreleased) version of ATS2

Google Group
1

For people interested in using Developer’s version of ATS2
available at the following site:

please (1) git-clone the project or (2) download a containing-all ZIP-file
and then unzip it.

Then do

make -f codegen/Makefile_atslib # this is only needed for the first time
make -f Makefile_devl

Note that ATS1 needs to be installed first in order to use the above
procedure to build ATS2. Please use the following link to download ATS1:

Cheers!

2

Before running “make -f Makefile_devl”, we need to set PATH to include the
directory xxx/bin, where xxx is the directory of the cloned git repository,
so that the second half of the building process knows where to locate the
created “patsopt”.On Sunday, December 1, 2013 11:45:24 PM UTC-5, gmhwxi wrote:

For people interested in using Developer’s version of ATS2
available at the following site:

GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates

please (1) git-clone the project or (2) download a containing-all ZIP-file
and then unzip it.

Then do

make -f codegen/Makefile_atslib # this is only needed for the first time
make -f Makefile_devl

Note that ATS1 needs to be installed first in order to use the above
procedure to build ATS2. Please use the following link to download ATS1:

The ATS PL System download | SourceForge.net

Cheers!