predownload all maven dependencies to speed up kex build

Author: AbdullinAM

KexStandaloneBase

@@ -11,8 +11,13 @@ RUN pacman -Syu --noconfirm \
 # install kex scripts
 USER root
 COPY kex-install.sh /usr/bin
+COPY kex-prebuild.sh /usr/bin
 COPY kex-test.sh /usr/bin
 COPY kex-run.sh /usr/bin
 RUN chmod a+rwx /usr/bin/kex-install.sh
+RUN chmod a+rwx /usr/bin/kex-prebuild.sh
 RUN chmod a+rwx /usr/bin/kex-test.sh
 RUN chmod a+rwx /usr/bin/kex-run.sh
+
+RUN kex-prebuild.sh
+

kex-prebuild.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+kex-install.sh
+cd /home/kex
+mvn clean package -Pfull-smt 
+cd /
+rm -rf /home/kex