From 0c0ba12a2a8ae8d6d68d0237365aa2071d82c9a2 Mon Sep 17 00:00:00 2001 From: Nicolas Pavie Date: Wed, 22 Nov 2023 08:56:08 +0100 Subject: [PATCH] [build-jre] adding jdk.jdwp.agent for debugging -Added an aLternative jre pom file to build it with jdk.jdwp.agent included, allowing to do remote debugging on it. - Modified the Makefile to only use this file when a DEV variable is declared on calling make. (like make DEV=1) --- Makefile | 21 +++++- build-jre-dev.xml | 174 ++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 192 insertions(+), 3 deletions(-) create mode 100644 build-jre-dev.xml diff --git a/Makefile b/Makefile index b4cd67f3..15d76f45 100644 --- a/Makefile +++ b/Makefile @@ -425,25 +425,40 @@ endif ifeq ($(OS), MACOSX) -Pbuild-jre-linux -Pbuild-jre-win32 -Pbuild-jre-win64 -Pbuild-jre-mac : src/main/jre/OpenJDK17U-jdk_x64_mac_hotspot_17.0.7_7/jdk-17.0.7+7 ifndef DUMP_PROFILES - rm("target/classes"); \ + rm("target/classes"); +ifdef DEV + exec(env("JAVA_HOME", "$(CURDIR)/$ + + 4.0.0 + + org.daisy + daisy + 5 + + + org.daisy.pipeline + jre + 0.0.0-SNAPSHOT + pom + + + + + org.apache.maven.plugins + maven-jlink-plugin + 3.1.0 + + true + true + 1 + + + + + + + + build-jre-linux + + + + + maven-jlink-plugin + + + default-cli + + jlink + + + linux + + java.base + java.desktop + java.instrument + java.security.jgss + java.scripting + java.sql + java.xml + jdk.management.agent + jdk.unsupported + jdk.zipfs + jdk.jdwp.agent + + + src/main/jre/OpenJDK17U-jdk_x64_linux_hotspot_17.0.7_7/jdk-17.0.7+7/jmods + + + + + + + + + + build-jre-mac + + + + + maven-jlink-plugin + + + default-cli + + mac + + java.base + java.desktop + java.instrument + java.security.jgss + java.scripting + java.sql + java.xml + jdk.management.agent + jdk.unsupported + jdk.zipfs + jdk.jdwp.agent + + + src/main/jre/OpenJDK17U-jdk_x64_mac_hotspot_17.0.7_7/jdk-17.0.7+7/Contents/Home/jmods + + + + + + + + + + build-jre-win32 + + + + + maven-jlink-plugin + + + default-cli + + win32 + + java.base + java.desktop + java.instrument + java.sql + java.xml + jdk.management.agent + jdk.zipfs + jdk.jdwp.agents + + + src/main/jre/OpenJDK17U-jdk_x86-32_windows_hotspot_17.0.7_7/jdk-17.0.7+7/jmods + + + + + + + + + + build-jre-win64 + + + + maven-jlink-plugin + + + default-cli + + win64 + + java.base + java.desktop + java.instrument + java.sql + java.xml + jdk.management.agent + jdk.zipfs + jdk.jdwp.agent + + + src/main/jre/OpenJDK17U-jdk_x64_windows_hotspot_17.0.7_7/jdk-17.0.7+7/jmods + + + + + + + + + +