From 7c87fcdff2038ad207ca082b36c239b88ae4a623 Mon Sep 17 00:00:00 2001
From: Jonathan Lovelace <kingjon3377@gmail.com>
Date: Sat, 26 Jun 2021 14:47:39 -0400
Subject: [PATCH] install-deps.sh: Warm up Maven cache with all Maven
 dependencies.

To work around eclipse/ceylon#7462.
---
 install-deps.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/install-deps.sh b/install-deps.sh
index fc3a16fb6..fdabd485f 100755
--- a/install-deps.sh
+++ b/install-deps.sh
@@ -27,3 +27,10 @@ fi
 wget "https://ceylon-lang.org/download/dist/$(echo "${CEYLON_VERSION}"|sed 's@\.@_@g')" \
 	--output-document=ceylon.zip
 unzip ceylon.zip
+# Work around eclipse/ceylon#7462
+find source/ -name module.ceylon -exec grep -h maven: {} + | grep -v '^/' | \
+		sed -e 's@native("jvm")@@' \
+			-e 's@^[         ]*import maven:"\([^"]*\)" "\([^"]*\)";$@\1:\2@' | \
+		sort -u | while read -r dependency; do
+	mvn dependency:get -Dartifact="${dependency}" || exit 2
+done