Use requirements file for pip packages

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

bin/wally-tool-chain-install.sh

@@ -145,11 +145,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
@@ -382,13 +381,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"