From db78f49e11615e7ba4dd1fc762c0d8ecd41848fa Mon Sep 17 00:00:00 2001 From: Pierre GRASSER Date: Fri, 19 Feb 2021 21:29:29 +0100 Subject: [PATCH] Added distribution script --- scripts/make_distrib.bat | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 scripts/make_distrib.bat diff --git a/scripts/make_distrib.bat b/scripts/make_distrib.bat new file mode 100644 index 0000000..e8e4b6f --- /dev/null +++ b/scripts/make_distrib.bat @@ -0,0 +1,10 @@ +@echo off +pushd "%~dp0..\out" +for /f %%i in ('jdeps --print-module-deps artifacts\HD6Tools_jar\HD6Tools.jar') do set MODULES=%%i +rmdir /s /q distrib +mkdir distrib +jlink --no-header-files --no-man-pages --compress=2 --strip-debug --add-modules %MODULES% --output distrib\java-distrib +copy artifacts\HD6Tools_jar\HD6Tools.jar distrib\java-distrib\bin\HD6Tools.jar +echo @echo off> distrib\HD6Tools.bat +echo java-distrib\bin\java -jar java-distrib\bin\HD6Tools.jar %%*>> distrib\HD6Tools.bat +popd