From a6955e511f33269f902b1549ea061f1dc662a642 Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <maltanar@gmail.com>
Date: Mon, 20 Apr 2020 00:19:43 +0100
Subject: [PATCH] [Jenkins] pass VIVADO_PATH and BUILD_PATH as Dockerfile args
---
docker/Dockerfile.ci | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/docker/Dockerfile.ci b/docker/Dockerfile.ci
index b051719b9..a17707a22 100644
--- a/docker/Dockerfile.ci
+++ b/docker/Dockerfile.ci
@@ -29,6 +29,8 @@
FROM pytorch/pytorch:1.1.0-cuda10.0-cudnn7.5-devel
MAINTAINER Yaman Umuroglu <yamanu@xilinx.com>
ARG PYTHON_VERSION=3.6
+ARG VIVADO_PATH
+ARG BUILD_PATH
WORKDIR /workspace
@@ -77,9 +79,9 @@ ENV PYTHONPATH "${PYTHONPATH}:/workspace/brevitas"
ENV PYTHONPATH "${PYTHONPATH}:/workspace/pyverilator"
ENV PYNQSHELL_PATH "/workspace/PYNQ-HelloWorld/boards"
-RUN echo "source \$VIVADO_PATH/settings64.sh" >> /root/.bashrc
+RUN echo "source $VIVADO_PATH/settings64.sh" >> /root/.bashrc
RUN echo "PS1='\[\033[1;36m\]\u\[\033[1;31m\]@\[\033[1;32m\]\h:\[\033[1;35m\]\w\[\033[1;31m\]\$\[\033[0m\] '" >> /root/.bashrc
-RUN mkdir -p /tmp/$FINN_INST_NAME
-RUN mkdir -p $VIVADO_IP_CACHE
+RUN mkdir -p $BUILD_PATH
+RUN mkdir -p $BUILD_PATH/vivado_ip_cache
WORKDIR /workspace/finn
--
GitLab