Skip to content

Instantly share code, notes, and snippets.

@prophile
Created November 12, 2014 13:32
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save prophile/6cda6bc73b90e111a2aa to your computer and use it in GitHub Desktop.
Save prophile/6cda6bc73b90e111a2aa to your computer and use it in GitHub Desktop.
Get the modernised srcomp suite
#!/bin/bash
GERRIT=https://www.studentrobotics.org/gerrit
function getgit {
PROJECT=$1
URL=$GERRIT/comp/$PROJECT
PATCH=$2
git clone $URL $PROJECT
cd $PROJECT
git fetch $URL $PATCH
git checkout FETCH_HEAD
git submodule update --init --recursive
python setup.py install
cd ..
}
set -e
set -v
virtualenv -p python3 venv
source venv/bin/activate
getgit ranker refs/changes/63/1863/4
getgit srcomp refs/changes/92/1892/1
getgit srcomp-http refs/changes/93/1893/1
set +v
echo "Done installing."
echo "Get virtualenv: source venv/bin/activate"
echo "Run server: python -m sr.comp.http srcomp-http/tests/dummy"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment