Merge pull request #162 from LORD-MicroStrain/feature/docker_shell

Uses docker_shell instead of docker_build for more modular builds

Author: rafarrel

.devcontainer/docker_build.sh

@@ -0,0 +1,47 @@
+#!/bin/bash
+
+################################################################################################################################################
+# The purpose of this script is to build a docker image which can build the MIP SDK for an os and arch
+################################################################################################################################################
+set -e
+
+# Get some arguments from the user
+os="ubuntu"
+arch="amd64"
+while [[ $# -gt 0 ]]; do
+  case $1 in
+    --os)
+      os="$2"
+      shift # past argument
+      shift # past value
+      ;;
+    --arch)
+      arch="$2"
+      shift # past argument
+      shift # past value
+      ;;
+    --no-cache)
+      no_cache="--no-cache"
+      shift # past argument
+      ;;
+    *)
+      shift # past argument
+      ;;
+  esac
+done
+
+# Find the script directory
+script_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" &> /dev/null && pwd)"
+project_dir="${script_dir}/.."
+dockerfile="${script_dir}/Dockerfile.${os}"
+image_name="microstrain/mipsdk_${os}_builder:${arch}"
+
+# Build the docker image
+docker build \
+  -t "${image_name}" \
+  ${no_cache} \
+  --build-arg ARCH="${arch}" \
+  --build-arg USER_ID="$(id -u)" \
+  --build-arg GROUP_ID="$(id -g)" \
+  -f "${dockerfile}" \
+  "${project_dir}"

.devcontainer/docker_build_image.sh

@@ -0,0 +1,57 @@
+#!/bin/bash
+
+################################################################################################################################################
+# The purpose of this script is to run an arbitrary shell command in the docker image built by docker_build_image.sh
+# This script requires you to have run the docker_build_image.sh script before running with the same os and arch parameters
+################################################################################################################################################
+set -e
+
+# Get some arguments from the user
+os="ubuntu"
+arch="amd64"
+remaining_args=()
+while [[ $# -gt 0 ]]; do
+  case $1 in
+    --os)
+      os="$2"
+      shift # past argument
+      shift # past value
+      ;;
+    --arch)
+      arch="$2"
+      shift # past argument
+      shift # past value
+      ;;
+    *)
+      remaining_args+=("$1")
+      shift # past argument
+      ;;
+  esac
+done
+
+# If no arguments were passed, default to just running a shell
+if [[ ${#remaining_args[@]} -eq 0 ]]; then
+  remaining_args=("/bin/bash")
+fi
+
+# Find the script directory
+script_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" &> /dev/null && pwd)"
+project_dir="${script_dir}/.."
+docker_project_dir="/home/microstrain/mipsdk"
+image_name="microstrain/mipsdk_${os}_builder:${arch}"
+
+
+# Different flags for run depending on if we are running in jenkins or not
+if [ "${ISHUDSONBUILD}" != "True" ]; then
+  docker_it_flags="-it"
+fi
+
+# Run a shell in the docker image
+docker run \
+    --rm \
+    ${docker_it_flags} \
+    --entrypoint="/bin/bash" \
+    -v "${project_dir}:${docker_project_dir}" \
+    -w "${docker_project_dir}" \
+    --user="microstrain" \
+   "${image_name}" -c "${remaining_args[@]}"