diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-02 10:00:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-02 10:00:15 +0100 |
| commit | 96111ad902c1f4be2ae812a8714370fdcff84f4a (patch) | |
| tree | d65d55bef61de08a76d507d0e0ec97ab12566578 /doc/manual | |
| parent | 767974f4116781e1f1b74be7076b966283cd67db (diff) | |
| parent | 892d46adbbb284501c00c7bfe0914d633845bcd2 (diff) | |
Merge pull request #7901 from hercules-ci/disable-tests
Add ./configure --disable-tests option
Diffstat (limited to 'doc/manual')
| -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. |