From 620238da22039d54de8e5b2b818bd62b27aea5f8 Mon Sep 17 00:00:00 2001
From: Azat Abdullin <azat.aam@gmail.com>
Date: Wed, 25 Jan 2023 12:53:07 +0300
Subject: [PATCH] predownload all maven dependencies to speed up kex build

---
 KexStandaloneBase | 5 +++++
 kex-prebuild.sh   | 7 +++++++
 2 files changed, 12 insertions(+)
 create mode 100755 kex-prebuild.sh

diff --git a/KexStandaloneBase b/KexStandaloneBase
index b2cf52e..9187473 100644
--- 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
new file mode 100755
index 0000000..7fbe7e2
--- /dev/null
+++ 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