anchor.diff:  # Force to use opam version of ocamlc.
   ENV PATH="/root/.opam/4.07.1/bin:${PATH}"
   
  -# Retrieve Z3 binary
  -RUN wget -qq https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-ubuntu-16.04.zip \
  - && unzip z3-4.8.7-x64-ubuntu-16.04.zip
  -
   # Retrieve Yices 2
   RUN wget -qq https://yices.csl.sri.com/releases/2.6.2/yices-2.6.2-x86_64-pc-linux-gnu-static-gmp.tar.gz \
    && tar xvf yices-2.6.2-x86_64-pc-linux-gnu-static-gmp.tar.gz
  
positive.code: WORKDIR kind2-build
  RUN opam install -y .
  
  FROM ubuntu:18.04
  # Install runtime dependencies:
  # JRE (required by JKind) and libgomp1 (required by Z3)
  RUN apt-get update && apt-get install -y --no-install-recommends \
      default-jre \
      libgomp1 \
      libzmq5 \
      && rm -rf /var/lib/apt/lists/* \
      && adduser --disabled-password --gecos KIND2 kind2
  
  COPY --from=builder /z3-4.8.7-x64-ubuntu-16.04/bin/z3 /bin/
  COPY --from=builder /yices-2.6.2/bin/yices-smt2 bin/
  COPY --from=builder /cvc4 /bin/
  COPY --from=builder /jkind/jkind /jkind/*.jar /bin/
  
negative.code: FROM ubuntu:20.04 as builder
  
  ARG BRANCH=develop
  ARG COMMIT
  