From 2fdd33979054a660367ab1375e9f40652d38fc9e Mon Sep 17 00:00:00 2001
From: Michael Thies <m.thies@plt.rwth-aachen.de>
Date: Tue, 22 Oct 2019 11:31:59 +0200
Subject: [PATCH] Add Dockerfile and GitLab-CI

---
 .gitlab-ci.yml | 7 +++++++
 Dockerfile     | 3 +++
 2 files changed, 10 insertions(+)
 create mode 100644 .gitlab-ci.yml
 create mode 100644 Dockerfile

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..4b31a6d
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,7 @@
+image: docker
+
+build:
+  stage: build
+  script:
+    - docker image build -t registry.git.rwth-aachen.de/acplt/rte-tools/rte-build-docker-image/image .
+    - docker push registry.git.rwth-aachen.de/acplt/rte-tools/rte-build-docker-image/image
diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..274aed0
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,3 @@
+FROM ubuntu:18.04
+
+RUN ln -fs /usr/share/zoneinfo/Europe/Berlin /etc/localtime && apt-get update -qq && apt-get install -y -qq build-essential bison flex tcl cmake gcc-arm-linux-gnueabihf gcc-mingw-w64-x86-64 binutils-mingw-w64-x86-64
-- 
GitLab