Use reusable links in doc/INSTALL.md
@@ -9,10 +9,10 @@ Thus, make sure to use Python 3 for installation as described below,
otherwise only `runexec` will get installed.
The following packages are optional but recommended dependencies:
-- [cpu-energy-meter](https://github.com/sosy-lab/cpu-energy-meter) will let BenchExec measure energy consumption on Intel CPUs.
-- [LXCFS](https://github.com/lxc/lxcfs) provides better container isolation.
-- [coloredlogs](https://pypi.org/project/coloredlogs/) provides nicer log output.
-- [pqos_wrapper](https://gitlab.com/sosy-lab/software/pqos-wrapper) and [pqos library](https://github.com/intel/intel-cmt-cat/tree/master/pqos)
+- [cpu-energy-meter] will let BenchExec measure energy consumption on Intel CPUs.
+- [LXCFS] provides better container isolation.
+- [coloredlogs] provides nicer log output.
+- [pqos_wrapper] and [pqos library][pqos]
provide isolation of L3 cache and measurement of cache usage and memory bandwidth
(only in `benchexec`).
@@ -32,9 +32,8 @@ Just add your user to the group `benchexec` and reboot:
Afterwards, please check whether everything works
or whether additional settings are necessary as [described below](#testing-cgroups-setup-and-known-problems).
-Note that [pqos_wrapper](https://gitlab.com/sosy-lab/software/pqos-wrapper)
-is currently not available as a Debian package and needs to be installed manually
-according to its documentation.
+Note that [pqos_wrapper] is currently not available as a Debian package
+and needs to be installed manually according to its documentation.
### Other Distributions
@@ -57,9 +56,7 @@ to the PATH environment by adding the following line to your `~/.profile` file:
Of course you can also install BenchExec in a virtualenv if you are familiar with Python tools.
Please make sure to configure cgroups as [described below](#setting-up-cgroups)
-and install [cpu-energy-meter](https://github.com/sosy-lab/cpu-energy-meter),
-[LXCFS](https://github.com/lxc/lxcfs),
-and [pqos_wrapper](https://gitlab.com/sosy-lab/software/pqos-wrapper) if desired.
+and install [cpu-energy-meter], [LXCFS], and [pqos_wrapper] if desired.
### Development version
@@ -73,9 +70,7 @@ otherwise pip will try to download and build this module,
which needs a compiler and several development header packages.
Please make sure to configure cgroups as [described below](#setting-up-cgroups)
-and install [cpu-energy-meter](https://github.com/sosy-lab/cpu-energy-meter),
-[LXCFS](https://github.com/lxc/lxcfs),
-and [pqos_wrapper](https://gitlab.com/sosy-lab/software/pqos-wrapper) if desired.
+and install [cpu-energy-meter], [LXCFS], and [pqos_wrapper] if desired.
## Kernel Requirements
@@ -247,3 +242,9 @@ setting `cgroup_enable=memory` on the kernel command line, similar to
## Installation for Development
Please refer to the [development instructions](DEVELOPMENT.md).
+
+[coloredlogs]: https://pypi.org/project/coloredlogs/
+[cpu-energy-meter]: https://github.com/sosy-lab/cpu-energy-meter
+[LXCFS]: https://github.com/lxc/lxcfs
+[pqos]: https://github.com/intel/intel-cmt-cat/tree/master/pqos
+[pqos_wrapper]: https://gitlab.com/sosy-lab/software/pqos-wrapper
