How to build ATS2?

Google Group
1

I have moved a soon-to-be release of ATS2 to the following site:

You can use git to get a copy:

git clone git://git.code.sf.net/p/ats2-lang/code ats2-lang-code

Here is a sequence of commands I used to build ATS2:

cd ats2-lang-code
aclocal
autoheader
automake --add-missing
autoconf
./configure
make -f Makefile_dist all

Now please set PATSHOME properly:

export PATSHOME=pwd

The compilation commands you need are at

{PATSHOME}/bin/patscc {PATSHOME}/bin/patsopt

There are plenty examples in

${PATSHOME}/doc/EXAMPLE

Cheers!

2

export PATSHOME=“FOO/lib/ats2-lang-postiats-0.0.1”

Should be

export PATSHOME=“FOO/lib/ats2-postiats-0.0.1”

3

I have significantly simplified the process of building and installing ATS2:

Get the current package:

git clone git://git.code.sf.net/p/ats2-lang/code ats2-lang-code

Enter the root directory of the code:

cd ats2-lang-code

Then do:

make all

Set PATSHOME as follows:

export PATSHOME=pwd

If you want to install in a directory named FOO, please do

./configure --prefix=FOO

By default FOO is /usr/local

Then do

make install

Remember to set PATSHOME as follows:

export PATSHOME=“FOO/lib/ats2-lang-postiats-0.0.1”

There are plenty examples in ${PATSHOME}/doc/EXAMPLE

Cheers!

4

This following command-lines are nolonger needed to be executed explicitly

aclocal
autoheader
automake --add-missing
autoconf
./configure

Just do:

cd ats2-lang-code
make -f Makefile_dist all

5

Just type:

make all

This will generate ./configure. Then you can call it to re-configure.

Or you can do

make config.h

This will generate ./configure, too. Then you can call it to re-configure.

6

Before typing “make all”, we need make sure that the “automake” is
available in this machine, if not, you will get the following error
messages:
/bin/sh: 1: autoheader: not found
aclocal
make: aclocal: Command not found
make: Failed to remake makefile ‘Makefile’.
So if you get those messages above, try this command before entering “make
all”:

sudo apt-get install automake