bug fix

Dockerfile

@@ -33,7 +33,7 @@ COPY ${VIVADO_INSTALL_FILE} /
 RUN mkdir /install_vivado && \
   tar -xf ${VIVADO_TAR_FILE} -C /install_vivado && \
   /install_vivado/*/xsetup --agree 3rdPartyEULA,WebTalkTerms,XilinxEULA --batch Install --config /install_config.txt && \
-  rm -rf /install_vivado
+  rm -rf /${VIVADO_INSTALL_FILE} /install_config.txt /install_vivado
 
 #make a Vivado user
 RUN adduser --disabled-password --gecos '' vivado
@@ -43,6 +43,8 @@ RUN echo "vivado ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers
 USER vivado
 WORKDIR /home/vivado
 ENV HOME /home/vivado
+ENV VIVADO_VERSION ${VIVADO_VERSION}
+
 #add vivado tools to path
 RUN echo "source /opt/Xilinx/Vivado/${VIVADO_VERSION}/settings64.sh" >> /home/vivado/.bashrc