From cc147681775ed86cda6cd648e0a241ab4686eb6f Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Wed, 27 Mar 2024 11:29:51 +0100 Subject: [PATCH] docs: add cross compilers to Linux dependencies - add aarch64 and riscv cross compilers - remove reference to ARMv7 architecture, because it now should work for all architectures. - remove mention of Debian Buster, because it is not supported anymore. Signed-off-by: Gerwin Klein --- docs/setup.md | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) diff --git a/docs/setup.md b/docs/setup.md index 8f602f22ff..e7b96707f3 100644 --- a/docs/setup.md +++ b/docs/setup.md @@ -11,26 +11,27 @@ ## Proof Dependencies -### Linux Packages - Debian +### Linux Packages - Debian Bullseye -On **Buster** or **Bullseye**, to run all proofs against the -**ARMv7-A** architecture you will need to install the following packages: +On **Debian Bullseye**, to run all proofs you will need to install the following +packages: ```bash sudo apt-get install \ python3 python3-pip python3-dev \ - gcc-arm-none-eabi build-essential libxml2-utils ccache \ + gcc-arm-none-eabi gcc-aarch64-linux-gnu gcc-riscv64-unknown-elf \ + build-essential libxml2-utils ccache \ ncurses-dev librsvg2-bin device-tree-compiler cmake \ ninja-build curl zlib1g-dev texlive-fonts-recommended \ texlive-latex-extra texlive-metapost texlive-bibtex-extra \ rsync ``` -There is no package for the MLton compiler on Buster or Bullseye, so you will -need to install it from the [MLton website](http://www.mlton.org). +There is no package for the MLton compiler on Bullseye, so you will need to +install it from the [MLton website](http://www.mlton.org). -The Haskell Stack package is unavailable on Bullseye and out-of-date on Buster, -so you will need to install it from the [Haskell Stack +The Haskell Stack package is unavailable on Bullseye, so you will need to +install it from the [Haskell Stack website](https://docs.haskellstack.org/en/stable/). Continue with the [python setup step](#python) below. @@ -39,13 +40,13 @@ Continue with the [python setup step](#python) below. These instructions are intended for Ubuntu LTS versions 20.04, and 22.04. -To run all proofs against the **ARMv7-A** architecture you will need to install -the following packages: +To run all proofs you will need to install the following packages: ```bash sudo apt-get install \ python3 python3-pip python3-dev \ - gcc-arm-none-eabi build-essential libxml2-utils ccache \ + gcc-arm-none-eabi gcc-aarch64-linux-gnu gcc-10-riscv64-linux-gnu \ + build-essential libxml2-utils ccache \ ncurses-dev librsvg2-bin device-tree-compiler cmake \ ninja-build curl zlib1g-dev texlive-fonts-recommended \ texlive-latex-extra texlive-metapost texlive-bibtex-extra \