https://github.com/runtimeverification/riscv-gnu-toolchain-images

Docker image builds for the RISC-V GNU toolchain
https://github.com/runtimeverification/riscv-gnu-toolchain-images

Last synced: 5 months ago
JSON representation

Docker image builds for the RISC-V GNU toolchain

• Host: GitHub
• URL: https://github.com/runtimeverification/riscv-gnu-toolchain-images
• Owner: runtimeverification
• License: bsd-3-clause
• Created: 2024-05-22T13:23:28.000Z (about 2 years ago)
• Default Branch: master
• Last Pushed: 2024-06-05T21:27:57.000Z (almost 2 years ago)
• Last Synced: 2024-06-06T18:04:45.850Z (almost 2 years ago)
• Language: Dockerfile
• Size: 14.6 KB
• Stars: 0
• Watchers: 16
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

          
# RISC-V GNU Toolchain Images

Publishes a pre-built Ubuntu Jammy Docker image containing the [RISC-V GNU Compiler Toolchain](https://github.com/riscv-collab/riscv-gnu-toolchain) for use by [https://github.com/runtimeverification/riscv-semantics](https://github.com/runtimeverification/riscv-semantics).

The resulting image `runtimeverificationinc/riscv-gnu-toolchain:ubuntu-jammy-${VERSION}` contains the toolchain binaries under `/opt/riscv/bin` and is built with the Newlib `--multilib` configuration, where `${VERSION}` is specified in [version](https://github.com/runtimeverification/riscv-gnu-toolchain-images/blob/master/version).