pcpratts pcpratts
quentin
/ deploy_soot.sh
Last active
July 25, 2017 17:05
Deploy Soot from Github, along with Jasmin and Heros. By default the 'develop' branch of Jasmin, Heros and Soot are cloned into the current directory. The respectives ant.settings are created and the jars are built. When the script detects that a repository has already been cloned, it will pull the last version of the 'develop' branch instead.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env sh | |
| # | |
| # author: Quentin Sabah | |
| # | |
| deploy_dir=$PWD | |
| jasmin_repo=http://github.com/Sable/jasmin.git | |
| jasmin_branch=develop | |
| jasmin_dir=$deploy_dir/jasmin-github |