Docker setup for RISC-V compiler toolchain

docker-compose.yaml

name: build-machine

services:
  riscv-toolchain:
    build: ./
    command: /bin/bash
    volumes:
      - ./test/res:/build

Dockerfile

FROM runtimeverificationinc/riscv-gnu-toolchain:ubuntu-jammy-2024.04.12

VOLUME ["/build"]

RUN apt-get update && apt-get install -y nano

WORKDIR /build

CMD ["/bin/bash"]