Installing the Tubex library¶
The installation is supported on Linux systems. The current version of Tubex has not been tested on Windows. Any support is more than welcome.
Requirements and dependencies¶
sudo apt-get install -y cmake g++-5 flex bison # requirements to compile IBEX git clone https://github.com/ibex-team/ibex-lib # download the sources from Github cd ibex-lib # move to the IBEX directory ./waf configure --with-debug --interval-lib=gaol # configure IBEX before installation sudo ./waf install # building + installing
Note that a CMake installation procedure will be soon available for IBEX.
Note also that the
--with-debug option will slightly slow down your computations, but display useful error messages in case of failure conditions such as access violations. It is highly recommended for your developments.
The last sources are available on the official Tubex development repository. You can download the files and compile the sources with:
git clone https://github.com/SimonRohou/tubex-lib cd tubex-lib ; mkdir make ; cd make ; cmake .. ; make sudo make install
VIBes is a visualization system that aims at providing people working with interval methods a way to display results (boxes, pavings), without worrying about GUI programming. Some methods have been implemented in Tubex in order to extend VIBes’ features to tubes purposes.
The last sources are available on the official VIBes development repository. A fast installation can be made using the following command lines:
git clone https://github.com/ENSTABretagneRobotics/VIBES cd VIBES/viewer ; mkdir make ; cd make ; cmake .. ; sudo make install
Then, the VIBes viewer can be launch independently by executing:
Build the examples¶
All the examples can be built using the following script:
./build.sh examples # to compile both the library and examples
Otherwise, to compile one specific example, use CMake in the example directory. For instance:
cd examples/basics/ex_01_arithmetic # moving to the example directory mkdir make ; cd make ; cmake .. ; make # cmake compilation ./basics_01 # running example
Do not forget to launch the VIBes viewer before running the example.