anchor.diff:      && rm -rf /var/lib/apt/lists* \
       && pip3 install cmake
   
  +# Copy TileDB source files from the build context.
  +COPY . /home/tiledb/TileDB
  +
   # Build and install TileDB.
   RUN cd /home/tiledb/TileDB \
       && mkdir build \
  
positive.code:         --enable-serialization \
          --enable-tools \
          --enable=${enable} \
      && make -j2 \
      && make -j2 examples \
      && make install-tiledb \
  # Update shared library links/cache.
      && ldconfig \
  
negative.code:     && chown tiledb /home/tiledb
  ENV HOME /home/tiledb
  
  # Install dependencies, accepting prompts with their default value.
  RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \
      build-essential \
  