summaryrefslogtreecommitdiffstats
path: root/deployment
diff options
context:
space:
mode:
authorSven Gothel <[email protected]>2020-01-02 17:17:09 +0100
committerSven Gothel <[email protected]>2020-01-02 17:17:09 +0100
commitb231de3789b2f60e63b5831bce62e2dc72fbeb30 (patch)
tree98adf50154fc5242ae6e5aa6f187dec691c39fc2 /deployment
parentcea726809231f9355533326cef9cfbef4678ea2f (diff)
add simple pack200 single jar functions
Diffstat (limited to 'deployment')
-rwxr-xr-xdeployment/funcs_jars_pack_sign.sh28
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