The basic suite containing mainly the tools for defining and manipulating RoFI shape, algorithmic libraries and benchmarks.
suites/desktop/Dockerfile for the up-to-date reference build and
development environment. On top of basic C/C++ dependencies, the following extra
libraries are required to be installed:
Armadillo: for APT-based system, install
VTK >=7: for APT-based system, install
QT 5 and QT-VTK: for APT-based system, install
GazeboSim >=11: for APT-based system, install
libgazebo11-dev. This dependecy can be removed using the build options.
Z3: this dependency is only needed for compiling SMT reconfiguration.
On top of the build dependencies, FFMpeg and Inkscape are required to use the animation feature of the visualizer.
FALSE): Build only parts of the project that can run headlessly. I.e., does not compile visualizer nor rofi-app.
TRUE): Build parts that require gazebo libraries.
FALSE): Defines whether to build the library for reconfiguration via reduction to SMT. The library is not directly applicable and also brings heavy dependency in the form of Z3, thus it makes sense to do not compile it by-default.