public/warp4j
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 3 Wiki Activity

release/1.0.0 #23

Merged
David merged 66 commits from release/1.0.0 into master 2024-05-20 20:56:54 +02:00
Conversation 0 Commits 66 Files Changed 11 +7 -4
2 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 51337c59d0 - Show all commits

1
Dockerfile
View File

@ -1,6 +1,5 @@
FROM debian:stable-slim
RUN apt-get update && apt-get install -y \
binutils \
curl \
file \
unzip \

10
warp4j
View File

@ -682,15 +682,19 @@ function create_optimized_runtime() {
local platform=$1
local machine=$2
local jmods=$JAVA_DOWNLOAD_PATH/$platform/$machine/$CONCRETE_JAVA_VERSION/$UNPACKED_SUBDIR/jmods
local strip-debug=strip-debug
echo "Creating minimal runtime for $platform..."
echo "$JLINK --no-header-files --no-man-pages --strip-debug --module-path '$jmods' --add-modules $MODULES --output '$BUNDLES_PATH/$platform/$machine/$BUNDLED_DISTRO_SUBDIR'"
if [[ $JAVA_VERSION_BASE >= 13 ]]; then
$strip-debug=strip-java-debug-attributes
fi
echo "$JLINK --no-header-files --no-man-pages --$strip-debug --module-path '$jmods' --add-modules $MODULES --output '$BUNDLES_PATH/$platform/$BUNDLED_DISTRO_SUBDIR'"
"$JLINK" \
--no-header-files \
--no-man-pages \
--strip-debug \
--$strip-debug \
--module-path "$jmods" \
--add-modules $MODULES \
--output "$BUNDLES_PATH/$platform/$machine/$BUNDLED_DISTRO_SUBDIR"
--output "$BUNDLES_PATH/$platform/$BUNDLED_DISTRO_SUBDIR"
fail_if $? "Failed to optimize runtime"
}