From ee5acbfb22d19ea5c02e0bde4d8e039793a00b77 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 24 May 2018 15:58:55 +0200
Subject: [PATCH] Allow setting prob.home for kernel using project property
 probHome

---
 build.gradle | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 8949c46..4e49082 100644
--- a/build.gradle
+++ b/build.gradle
@@ -57,13 +57,16 @@ final KERNEL_SPEC_PATH = project.projectDir.toPath().resolve(Paths.get("kernelsp
 final KERNEL_JSON_PATH = KERNEL_SPEC_PATH.resolve("kernel.json")
 task createKernelSpec {
 	dependsOn = [shadowJar]
+	ext.probHome = project.hasProperty("probHome") ? project.probHome : null
+	inputs.property("probHome", probHome)
 	outputs.files(KERNEL_JSON_PATH.toFile())
 	
 	doFirst {
 		final jarPath = shadowJar.archivePath
+		final probHomeDef = probHome != null ? "\n\t\t\"-Dprob.home=$probHome\"," : ""
 		final jsonText = """{
 \t"argv": [
-\t\t"java",
+\t\t"java",$probHomeDef
 \t\t"-jar",
 \t\t"$jarPath",
 \t\t"{connection_file}"
-- 
GitLab