[Soot-list] Script to build Soot automatically from GitHub

[Quentin Sabah]

Hi all, 
I just wrote a shell script (for GNU sh) to automatize the build of the 'develop' branch:
  
  https://gist.github.com/quentin/5099059

The script clones Jasmin, Heros and Soot from GitHub into the current directory, it creates the required ant.settings files and build the jars.
I hope it can help users willing to work with an up-to-date version of Soot.

@Eric: it might be interesting to mention this script on the Soot webpage.

-- 
Quentin Sabah, co-funded Ph.D. student
Grenoble University
INRIA-SARDES                   | STMicroelectronics/AST
Montbonnot, France             | Grenoble, France
mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
phone: +33 476 61 52 42        | phone: +33 476 58 44 14