1 How to generate a new release of CLooG:
4 1) Update the version number
6 See commit 88986e for an example
7 (Simply modifies the version number in configure.ac)
9 2) Commit the modification of version number in configure.ac
11 git -am "CLooG 0.18.2"
15 git tag -am "CLooG 0.18.2" cloog-0.18.2
17 4) Create release tarball
19 4.1) Be sure to configure with bundled isl and osl (otherwise they will
20 not be provided in the release tarball
22 ./configure --with-isl=bundled --with-osl=bundled
24 4.2) Get submodules in isl (otherwise make dist will fail)
30 4.3) finally make dist in CLooG's directory
34 5) Test the release tarball
36 6) Push out the changes
38 7) Check at repo.or.cz that everything looks good
40 Thanks to Tobias GROSSER for the instructions.