gradle: add version 8.13

gradle-8.13-0.build.sh

@@ -0,0 +1,25 @@
+#! /bin/sh
+
+set -eu
+
+PKG=gradle
+VERSION=8.13
+BUILD=0
+
+PREFIX=/pkg/gradle-$VERSION-$BUILD
+if [ -n "${TESTING:-}" ]; then PREFIX=/scratch/local2/$PKG-$VERSION-$BUILD ; fi
+
+mkdir -p $PREFIX
+cd $PREFIX
+
+cat >$PREFIX/profile <<-EOF
+	PATH=$PREFIX/bin:\$PATH
+	if [ -d $PREFIX/.compatlibs ]; then export LD_LIBRARY_PATH=$PREFIX/.compatlibs\${LD_LIBRARY_PATH:+:\$LD_LIBRARY_PATH} ; fi
+EOF
+
+# orig: https://services.gradle.org/distributions/gradle-8.13-all.zip
+BEEHIVE=https://beehive.molgen.mpg.de/09986fd22bc81d0b34c6c29297f79034/gradle-8.13-all.zip
+wget -O- -nv $BEEHIVE | bsdtar -xz --strip-components=1 -f-
+
+chmod -c +x bin/gradle
+rm -rv init.d