aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/manual/src/installation/prerequisites-source.md5
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.