Skip to content

Commit

Permalink
Add GNAT and GPRBuild requirement to testsuite readme
Browse files Browse the repository at this point in the history
  • Loading branch information
0rzech committed Dec 1, 2022
1 parent d1c6648 commit 48bbe9f
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions testsuite/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,15 @@ library/tool. The testsuite framework currently requires a Python 3 interpreter
with the [e3-testsuite](https://e3-testsuite.readthedocs.io) package (from PyPI)
installed.

You also must have [GNAT](https://www.gnu.org/software/gnat) and
[GPRBuild](https://github.com/AdaCore/gprbuild) in your `PATH`. You can install
these with, for example:
```sh
alr toolchain --install --install-dir=<dir> gnat_native=<version> gprbuild=<version>
```
and add `<dir>/gnat_native_<version>_(...)/bin` and
`<dir>/gprbuild_<version>_(...)/bin` to your `PATH`.

Assuming your environment already has a Python 3 interpreter and has
`virtualenv` installed, here is a quick cookbook to run the testsuite:

Expand Down

0 comments on commit 48bbe9f

Please sign in to comment.