configure

#!/bin/bash

passphrase=""
if [[ ! -z $1 ]]; then
	passphrase=$1@
	if [[ ! -z $2 ]]; then
		passphrase=$1:$2@
	fi
fi

git clone --depth=1 http://${passphrase}prosoft.inf.ufrgs.br/git/java-callgraph.git java-callgraph
git clone --depth=1 http://${passphrase}prosoft.inf.ufrgs.br/git/application-tracer.git ApplicationTracer
git clone --depth=1 http://${passphrase}prosoft.inf.ufrgs.br/git/json-serialiser.git JSONSerialiser
git clone --depth=1 http://${passphrase}prosoft.inf.ufrgs.br/git/trace.git Trace
git clone --depth=1 http://${passphrase}prosoft.inf.ufrgs.br/git/requests-simulator.git RequestsSimulator
git clone --depth=1 http://${passphrase}prosoft.inf.ufrgs.br/git/cache.git Cache
git clone --depth=1 http://${passphrase}prosoft.inf.ufrgs.br/git/remote-executor.git RemoteExecutor