From 976576f57d32edd0ed178bb2b4f03ac10196bb22 Mon Sep 17 00:00:00 2001 From: Tim Hutt Date: Thu, 24 Apr 2025 13:57:12 +0100 Subject: [PATCH] Add extra PATH to Sail compiler so it can find Z3 (#7598) The Sail compiler needs a copy of the Z3 SMT solver to compile Sail code, and it includes one in its `bin` directory, but it doesn't automatically look in the same directory for it; it needs to be on the `PATH`. This adds the `bin` directory to the `PATH` so it should be able to find it. --- etc/config/sail.amazon.properties | 1 + 1 file changed, 1 insertion(+) diff --git a/etc/config/sail.amazon.properties b/etc/config/sail.amazon.properties index a122c26ae..9fa6e2972 100644 --- a/etc/config/sail.amazon.properties +++ b/etc/config/sail.amazon.properties @@ -20,3 +20,4 @@ group.sail.compilerType=sail compiler.sail_0_18.semver=0.18 compiler.sail_0_18.exe=/opt/compiler-explorer/sail-0.18/bin/sail +compiler.sail_0_18.extraPath=/opt/compiler-explorer/sail-0.18/bin