anchor.diff:  WORKDIR kind2-build
   RUN opam install -y .
   
  -FROM ubuntu:18.04
  +FROM ubuntu:20.04
   # Install runtime dependencies:
  -# JRE (required by JKind) and libgomp1 (required by Z3)
  +# JRE (required by JKind)
   RUN apt-get update && apt-get install -y --no-install-recommends \
       default-jre \
  -    libgomp1 \
       libzmq5 \
  +    z3 \
       && 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/
  
positive.code: FROM ubuntu:18.04 as builder
  
  ARG BRANCH=develop
  ARG COMMIT
  
negative.code: # Force to use opam version of ocamlc.
  ENV PATH="/root/.opam/4.07.1/bin:${PATH}"
  
  # 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
  