How to generate a new release of CLooG:


1) Update the version number

See commit 88986e for an example
(Simply modifies the version number in configure.ac)

2) Commit the modification of version number in configure.ac

git -am "CLooG 0.18.2"

3) Tag the release

git tag -am "CLooG 0.18.2" cloog-0.18.2

4) Create release tarball

4.1) Be sure to configure with bundled isl and osl (otherwise they will
     not be provided in the release tarball

./configure --with-isl=bundled --with-osl=bundled

4.2) Get submodules in isl (otherwise make dist will fail)

cd isl
git submodule init
git submodule update

4.3) finally make dist in CLooG's directory

make dist

5) Test the release tarball

6) Push out the changes

7) Check at repo.or.cz that everything looks good

Thanks to Tobias GROSSER for the instructions.
