diff --git a/Tests/isa/Cprograms/build.sh b/Tests/isa/Cprograms/build.sh index 702e7db..3a57ef5 100644 --- a/Tests/isa/Cprograms/build.sh +++ b/Tests/isa/Cprograms/build.sh @@ -1,12 +1,12 @@ -# scp encoding.h home-1:/home/akilan/ -# scp entry.S home-1:/home/akilan/ -# scp link.ld home-1:/home/akilan/ -# scp riscv_test_p.h home-1:/home/akilan/ -# scp riscv_test.h home-1:/home/akilan/ -# scp string.c home-1:/home/akilan/ -# scp vm.c home-1:/home/akilan/ -# scp test.S home-1:/home/akilan/ -# scp test_macros.h home-1:/home/akilan/ +scp encoding.h home-1:/home/akilan/cheri/output/sdk/bin/ +scp entry.S home-1:/home/akilan/cheri/output/sdk/bin/ +scp link.ld home-1:/home/akilan/cheri/output/sdk/bin/ +scp riscv_test_p.h home-1:/home/akilan/cheri/output/sdk/bin/ +scp riscv_test.h home-1:/home/akilan/cheri/output/sdk/bin/ +scp string.c home-1:/home/akilan/cheri/output/sdk/bin/ +scp vm.c home-1:/home/akilan/cheri/output/sdk/bin/ +scp test.S home-1:/home/akilan/cheri/output/sdk/bin/ +scp test_macros.h home-1:/home/akilan/cheri/output/sdk/bin/ # GCC compile # ssh home-1 'cd /home/akilan/ && export PATH=/opt/riscv/bin:$PATH && riscv64-unknown-elf-gcc -DENTROPY=0xf21e02b -mcmodel=medany -nostdlib -nostartfiles -ffreestanding -fno-builtin -mabi=lp64 -T link.ld vm.c string.c entry.S test.S -o testC' @@ -15,9 +15,11 @@ ssh home-1 'clang --target=riscv64-unknown-elf -DENTROPY=0xf21e02b --gcc-toolchain=/opt/riscv -mcmodel=medany -nostdlib -nostartfiles -ffreestanding -fno-builtin -mabi=lp64 -T link.ld vm.c string.c entry.S test.S -o testC' # Clang using the cheri clang compiler -scp home-1:/home/akilan/testC . +# ssh home-1 'cd cheri/output/sdk/bin/ && ./clang --target=riscv64-unknown-freebsd -DENTROPY=0xf21e02b --sysroot=cheribsd-riscv64-for-purecap-rootfs.cfg -mcmodel=medany -nostdlib -nostartfiles -ffreestanding -fno-builtin -march=rv64imafdcxcheri -mabi=lp64d -T link.ld vm.c string.c entry.S test.S -o testC' -export PATH=/home/akilan/cheri/output/sdk/bin/clang:$PATH +scp home-1:/home/akilan/testC ../ + +# scp home-1:/home/akilan/cheri/output/sdk/bin/testC . # riscv64-unknown-elf-gcc \ # -march=rv64imac \ diff --git a/Tests/isa/Cprograms/testC b/Tests/isa/Cprograms/testC deleted file mode 100755 index 636a8d2..0000000 Binary files a/Tests/isa/Cprograms/testC and /dev/null differ diff --git a/Tests/isa/testC b/Tests/isa/testC index 636a8d2..c98ea0a 100755 Binary files a/Tests/isa/testC and b/Tests/isa/testC differ