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

Updated to latest Sail to support new features

Browse Source
This commit is contained in:
David Harris 2023-12-19 13:25:10 -08:00
parent 5dbca251d8
commit f238927013
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -151,19 +151,20 @@ sudo make install
cd $RISCV cd $RISCV
opam init -y --disable-sandboxing opam init -y --disable-sandboxing
opam switch create ocaml-base-compiler.4.08.0 opam switch create 5.1.0
opam install sail -y opam install sail -y
eval $(opam config env) eval $(opam config env)
git clone https://github.com/riscv/sail-riscv.git git clone https://github.com/riscv/sail-riscv.git
cd sail-riscv cd sail-riscv
# For now, use checkout that is stable for Wally # For now, use checkout that is stable for Wally
git checkout 72b2516d10d472ac77482fd959a9401ce3487f60 #git checkout 72b2516d10d472ac77482fd959a9401ce3487f60 # not new enough for Zicboz?
make -j ${NUM_THREADS} make -j ${NUM_THREADS}
ARCH=RV32 make -j ${NUM_THREADS} ARCH=RV32 make -j ${NUM_THREADS}
sudo ln -sf $RISCV/sail-riscv/c_emulator/riscv_sim_RV64 /usr/bin/riscv_sim_RV64 sudo ln -sf $RISCV/sail-riscv/c_emulator/riscv_sim_RV64 /usr/bin/riscv_sim_RV64
sudo ln -sf $RISCV/sail-riscv/c_emulator/riscv_sim_RV32 /usr/bin/riscv_sim_RV32 sudo ln -sf $RISCV/sail-riscv/c_emulator/riscv_sim_RV32 /usr/bin/riscv_sim_RV32
# riscof
sudo pip3 install testresources sudo pip3 install testresources
pip3 install git+https://github.com/riscv/riscof.git pip3 install git+https://github.com/riscv/riscof.git