diff --git a/bin/requirements.txt b/bin/requirements.txt new file mode 100644 index 000000000..9f0f1428f --- /dev/null +++ b/bin/requirements.txt @@ -0,0 +1,13 @@ +adjustText>=1.2 +lief>=0.14.1 +Markdown>=3.6 +matplotlib>=3.9.0 +PyYAML>=5.2 +riscof @ git+https://github.com/riscv/riscof.git +riscv-config>=3.18.3 +riscv-isac>=0.18.0 +scikit-learn>=1.5.0 +scipy>=1.14.0 +Sphinx>=7.3.7 +sphinx-rtd-theme>=2.0.0 +testresources>=2.0.1 diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh index 2a4b7c4e8..1bc7e1942 100755 --- a/bin/wally-tool-chain-install.sh +++ b/bin/wally-tool-chain-install.sh @@ -144,11 +144,10 @@ fi source "$RISCV"/riscv-python/bin/activate # activate python virtual environment -# Install python packages +# Install python packages, including RISCOF (https://github.com/riscv-software-src/riscof.git) +# RISCOF is a RISC-V compliance test framework that is used to run the RISC-V Arch Tests. STATUS="python packages" -pip install -U pip -pip install -U sphinx sphinx_rtd_theme matplotlib scipy scikit-learn adjustText lief markdown pyyaml testresources riscv_config -pip install -U riscv_isac # to generate new tests, such as quads with fp_dataset.py +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 @@ -381,13 +380,6 @@ else fi -# RISCOF (https://github.com/riscv-software-src/riscof.git) -# RISCOF is a RISC-V compliance test framework that is used to run the RISC-V Arch Tests. -section_header "Installing/Updating RISCOF" -STATUS="RISCOF" -pip3 install git+https://github.com/riscv-software-src/riscof.git - - # OSU Skywater 130 cell library (https://foss-eda-tools.googlesource.com/skywater-pdk/libs/sky130_osu_sc_t12) # The OSU Skywater 130 cell library is a standard cell library that is used to synthesize Wally. section_header "Installing/Updating OSU Skywater 130 cell library"