mirrors/compiler-explorer
1
0
Fork 0
mirror of https://github.com/compiler-explorer/compiler-explorer.git synced 2025-12-27 09:23:52 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add extra PATH to Sail compiler so it can find Z3 (#7598)

Browse Source 
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.
This commit is contained in:
Tim Hutt
2025-04-24 13:57:12 +01:00
committed by GitHub
parent fb058d96a5
commit 976576f57d
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
etc/config/sail.amazon.properties
View File

@@ -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