duoram/repro/repro-all-dockers

#!/bin/bash

# Run a command on all three repro scripts

# cd into the directory containing this script (from the bash faq 028)
if [[ $BASH_SOURCE = */* ]]; then
  cd -- "${BASH_SOURCE%/*}/" || exit
fi

# Duoram
echo Running Duoram repro
echo
( cd ../Docker && echo "Starting Duoram dockers" && echo && \
    ./start-docker && ./repro $* && echo "Stopping Duoram dockers" && \
    echo && ./stop-docker ) || exit 1

# Floram
echo Running Floram repro
echo
( cd floram-docker && echo "Starting Floram dockers" && echo && \
    ./start-docker && ./repro $* && echo "Stopping Floram dockers" && \
    echo && ./stop-docker ) || exit 1

# Circuit ORAM
echo Running Circuit ORAM repro
echo
( cd circuit-oram-docker/docker && echo "Starting Circuit ORAM dockers" && \
    echo && ./start-docker && ./repro $* && \
    echo "Stopping Circuit ORAM dockers" && \
    echo && ./stop-docker ) || exit 1