From f66181327cad923bddddd320e990e3caf30dc297 Mon Sep 17 00:00:00 2001
From: Antonin Delpeuch <antonin@delpeuch.eu>
Date: Sun, 14 Oct 2018 22:01:29 +0100
Subject: [PATCH] Add JRE path as parameter

---
 packaging/pom.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packaging/pom.xml b/packaging/pom.xml
index 58cc63cf4..23d97ca58 100644
--- a/packaging/pom.xml
+++ b/packaging/pom.xml
@@ -21,6 +21,7 @@
     <webapp.dir>../main/webapp</webapp.dir>
     <webapp.target>../main/target</webapp.target>
     <icon.path>../graphics/icon/openrefine.icns</icon.path>
+    <mac.jre.path>/opt/jre1.8.0_181.jre</mac.jre.path>
   </properties>
 
   <build>
@@ -144,7 +145,7 @@
           <generateDiskImageFile>true</generateDiskImageFile>
           <diskImageFile>${project.build.directory}/${project.build.finalName}-mac-${project.version}.dmg</diskImageFile>
           <jvmVersion>1.8</jvmVersion>
-          <jrePath>/opt/jre1.8.0_181.jre</jrePath>
+          <jrePath>${mac.jre.path}</jrePath>
           <jvmOptions>
             <param>-Xms512M</param>
             <param>-Xmx2048M</param>