Start on the master repro scripts that control all three docker setups

repro/build-all-dockers

@@ -0,0 +1,47 @@
+#!/bin/bash
+
+# Use this script to build the three docker images: one for Duoram (our
+# work), and one each for Floram and 3P Circuit ORAM (the two systems we
+# compare against).  We made the dockerization scripts for these latter
+# two systems as well.
+
+# Pass as an argument the git tag or branch to use.  Defaults to
+# "usenixsec23_artifact".
+
+tag=usenixsec23_artifact
+if [ "$1" != "" ]; then
+    tag="$1"
+fi
+
+# cd into the directory containing this script (from the bash faq 028)
+if [[ $BASH_SOURCE = */* ]]; then
+  cd -- "${BASH_SOURCE%/*}/" || exit
+fi
+
+# See if we need to clone those other two repos
+if [ -d floram-docker/.git ]; then
+    ( cd floram-docker && git fetch --tags origin && git checkout $tag ) || exit 1
+else
+    ( git clone https://git-crysp.uwaterloo.ca/iang/floram-docker && cd floram-docker && git checkout $tag ) || exit 1
+fi
+
+if [ -d circuit-oram-docker/.git ]; then
+    ( cd circuit-oram-docker && git fetch --tags origin && git checkout $tag ) || exit 1
+else
+    ( git clone https://git-crysp.uwaterloo.ca/iang/circuit-oram-docker && cd circuit-oram-docker && git checkout $tag ) || exit 1
+fi
+
+# Build the three docker images
+echo "Building Duoram docker..."
+echo
+( cd ../Docker && ./build-docker ) || exit 1
+echo
+echo "Building Floram docker..."
+echo
+( cd floram-docker && ./build-docker ) || exit 1
+echo
+echo "Building Circuit ORAM docker..."
+echo
+( cd circuit-oram-docker/docker && ./build-docker ) || exit 1
+echo
+echo "Done."