Github_Repos/cvw
1
0
Fork 1
mirror of https://github.com/openhwgroup/cvw synced 2025-02-02 09:45:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't install z3 for sail

Browse Source
This commit is contained in:
Jordan Carlin 2024-08-29 08:43:31 -07:00
parent 2c63b8daf3
commit f63b6a8495
No known key found for this signature in database
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
bin/wally-tool-chain-install.sh
View File

@ -148,11 +148,6 @@ source "$RISCV"/riscv-python/bin/activate # activate python virtual environment
STATUS="python packages"
pip install --upgrade pip && pip install -r "$dir"/requirements.txt
# z3 is needed for sail and not availabe from dnf for rhel 8
if (( RHEL_VERSION == 8 )); then
pip install -U z3-solver
fi
source "$RISCV"/riscv-python/bin/activate # reload python virtual environment
echo -e "${SUCCESS_COLOR}Python environment successfully configured!${ENDC}"