Please refer to the [ExOT wiki](https://gitlab.ethz.ch/tec/public/exot/wiki/-/wikis/compilation/setup) for detailed information on the compilation suite.
Please refer to the [ExOT wiki](https://gitlab.ethz.ch/tec/public/exot/wiki/-/wikis) for detailed information on the compilation suite.