diff --git a/build.gradle b/build.gradle
index 8949c46329eecca3e747f235501620cce4b2527e..4e49082eca8c118db1a5637e496bedbd15044c3a 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}"