intermediate checkin

riscv · May 1, 2024 · 0295ceb · 0295ceb
1 parent 7d1b717
commit 0295ceb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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