github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-06-27 08:50:26 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #1468 from jordancarlin/sail_installation

Browse source 
Sail update and installation fix
This commit is contained in:
David Harris 2025-06-27 05:15:51 -07:00 • committed by GitHub
commit e282245b7f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 32 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

7
bin/installation/sail-install.sh
View file

@ -27,9 +27,9 @@
## and limitations under the License.
################################################################################################
SAIL_COMPILER_VERSION=0.19 # Last release as of May 30, 2025
SAIL_COMPILER_VERSION=0.19.1 # Last release as of June 26, 2025
CMAKE_VERSION=3.31.5 # Only used for distros with a system CMake that is too old (< 3.20)
RISCV_SAIL_MODEL_VERSION=3dc7e1c6dd957ba9a0520331270eb4c52dcd33a8 # Last commit as of June 6, 2025
RISCV_SAIL_MODEL_VERSION=f4a94a3a3eceae6da1360b335c8ad755735e2ec4 # Last commit as of June 26, 2025
set -e # break on error
# If run standalone, check environment. Otherwise, use info from main install script
@ -47,8 +47,8 @@ fi
# is a functional programming language suited to formal verification.
section_header "Installing/Updating Sail Compiler"
STATUS="sail_compiler"
if check_tool_version $SAIL_COMPILER_VERSION; then
cd "$RISCV"
if check_tool_version $SAIL_COMPILER_VERSION; then
wget -nv --retry-connrefused $retry_on_host_error --output-document=sail.tar.gz "https://github.com/rems-project/sail/releases/download/$SAIL_COMPILER_VERSION-linux-binary/sail.tar.gz"
tar xz --directory="$RISCV" --strip-components=1 -f sail.tar.gz
rm -f sail.tar.gz
@ -85,6 +85,7 @@ fi
# The RISC-V Sail Model is the golden reference model for RISC-V. It is written in Sail (described above)
section_header "Installing/Updating RISC-V Sail Model"
STATUS="riscv-sail-model"
cd "$RISCV"
if check_tool_version $RISCV_SAIL_MODEL_VERSION; then
git_checkout "sail-riscv" "https://github.com/riscv/sail-riscv.git" "$RISCV_SAIL_MODEL_VERSION"
cd "$RISCV"/sail-riscv

15
tests/riscof/sail_cSim/rv32gc.json
View file

@ -174,7 +174,11 @@
"supported": true
},
"Zkr": {
"supported": false
"supported": false,
"sseed_reset_value": false,
"useed_reset_value": false,
"sseed_read_only_zero": false,
"useed_read_only_zero": false
},
"Zksed": {
"supported": false
@ -182,6 +186,9 @@
"Zksh": {
"supported": false
},
"Zkt": {
"supported": true
},
"Zhinx": {
"supported": false
},
@ -209,7 +216,13 @@
"Zvknhb": {
"supported": false
},
"Zvksed": {
"supported": false
},
"Zvksh": {
"supported": true
},
"Zvkt": {
"supported": false
},
"Sscofpmf": {

15
tests/riscof/sail_cSim/rv64gc.json
View file

@ -174,7 +174,11 @@
"supported": true
},
"Zkr": {
"supported": false
"supported": false,
"sseed_reset_value": false,
"useed_reset_value": false,
"sseed_read_only_zero": false,
"useed_read_only_zero": false
},
"Zksed": {
"supported": false
@ -182,6 +186,9 @@
"Zksh": {
"supported": false
},
"Zkt": {
"supported": true
},
"Zhinx": {
"supported": false
},
@ -209,7 +216,13 @@
"Zvknhb": {
"supported": false
},
"Zvksed": {
"supported": false
},
"Zvksh": {
"supported": true
},
"Zvkt": {
"supported": false
},
"Sscofpmf": {