1) Preparar o Ubunto com tudo o que vai necessitar para instalar o Ibex:
~$ sudo apt-get install -y python2.7 flex bison gcc g++ make pkg-config

2) Instalar o python:
~$ sudo apt install python

3) Copiar o ficheiro ibex-2.8.x.tgz para uma pasta Ibex

4) Instalar o Ibex:
~/Ibex/$ tar xvfz ibex-2.8.x.tgz
~/Ibex/$ cd ibex-2.8.x
~/Ibex/ibex-2.8.x/$ ./waf configure --lp-lib=soplex
~/Ibex/ibex-2.8.x/$ sudo ./waf install



