From 0295cebaf0c31ddbe9c4831e69aae1ad9c91be6c Mon Sep 17 00:00:00 2001 From: William McSpaddden Date: Wed, 1 May 2024 15:44:21 -0500 Subject: [PATCH] intermediate checkin --- .github/workflows/compile.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index 3bad45b2d..c2042b080 100644 --- a/.github/workflows/compile.yml +++ b/.github/workflows/compile.yml @@ -24,7 +24,7 @@ jobs: run: sudo tar xvfz riscv32-glibc-ubuntu-22.04-gcc-nightly-2024.04.12-nightly.tar.gz --directory /opt - name: Download RISC-V toolchain (64-bit) run: wget -c https://github.com/riscv-collab/riscv-gnu-toolchain/releases/download/2024.04.12/riscv64-glibc-ubuntu-22.04-gcc-nightly-2024.04.12-nightly.tar.gz - - name: Install RISC-V toolchain (32-bit) + - name: Install RISC-V toolchain (64-bit) run: sudo tar xvfz riscv64-glibc-ubuntu-22.04-gcc-nightly-2024.04.12-nightly.tar.gz --directory /opt - name: Build RISC-V testsuite run: | @@ -34,6 +34,7 @@ jobs: ./configure --prefix=${PWD}/target ; \ make -v ; \ which gmake ; \ + export PATH=/opt/riscv/bin:${PATH} ; \ make isa ; - name: Build and test simulators run: eval $(opam env) && test/run_tests.sh