Error in TestRIG compilation

[spandan1994]

I installed all the dependencies and tried make. This is the error I am getting:

Syntax error:
model/riscv_sys_regs.sail:881.29-29:
881 |val get_lmul_pow : unit -> {|-3, -2, -1, 0, 1, 2, 3|}
    |                             ^
    | current token: -
make[1]: *** [Makefile:293: generated_definitions/c/riscv_rvfi_model_RV32.c] Error 1
make[1]: Leaving directory '/home/spandan/TestRIG_temp/TestRIG/riscv-implementations/sail-riscv'
make: *** [Makefile:176: sail-rv32] Error 2

How to resolve this?

[PeterRugg]

Hi: thanks for your interest in TestRIG. The default make target currently doesn't do anything useful. I imagine the problem is it's trying to build a very old version of the Sail model that is no longer compatible with the newer Sail compiler. I'll have a go at fixing that later this week.

Is there any chance you could share what you're hoping to use TestRIG for? If so, I can probably help with telling you the commands you need to run if it's a supported path.

[nwf]

Most immediately, your install of sail is missing the fix to rems-project/sail#1529 . Try bumping to the 0.20.1 release, if you can?

(Separately, and this shouldn't stop you from making progress but is worth a maintainer's attention, the TestRIG sail-riscv submodule is pointing to a pretty old commit -- May 2024 -- and there has been a lot of improvement to sail-riscv since.)

[spandan1994]

Hi Peter, I wish to test my 32bit CHERI implementation on a RISC-V SystemC VP against the golden SAIL model. I thought the first step was to build the SAIL model itself. But there also I got the same error. Strangely, in my colleague's machine everything is running fine! Thanks, Spandan

…

On Wed, Jan 7, 2026, 5:23 PM PeterRugg ***@***.***> wrote: *PeterRugg* left a comment (CTSRD-CHERI/TestRIG#46) <#46 (comment)> Hi: thanks for your interest in TestRIG. The default make target currently doesn't do anything useful. I imagine the problem is it's trying to build a very old version of the Sail model that is no longer compatible with the newer CHERI compiler. I'll have a go at fixing that later this week. Is there any chance you could share what you're hoping to use TestRIG for? If so, I can probably help with telling you the commands you need to run if it's a supported path. — Reply to this email directly, view it on GitHub <#46 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AMHUYHN34HH5R44G6HA35ZL4FUXJHAVCNFSM6AAAAACQ6TUIVKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTOMJZGY3TENJTGE> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[spandan1994]

Thank you! Bumping to the 0.20.1 release worked!

…

On Wed, Jan 7, 2026 at 5:28 PM Nathaniel Wesley Filardo < ***@***.***> wrote: *nwf* left a comment (CTSRD-CHERI/TestRIG#46) <#46 (comment)> Most immediately, your install of sail is missing the fix to rems-project/sail#1529 <rems-project/sail#1529> . Try bumping to the 0.20.1 release, if you can? (Separately, and this shouldn't stop you from making progress but is worth a maintainer's attention, the TestRIG sail-riscv submodule is pointing to a pretty old commit -- May 2024 -- and there has been a lot of improvement to sail-riscv since.) — Reply to this email directly, view it on GitHub <#46 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AMHUYHMRZZ55C65ZXCJZLWD4FUXZ3AVCNFSM6AAAAACQ6TUIVKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTOMJZGY4TIMZWG4> . You are receiving this because you authored the thread.Message ID: ***@***.***>