From f7031276856647fa537739722944cbaa5a33ba36 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Fri, 2 Dec 2022 12:48:08 +0100 Subject: [PATCH] Revert "Don't set PROB_HOME envvar for probcli process" Doesn't work with the default pre-compiled probcli distribution. This reverts commit 0cb52c928969bb938f5b2082f37c027377ae2640. --- de.prob.core/src/de/prob/cli/CliStarter.java | 1 + 1 file changed, 1 insertion(+) diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java index 0334c426..c9f23ecd 100644 --- a/de.prob.core/src/de/prob/cli/CliStarter.java +++ b/de.prob.core/src/de/prob/cli/CliStarter.java @@ -105,6 +105,7 @@ public final class CliStarter { final ProcessBuilder pb = new ProcessBuilder(); pb.command(command); + pb.environment().put("PROB_HOME", osPath); try { prologProcess = pb.start(); } catch (IOException e) { -- GitLab