Currently, a passing build status means that the following archives were generated:
- ATS2-Postiats-int-0.4.0.tgz
- ATS2-Postiats-gmp-0.4.0.tgz
- ATS2-Postiats-include-0.4.0.tgz
- ATS2-Postiats-contrib-0.4.0.tgz
Simply build the Dockerfile in this repository provided here. The Dockerfile uses the docker image 'telos/ats1' (built 12-03 found here on docker hub) which includes a prebaked 'ats-lang-anairiats-0.2.12' with the necessary packages to build ATS2.