diff options
author | Sven Gothel <[email protected]> | 2023-01-31 12:55:17 +0100 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2023-01-31 12:55:17 +0100 |
commit | 2caeee6a0cdd3a0debc1512e079c5dce5bf1f71a (patch) | |
tree | f3c334648ad2f451447952abdd1a552187fa69b0 | |
parent | 6a18de1279084f2a0a70c41860895aa0f4094623 (diff) |
Add jogamp maven all script
-rwxr-xr-x | maven/make-all-jogamp.sh | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/maven/make-all-jogamp.sh b/maven/make-all-jogamp.sh new file mode 100755 index 0000000..0bf8dcd --- /dev/null +++ b/maven/make-all-jogamp.sh @@ -0,0 +1,44 @@ +#! /bin/bash + +# e.g. /srv/www/jogamp.org/deployment/archive/master/gluegen_950-joal_668-jogl_1514-jocl_1154/archive/jogamp-all-platforms.7z +archive=$1 +shift + +# e.g. 2.4.0-rc-20230123 +version=$1 +shift + +if [ -z "${archive}" -o -z "${version}" ] ; then + echo "Usage $0 <full-path/jogamp-all-platforms.7z> <version>" + exit 1 +fi + +if [ ! -e ${archive} ] ; then + echo "Archive ${archive} not existing" + exit 1 +fi + +logfile=`basename $0 .sh`.log + +function maven_it() { + echo "Using archive ${archive}" + echo "Using version ${version}" + echo "Using logfile ${logfile}" + + cd + cd jogamp-scripting + git pull + cd maven + + mkdir -p input + cd input + rm -rf * + ln -s $archive . + 7z x jogamp-all-platforms.7z + cd .. + + ./make.sh ${version} && ./make-deploy-jogamp2.sh ${version} +} + +maven_it 2>&1 | tee ${logfile} + |