diff options
| author | Robert Hensing <robert@roberthensing.nl> | 2023-02-24 09:59:25 +0100 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2023-02-24 09:59:25 +0100 |
| commit | c6051cac6f6258712ed64b3359004b5fe25c7d69 (patch) | |
| tree | e48abe93401c879b83ba099e3e4ba7752d96e6e8 /doc/manual/src | |
| parent | 8648ebc2cc320578c8b00695d35b3f44141c7bbe (diff) | |
doc: Add test dependencies to prerequisites
Diffstat (limited to 'doc/manual/src')
| -rw-r--r-- | doc/manual/src/installation/prerequisites-source.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/src/installation/prerequisites-source.md b/doc/manual/src/installation/prerequisites-source.md index 6f4eb3008..5a708f11b 100644 --- a/doc/manual/src/installation/prerequisites-source.md +++ b/doc/manual/src/installation/prerequisites-source.md @@ -71,3 +71,8 @@ <http://libcpuid.sourceforge.net>. This is an optional dependency and can be disabled by providing a `--disable-cpuid` to the `configure` script. + + - Unless `./configure --disable-tests` is specified, GoogleTest (GTest) and + RapidCheck are required, which are available at + <https://google.github.io/googletest/> and + <https://github.com/emil-e/rapidcheck> respectively. |