devenv.sh

#!/usr/bin/env bash
set -euo pipefail
script_dir=$(dirname ${BASH_SOURCE[0]})
source ${script_dir}/ci_build_common.sh
# You can set this variable to mount the IDEs from the host
host_ide_dir=${HOST_IDE_DIR:-"${HOME}/.opt"}
idea_version=${IDEA_VERSION:-"IC-223.7571.182"}
idea_download_file=ideaIC-2022.3.tar.gz
idea_download_address=https://download.jetbrains.com/idea/$idea_download_file
clion_version=${clion_version:-"2022.3"}
clion_download_file=CLion-2022.3.tar.gz
clion_download_address=https://download.jetbrains.com/cpp/$clion_download_file

container_name=$(echo "code${code_host_dir}" | sed -e 's/[^a-zA-Z0-9_.-]/_/g')

# Check whether the container exists locally
container_id=$(docker ps -aqf name=^/$container_name\$ || echo "")

if [[ -z ${container_id} ]]; then
  # Check whether the remote container image exists: if it does, pull it; if it does not, rebuild it.
  if [ doesContainerImageExist $container_image_sdk_build ]; then
    docker pull $container_image_sdk_build
  else
    DOCKER_IMAGE_AESMD_BUILD="${DOCKER_IMAGE_AESMD_BUILD:-0}" DOCKER_IMAGE_SAVE="${DOCKER_IMAGE_SAVE:-0}" ${code_host_dir}/containers/scripts/ci_build_publish_docker_images.sh
  fi

  env_display=""
  if [[ ! -z ${DISPLAY+x} ]]
  then
    xhost +
    if [ "$(uname)" == "Darwin" ]; then
      env_display="-e DISPLAY=host.docker.internal:0"
    else
      env_display="-e DISPLAY=${DISPLAY}"
    fi
  fi
  if [ ${CONCLAVE_DOCKER_IDE:-""} = "1" ]; then
    if [ ! -d ${host_ide_dir}/idea-$idea_version ]; then
      # remove any previous version of IntelliJ IDEA that might be dangling around
      rm -fr ${host_ide_dir}/idea-*
      echo "Downloading IntelliJ IDEA from ${idea_download_address}..."
      mkdir -p $host_ide_dir
      curl -SL -o ${host_ide_dir}/$idea_download_file $idea_download_address
      echo "a3f53de8293b55739d916868d732bde521e33e59a5181e758d6f1691d479da9e  ${host_ide_dir}/$idea_download_file" | shasum -a 256 -c -
      tar -C $host_ide_dir -zxvf ${host_ide_dir}/$idea_download_file
      rm ${host_ide_dir}/$idea_download_file
    fi
    if [ ! -d ${host_ide_dir}/clion-$clion_version ]; then
      # remove any previous version of clion that might be dangling around
      rm -fr ${host_ide_dir}/clion-*
      echo "Downloading CLion from ${clion_download_address}..."
      mkdir -p $host_ide_dir
      curl -SL -o ${host_ide_dir}/$clion_download_file $clion_download_address
      echo "9b8870f37c16288e6bc6f654b561756271250f9e107299cd8da879c57ce5c5d9  ${host_ide_dir}/$clion_download_file" | shasum -a 256 -c -
      tar -C $host_ide_dir -zxvf ${host_ide_dir}/$clion_download_file
      rm ${host_ide_dir}/$clion_download_file
    fi
  else
    echo "Set the environment variable 'CONCLAVE_DOCKER_IDE=1' to automatically download IntelliJ IDEA and CLion."
  fi

  # Mount the IDEs from the host. The IDEs should be compatible with the container's OS.
  # If the IDEs are not present, the devenv shell can still be used,
  # as well as the the host's native IDEs, but the IDE launch scripts will fail.
  # Since exiting the container doesn't stop it, you may need to stop it manually
  # in order to remount the IDEs.
  # The IDEs can be downloaded at:
  # curl -sSL -o /opt/clion.tar.gz https://download.jetbrains.com/cpp/CLion-2022.2.tar.gz
  # curl -sSL -o /opt/idea.tar.gz https://download.jetbrains.com/idea/ideaIC-2022.2.tar.gz
  ide_mount_flags=""
  if [ -r ${host_ide_dir}/idea-$idea_version ]; then
    ide_mount_flags+="-v ${host_ide_dir}/idea-$idea_version/:/opt/idea-$idea_version/"
  fi
  if [ -r ${host_ide_dir}/clion-$clion_version ]; then
    ide_mount_flags+=" -v ${host_ide_dir}/clion-$clion_version/:/opt/clion-$clion_version/"
  fi

  container_id=$(docker run \
       --label sdk-build \
       --name=$container_name \
       ${docker_opts[@]+"${docker_opts[@]}"} \
       --privileged \
       --add-host="$(hostname):${docker_ip}" \
       -v /tmp/.X11-unix:/tmp/.X11-unix \
       ${ide_mount_flags} \
       ${env_display} \
       -d \
       -it \
       $container_image_sdk_build \
       bash)

  # Set access to docker daemon socket
  if [ "$(uname)" == "Darwin" ]; then
    docker exec -u root $container_id chgrp $(id -g) /var/run/docker.sock
  else
    docker exec -it $@ -u root $container_id bash -c "groupadd -g ${docker_gid} docker_ext || true"
  fi

  # DCAP 1.41+ driver access permissions.
  if [ -e /dev/sgx_provision ]; then
    docker exec -u root $container_id chgrp $(id -g) /dev/sgx_provision
  fi

  # Add entry to container's hostname in /etc/hosts, if it's not there, due to different behaviour in macOS.
  docker exec -u root $container_id sh -c 'grep "\$\(hostname\)" /etc/hosts || printf "%s\t%s\n" $(ip address show docker0 2> /dev/null | sed -n "s/^.*inet \(addr:[ ]*\)*\([^ ]*\).*/\2/p" | cut -d/ -f1) $(hostname) >> /etc/hosts'

  # Let us read/write to the home directory.
  docker exec -u root $container_id chown $(id -u):$(id -g) /home

  # Start the docsite servers. They have hot-reload so editing the files in docs (for docs.conclave.net)
  # will automatically cause any open browsers to refresh.
  docker exec -d $container_id bash ./scripts/serve-docsites.sh
fi