ci: Add JDK 17 tool definition and configure JAVA_HOME in Jenkinsfile.

This commit is contained in:
Van Leemput Dayron
2025-12-08 16:43:57 +01:00
parent e4d38692fe
commit 00ffdcf10b

6
Jenkinsfile vendored
View File

@@ -1,11 +1,17 @@
pipeline { pipeline {
agent any agent any
tools {
jdk 'jdk-17' // Replace with the name configured in Jenkins > Manage Jenkins > Tools
}
environment { environment {
// On pointe vers le dossier SDK qu'on a installé dans le HOME de l'utilisateur jenkins // On pointe vers le dossier SDK qu'on a installé dans le HOME de l'utilisateur jenkins
ANDROID_HOME = "${env.HOME}/android-sdk" ANDROID_HOME = "${env.HOME}/android-sdk"
// J'ajoute /usr/local/bin au début du PATH // J'ajoute /usr/local/bin au début du PATH
PATH = "/usr/local/bin:/opt/flutter/bin:${env.HOME}/android-sdk/cmdline-tools/latest/bin:${env.HOME}/android-sdk/platform-tools:$PATH" PATH = "/usr/local/bin:/opt/flutter/bin:${env.HOME}/android-sdk/cmdline-tools/latest/bin:${env.HOME}/android-sdk/platform-tools:$PATH"
JAVA_HOME = "/usr/lib/jvm/java-17-openjdk-amd64"
PATH = "${JAVA_HOME}/bin:${env.PATH}"
// On récupère vos secrets stockés dans Jenkins // On récupère vos secrets stockés dans Jenkins
STORE_PASS = credentials('android-store-pass') STORE_PASS = credentials('android-store-pass')