# Building the (unreleased) version of ATS2

**URL:** <https://discourse.ats-lang.org/t/building-the-unreleased-version-of-ats2/459>\
**Category:** Google Group\
**Created:** [December 2, 2013, 4:45am UTC](https://discourse.ats-lang.org/t/building-the-unreleased-version-of-ats2/459 "2013-12-02T04:45:24Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 2, 2013, 4:45am UTC](https://discourse.ats-lang.org/t/building-the-unreleased-version-of-ats2/459/1 "2013-12-02T04:45:24Z")

</div>

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

> **[githwxi/ATS-Postiats](https://github.com/githwxi/ATS-Postiats)**
>
> ATS2: Unleashing the Potentials of Types and Templates - githwxi/ATS-Postiats

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](https://sourceforge.net/projects/ats-lang/)**
>
> Download The ATS PL System for free. Unleashing the potentials of types and templates. The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we...

Cheers!

---

<div class="post-metadata">

**Author:** ![Zhiqiang\_Ren](https://avatars.discourse-cdn.com/v4/letter/z/9fc29f/32.png) [@Zhiqiang\_Ren](https://discourse.ats-lang.org/u/Zhiqiang_Ren)\
**Post date:** [December 14, 2013, 6:06pm UTC](https://discourse.ats-lang.org/t/building-the-unreleased-version-of-ats2/459/2 "2013-12-14T18:06:22Z")

</div>

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](https://github.com/githwxi/ATS-Postiats)
> 
> 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](https://sourceforge.net/projects/ats-lang/)
> 
> Cheers!