build_docker.sh

#! /usr/bin/env bash

set -e
printf "Building docker container for HARDENS\n"
# Check usage -- naive for simplicity
Usage="Usage: ./build-docker.sh [-p|--push]"
doTest=1
doPush=0
while [[ $# -gt 0 ]]; do
  key="$1"
  case $key in
    -p|--push)
        doPush=1
        shift # past argument
        ;;
    *)    # unknown option
        echo "ERROR: ${Usage}"; exit 1
        ;;
  esac
done

# Env and settings
IMAGE_TAG=galoisinc/hardens:latest

# clone cryptol-verilog and update its submodules prior to building the docker image
if [ -d "cryptol-verilog" ];
then echo "cryptol-verilog directory exists!"
else
git clone git@gitlab-ext.galois.com:cryptol/cryptol-verilog.git
# Make sure the right version checked out
cd cryptol-verilog
# Default Cryptol_verilog revision (signed-compare branch)
CRYPTOL_VERILOG_REV=592cc436feedf9f4325154986938872e0049215e
echo "Current Cryptol_verilog revision is ${CRYPTOL_VERILOG_REV}!"
git checkout ${CRYPTOL_VERILOG_REV}
git submodule update --init
cd -
fi

# clone crymp and update submodules prior to building the docker image
if [ -d "cryptol-codegen" ];
then echo "cryptol-codegen directory exists!"
else
git clone git@gitlab-ext.galois.com:cryptol/cryptol-codegen.git
# Make sure the right version checked out
cd cryptol-codegen
# Default Cryptol_verilog revision (hardens-tweaks branch)
CRYPTOL_CODEGEN_REV=df5540b8269d3b984d52019179120dd24aa961bf
echo "Current Cryptol_codegen revision is ${CRYPTOL_CODEGEN_REV}!"
git checkout ${CRYPTOL_CODEGEN_REV}
git submodule update --init
cd -
fi

# Build the container
echo "INFO: Building the container..."
DOCKER_BUILDKIT=1 sudo docker build \
    --progress=plain \
    --tag ${IMAGE_TAG} \
    .

if [ $doPush -eq 1 ]; then
    echo "Logging in to the docker repository"
    docker login
    echo "INFO: Pushing the image..."
    docker push IMAGE_TAG
fi