From 28c337a1f5b3c61b3a8fd4e973db87df02858d0e Mon Sep 17 00:00:00 2001
From: Michael Thies <m.thies@plt.rwth-aachen.de>
Date: Fri, 22 Nov 2019 14:35:11 +0100
Subject: [PATCH] Add image for open62541 build

---
 .gitlab-ci.yml             | 2 ++
 open62541-build/Dockerfile | 3 +++
 2 files changed, 5 insertions(+)
 create mode 100644 open62541-build/Dockerfile

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6cf3122..15d4ad1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,7 +7,9 @@ build:
     - docker image build -t registry.git.rwth-aachen.de/acplt/build-docker-image/build-essential build-essential
     - docker image build -t registry.git.rwth-aachen.de/acplt/build-docker-image/rte-build rte-build
     - docker image build -t registry.git.rwth-aachen.de/acplt/build-docker-image/rte-crossbuild rte-crossbuild
+    - docker image build -t registry.git.rwth-aachen.de/acplt/build-docker-image/open62541-build open62541-build
     - docker push registry.git.rwth-aachen.de/acplt/build-docker-image/build-essential
     - docker push registry.git.rwth-aachen.de/acplt/build-docker-image/rte-build
     - docker push registry.git.rwth-aachen.de/acplt/build-docker-image/rte-crossbuild
+    - docker push registry.git.rwth-aachen.de/acplt/build-docker-image/open62541-build
     - docker logout $CI_REGISTRY
diff --git a/open62541-build/Dockerfile b/open62541-build/Dockerfile
new file mode 100644
index 0000000..5defb88
--- /dev/null
+++ b/open62541-build/Dockerfile
@@ -0,0 +1,3 @@
+FROM registry.git.rwth-aachen.de/acplt/build-docker-image/build-essential
+
+RUN apt-get update -qq && apt-get install -y -qq --no-install-recommends python3 && rm -rf /var/lib/apt/lists/*
-- 
GitLab