1 files changed, 24 insertions, 0 deletions
diff --git a/dist/linux/create.sh b/dist/linux/create.sh
new file mode 100644
index 000000000..aed834fa0
--- /dev/null
+++ b/dist/linux/create.sh
@@ -0,0 +1,24 @@
+#! /bin/sh
+# This script is executed in the travis-ci environment.
+
+set -e
+
+. dist/linux/travis-utils.sh
+. dist/ansi_color.sh
+#disable_color
+
+scriptdir=$(dirname $0)
+
+for d in build run; do
+    currentdir="${scriptdir}/docker/$d"
+    for f in `ls $currentdir`; do
+        for tag in `grep -oP "FROM.*AS \K.*" ${currentdir}/$f`; do
+            echo "travis_fold:start:${f}-$tag"
+            travis_time_start
+            printf "$ANSI_BLUE[DOCKER build] ${d} : ${f} - ${tag}$ANSI_NOCOLOR\n"
+            docker build -t ghdl/${d}:${f}-${tag} --target $tag - < ${currentdir}/$f
+            travis_time_finish
+            echo "travis_fold:end:${f}-$tag"
+        done
+    done
+done