Dockerfile.cloud-extras

# NOTE:
#
# This file should be appended to Dockerfile to create Dockerfile.cloud.
# To "rebuild" Dockerfile.cloud, run:
#
#   cat Dockerfile Dockerfile.cloud-extras > Dockerfile.cloud

# The following lines set up our container for being run in a
# cloud environment, where folder sharing is disabled. They're
# irrelevant for a local development environment, where the /calc
# directory is mounted via folder share.

COPY . /calc/