diff options
author | Sven Gothel <[email protected]> | 2020-01-02 17:17:09 +0100 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2020-01-02 17:17:09 +0100 |
commit | b231de3789b2f60e63b5831bce62e2dc72fbeb30 (patch) | |
tree | 98adf50154fc5242ae6e5aa6f187dec691c39fc2 /deployment | |
parent | cea726809231f9355533326cef9cfbef4678ea2f (diff) |
add simple pack200 single jar functions
Diffstat (limited to 'deployment')
-rwxr-xr-x | deployment/funcs_jars_pack_sign.sh | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/deployment/funcs_jars_pack_sign.sh b/deployment/funcs_jars_pack_sign.sh index 979f57c..0cf5b49 100755 --- a/deployment/funcs_jars_pack_sign.sh +++ b/deployment/funcs_jars_pack_sign.sh @@ -12,6 +12,34 @@ # PACK200_OPTIONS="--segment-limit=-1" +function pack200_repack_jar() { + + local jarfile=$1 + shift + + if [ -z "$JOGAMP_DEPLOYMENT_NO_REPACK" ] ; then + echo pack200 --repack $PACK200_OPTIONS $jarfile + pack200 --repack $PACK200_OPTIONS $jarfile + fi + +} + +function pack200_pack_jar() { + + local jarfile=$1 + shift + + if [ -z "$JOGAMP_DEPLOYMENT_NO_REPACK" ] ; then + if [[ $jarfile != *"natives"* ]] ; then + echo gzip -9 $jarfile to $jarfile.gz + gzip -9 -cv $jarfile > $jarfile.gz + echo pack200 -E9 $PACK200_OPTIONS $jarfile.pack.gz $jarfile + pack200 -E9 $PACK200_OPTIONS $jarfile.pack.gz $jarfile + fi + fi + +} + function wsdir_jars_repack() { local wsdir=$1 |