predownload all maven dependencies to speed up kex build

vorpal-research · Jan 25, 2023 · 620238d · 620238d
1 parent 0dd0e3b
commit 620238d
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/KexStandaloneBase b/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
+
diff --git a/kex-prebuild.sh b/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