Skip to content

Commit ecadd73

Browse files
Improved text
Co-authored-by: danceratopz <[email protected]>
1 parent e425459 commit ecadd73

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

docs/getting_started/installation_troubleshooting.md

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,13 @@ This page provides guidance on how to troubleshoot common issues that may arise
6767
### Problem: `Exception: failed to compile yul source`
6868

6969
!!! danger "Problem: `Running fill fails with tests that contain yul source code` on ARM platforms"
70-
This is happening when you are using an ARM64 OS but used the x86-64 installation guide.
70+
If you're using `x86_64`, try to manually run `solc-select` to install the required version of the `solc` binary:
71+
72+
```shell
73+
uv run solc-select use 0.8.24 --always-install
74+
```
75+
76+
Otherwise, this can happen when you're using an ARM64 OS but followed the x86-64 installation guide.
7177
To resolve the issue you must build solidity from source (avoid 0.8.24 as it might require building z3 from source as well).
7278

7379
!!! success "Solution: Build solc from source"

0 commit comments

Comments
 (0)