From 2d86a580c6c4f2939fcd858b30acc14c0f39d4cb Mon Sep 17 00:00:00 2001 From: thomas Date: Mon, 10 Jan 2022 14:32:34 +0100 Subject: [PATCH] apache-maven: Update to version 3.8.4 Some newer projects (Neo4j) are unhappy with the older version 3.6.0 --- apache-maven-3.8.4-0.build.sh | 48 +++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100755 apache-maven-3.8.4-0.build.sh diff --git a/apache-maven-3.8.4-0.build.sh b/apache-maven-3.8.4-0.build.sh new file mode 100755 index 0000000..09d840d --- /dev/null +++ b/apache-maven-3.8.4-0.build.sh @@ -0,0 +1,48 @@ +#! /bin/bash + +PKG=apache-maven +VERSION=3.8.4 +BUILD=0 + +# Orig: https://dlcdn.apache.org/maven/maven-3/3.8.4/source/apache-maven-3.8.4-src.tar.gz +URL=https://beehive.molgen.mpg.de/ae8674b3ec8e901066d17b33b45eeb21/apache-maven-3.8.4-src.tar.gz +SRC=$( echo $URL | rev | cut -d/ -f1 | rev ) + +PREFIX=/pkg/$PKG-$VERSION-$BUILD + +set -xe +umask 022 + +# Note: setting HOME doesn't prevent maven from placing files in +# /scratch/local/build_home/.m2/repository + +exec $PREFIX/profile <<-EOF + PATH=$PREFIX/bin:\$PATH +EOF +. $PREFIX/profile + +# this won't work, maven commits suicide by deleting $PREFIX after a 'failed' clean -- oops :) +# BUILDDIR=$PREFIX/build +# I'm curious what will happen when the prefix is set to /usr. + +COOKIE=$(mcookie) +BUILDDIR=/scratch/local2/maven_build-$COOKIE + +mkdir -p $BUILDDIR +cd $BUILDDIR + +test -e $SRC || wget $URL +test -d $PKG-$VERSION || tar xf $SRC + +cd $PKG-$VERSION +# dear maven, you can not delete $PREFIX ... +mvn -DdistributionTargetDir="$PREFIX/__tmp__" clean package +mv $PREFIX/__tmp__/* $PREFIX +rmdir $PREFIX/__tmp__ +rm -r $BUILDDIR +exit