--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Resources/Builders/DebianStable/docker-compile.sh	Tue Mar 31 12:15:46 2020 +0200
@@ -0,0 +1,30 @@
+#!/bin/bash
+
+set -ex
+
+if [ "$1" != "Debug" -a "$1" != "Release" ]; then
+    echo "Please provide build type: Debug or Release"
+    exit -1
+fi
+
+if [ -t 1 ]; then
+    # TTY is available => use interactive mode
+    DOCKER_FLAGS='-i'
+fi
+
+ROOT_DIR=`dirname $(readlink -f $0)`/../../..
+
+mkdir -p ${ROOT_DIR}/docker-build/
+
+docker build \
+       -f ${ROOT_DIR}/Resources/Builders/DebianStable/Dockerfile-BuildEnvironment \
+       -t debian-stable-python-build .
+
+docker run -t ${DOCKER_FLAGS} --rm \
+    --user $(id -u):$(id -g) \
+    -v ${ROOT_DIR}:/source:ro \
+    -v ${ROOT_DIR}/docker-build:/target:rw \
+    debian-stable-python-build \
+    bash /source/Resources/Builders/DebianStable/docker-internal.sh $1
+
+ls -lR ${ROOT_DIR}/docker-build/