From dec643f522ed6eadd61aad5931e3c070d70c739f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Pedersen?= <bjoern.pedersen@frm2.tum.de>
Date: Thu, 6 Dec 2018 15:26:26 +0100
Subject: [PATCH] docker image: add mlz tools

this supplies pylint2gerrit

Change-Id: Iae695513e6dfddc54935c9cee8a9469950a5a605
Reviewed-on: https://forge.frm2.tum.de/review/19554
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
---
 ci/Dockerfile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/ci/Dockerfile b/ci/Dockerfile
index 2cf2bdc..11c3dc5 100644
--- a/ci/Dockerfile
+++ b/ci/Dockerfile
@@ -24,6 +24,13 @@ RUN groupadd -g 1001 jenkins && \
     mkdir /home/jenkins && chown jenkins:jenkins /home/jenkins && \
     echo "jenkins:jenkins" | chpasswd
 USER jenkins
+RUN virtualenv /home/jenkins/tools2 && \
+    git clone https://forge.frm2.tum.de/review/frm2/taco/tools /home/jenkins/tools2src && \
+    . /home/jenkins/tools2/bin/activate && \
+    pip install -U pip wheel setuptools && \
+    pip install /home/jenkins/tools2src/ && \
+    rm -rf /home/jenkins/tools2src
+
 RUN virtualenv /home/jenkins/secopvenv && \
     git clone https://forge.frm2.tum.de/review/sine2020/secop/playground /home/jenkins/playground && \
     . /home/jenkins/secopvenv/bin/activate && \