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

Added comments with a way to build Sail on RedHat

Browse Source
This commit is contained in:
David Harris 2024-01-12 18:13:11 -08:00
parent d7b016e8f3
commit a9acb5f269
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -137,6 +137,27 @@ sudo make install
# package manager. Sail has so many dependencies that it can be difficult to install. # package manager. Sail has so many dependencies that it can be difficult to install.
# This script works for Ubuntu. # This script works for Ubuntu.
# Alex Solomatnikov found these commands worked to build Sail for Centos 8 on 1/12/24
#sudo su -
#dnf install ocaml.x86_64
#pip3 install z3-solver
#wget https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh
#sh install.sh
#opam init
#exit
#ocaml -version
#opam switch create 5.1.0
#eval $(opam config env)
#git clone --recurse-submodules git@github.com:riscv/sail-riscv.git
#cd sail-riscv
#make
#ARCH=RV32 make
#ARCH=RV64 make
#git log -1
#cp -p c_emulator/riscv_sim_RV* /tools/sail-riscv/d7a3d8012fd579f40e53a29569141d72dd5e0c32/bin/.
# This was an earlier attemp to prepare to install Sail on RedHat 8
# Do these commands only for RedHat / Rocky 8 to build from source. # Do these commands only for RedHat / Rocky 8 to build from source.
#cd $RISCV #cd $RISCV
#git clone https://github.com/Z3Prover/z3.git #git clone https://github.com/Z3Prover/z3.git