anchor.diff:  FROM ubuntu:18.04 AS opentitan
   ARG VERILATOR_VERSION
   ARG OPENOCD_VERSION
  +ARG VERIBLE_VERSION
   ARG RISCV_TOOLCHAIN_TAR_VERSION
   ARG RUST_VERSION
   
  
positive.code: # Global configuration options.
  ARG VERILATOR_VERSION=4.210
  ARG OPENOCD_VERSION=0.11.0
  # The RISCV toolchain version should match the release tag used in GitHub.
  ARG RISCV_TOOLCHAIN_TAR_VERSION=20210412-1
  ARG RUST_VERSION=1.55.0
  
negative.code: RUN /tmp/get-toolchain.py -r ${RISCV_TOOLCHAIN_TAR_VERSION} \
      && rm -f /tmp/get-toolchain.py
  
  # Install Verible
  RUN curl -f -Ls -o verible.tar.gz \
          https://github.com/chipsalliance/verible/releases/download/${VERIBLE_VERSION}/verible-${VERIBLE_VERSION}-Ubuntu-18.04-bionic-x86_64.tar.gz \
      && mkdir -p /tools/verible \
      && tar -C /tools/verible -xf verible.tar.gz --strip-components=1
  ENV PATH "/tools/verible/bin:${PATH}"
  
  # Set Locale to utf-8 everywhere
  ENV LC_ALL en_US.UTF-8
  ENV LANG en_US.UTF-8
  