Script to build (and optionally upload) minimal docker images on commit.

.gitignore

@@ -192,3 +192,6 @@ docs/content/release-notes.md
 docs/tools/FSharp.Formatting.svclog
 paket.local
 
+#Docker build directory
+tmpDockerBuild
+

.travis.yml

@@ -0,0 +1,17 @@
+services:
+  - docker
+
+sudo: required
+
+branches:
+  only:
+  - master
+
+before_install:
+  #Update docker
+  - sudo apt-get update
+  - sudo apt-get -y -o Dpkg::Options::="--force-confnew" install docker-ce
+  - docker --version
+
+script:
+  - /bin/bash build-docker-image.sh

build-docker-image.sh

@@ -0,0 +1,93 @@
+#!/usr/bin/env bash
+# Builds the minimal docker image with the GSL binaries installed
+
+set -e
+
+REPO_NAME="gslc"
+
+##################################################################
+# Get the version
+##################################################################
+
+GIT_TAG=`git rev-parse HEAD`
+if [ ! -z "$TRAVIS_COMMIT" ]; then
+	GIT_TAG=$TRAVIS_COMMIT
+fi
+GIT_TAG=${GIT_TAG:0:8}
+PACKAGE_VERSION=$GIT_TAG
+
+##################################################################
+# Build the binaries
+##################################################################
+
+docker run -w /app -v $PWD:/app mono:4.8.0.495 ./build.sh
+
+##################################################################
+# Build the docker image that has all the final libraries and binaries
+##################################################################
+
+OUTPUT_DIR=$PWD/tmpDockerBuild
+rm -rf $OUTPUT_DIR
+mkdir -p $OUTPUT_DIR/bin
+mkdir -p $OUTPUT_DIR/docs
+
+##################################################################
+# Now create the final docker image that
+# Only contains the binaries and the libraries
+##################################################################
+
+cp -r ./src/Gslc/bin/Release/* $OUTPUT_DIR/bin
+
+cat > $OUTPUT_DIR/Dockerfile << EOF
+FROM mono:4.8.0.495
+ENV PATH="/gslc/bin:${PATH}"
+ADD ./bin/* /gslc/bin/
+ADD ./docs /gslc/docs
+ADD ./gslc_lib /gslc/gslc_lib
+ENTRYPOINT [ "mono", "/gslc/bin/Gslc.exe", "--lib", "/gslc/gslc_lib" ]
+EOF
+
+cat > $OUTPUT_DIR/.dockerignore << EOF
+# =========================
+# Windows detritus
+# =========================
+
+# Windows image file caches
+Thumbs.db
+ehthumbs.db
+
+# Folder config file
+Desktop.ini
+
+# Recycle Bin used on file shares
+$RECYCLE.BIN/
+
+# Mac desktop service store files
+.DS_Store
+EOF
+
+cp -r ./gslc_lib $OUTPUT_DIR/
+cd $OUTPUT_DIR/
+docker build -t "$REPO_NAME:$PACKAGE_VERSION" .
+echo "$REPO_NAME:$PACKAGE_VERSION"
+
+##################################################################
+#If DOCKER_REGISTRY, DOCKER_USER, and DOCKER_PASSWORD are given
+#then login to the DOCKER_REGISTRY, and upload the image
+##################################################################
+
+echo "DOCKER_USER=$DOCKER_USER"
+echo "DOCKER_REGISTRY=$DOCKER_REGISTRY"
+
+if [ "$TRAVIS_BRANCH" == "master" ] && [ "$TRAVIS_PULL_REQUEST" == "false" ] && [ ! -z  $DOCKER_USER ] && [ ! -z  $DOCKER_PASSWORD ] && [ ! -z  $DOCKER_REGISTRY ]; then
+	docker login --username $DOCKER_USER --password $DOCKER_PASSWORD $DOCKER_REGISTRY
+
+	#quay.io robot accounts are the name+robotname. We need to cut
+	#the "+robotname" off for naming the image
+	DOCKER_IMAGE_USER=$(echo "$DOCKER_USER" | sed 's/+.*//')
+	echo "DOCKER_IMAGE_USER=$DOCKER_IMAGE_USER"
+
+	docker tag $REPO_NAME:$PACKAGE_VERSION $DOCKER_REGISTRY/$DOCKER_IMAGE_USER/$REPO_NAME:$PACKAGE_VERSION
+	echo "Pushing $DOCKER_REGISTRY/$DOCKER_IMAGE_USER/$REPO_NAME:$PACKAGE_VERSION"
+	docker push $DOCKER_REGISTRY/$DOCKER_IMAGE_USER/$REPO_NAME:$PACKAGE_VERSION
+fi