tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.S:18:10: fatal error: test_macros_vector.h: No such file or directory 18 | #include "test_macros_vector.h" | ^~~~~~~~~~~~~~~~~~~~~~

[PietDelaney]

I just pulled the cvt bits and tried a few pulls of dependancies. One dependancy failed and I gave the build a try.
I got this error:

tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.S:18:10: fatal error: test_macros_vector.h: No such file or directory
18 | #include "test_macros_vector.h"
| ^~~~~~~~~~~~~~~~~~~~~~

I'll try pulling the cvw bits again and try bulling the build dependancies and try to be more careful.

BTW: this is on a laptop I recientyl pick up for building Wally at our Verlog classes and has a pretty virgin
copy of Ubuntu 24.04.2 LTS ; NOT Linux Mint.

Details:

make[2]: 'tests/rv32/M/WALLY-COV-M-rem.elf' is up to date.
make[2]: 'tests/rv32/M/WALLY-COV-M-remu.elf' is up to date.
riscv64-unknown-elf-gcc -g -o tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.elf -march=rv32gv_zfa_zba_zbb_zbc_zbs_zfh_zicboz_zicbop_zicbom_zicond_zbkb_zbkx_zknd_zkne_zknh_zihintpause -mabi=ilp32 -mcmodel=medany
-nostartfiles -Itests -Itests/priv/headers -Ttests/link.ld -DLOCKSTEP=1 -DXLEN=32 -DTEST_CASE_1=True tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.S
tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.S:18:10: fatal error: test_macros_vector.h: No such file or directory
18 | #include "test_macros_vector.h"
| ^~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
make[2]: *** [Makefile:83: tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.elf] Error 1
make[1]: *** [Makefile:35: unpriv] Error 2
make: *** [Makefile:33: cvw-arch-verif] Error 2make[2]: 'tests/rv32/M/WALLY-COV-M-rem.elf' is up to date.
make[2]: 'tests/rv32/M/WALLY-COV-M-remu.elf' is up to date.
riscv64-unknown-elf-gcc -g -o tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.elf -march=rv32gv_zfa_zba_zbb_zbc_zbs_zfh_zicboz_zicbop_zicbom_zicond_zbkb_zbkx_zknd_zkne_zknh_zihintpause -mabi=ilp32 -mcmodel=medany
-nostartfiles -Itests -Itests/priv/headers -Ttests/link.ld -DLOCKSTEP=1 -DXLEN=32 -DTEST_CASE_1=True tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.S
tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.S:18:10: fatal error: test_macros_vector.h: No such file or directory
18 | #include "test_macros_vector.h"
| ^~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
make[2]: *** [Makefile:83: tests/rv32/Vx16/WALLY-COV-Vx16-vadd.vv.elf] Error 1
make[1]: *** [Makefile:35: unpriv] Error 2
make: *** [Makefile:33: cvw-arch-verif] Error 2
(cvw) piet@piet-Precision-7780:/src/piet/cvw/cvw.lattest$

(cvw) piet@piet-Precision-7780:/src/piet/cvw/cvw.lattest$

[jordancarlin]

I’ll look into the failure this weekend. For now, you can skip this by removing cvw-arch-verif from the all target in the root Makefile.

Also, for problems like this I’d recommend opening issues instead of using discussions. They have more visibility and are easier to track.

[jordancarlin]

@PietDelaney This should be fixed by #1470. You will need to do a git submodule update after pulling to get these changes.