Install gcc / g++ 4.8:

sudo apt-get install python-software-properties

sudo add-apt-repository ppa:ubuntu-toolchain-r/test

sudo apt-get update

sudo apt-get install gcc-4.8

sudo apt-get install g++-4.8

Configure gcc / g++ 4.8 (assuming gcc-5 / g++-5 originally installed):

sudo update-alternatives –install /usr/bin/gcc gcc /usr/bin/gcc-4.8 10

sudo update-alternatives –install /usr/bin/gcc gcc /usr/bin/gcc-5 20

sudo update-alternatives –install /usr/bin/g++ g++ /usr/bin/g++-4.8 10

sudo update-alternatives –install /usr/bin/g++ g++ /usr/bin/g++-5 20

sudo update-alternatives –config gcc

sudo update-alternatives –config g++

Check out gcc / g++ version with:

gcc -v

g++ -v

which should return 4.8 in both cases.

FoRTReSS also requires Java Runtime Environment 7 (JRE7):

sudo add-apt-repository ppa:openjdk-r/ppa

sudo apt-get update

sudo apt install openjdk-7-jre

Check out JRE7 installation with:

java -version

which should return:

java version “1.7.0_95”

Proceed with installation as for Ubuntu 14.04

Download the following archive:

DOWNLOAD LINK

Extract previous archive in your home directory (assuming /home/$USER in the following). You should see a new FoRTReSS_Ubuntu16.04_x86_64 directory in your home folder.

You need a valid license file to use FoRTReSS. To receive a 30 day evaluation license, email the following information to fortress (dot) leat (at) unice (dot) fr :

Object: FoRTReSS evaluation license request

First Name:

Last Name:

Company:

Address:

Upon reception, save file fortress.lic in directory FoRTReSS_Ubuntu16.04_x86_64

To start FoRTReSS GUI, open a terminal:

cd /home/$USER/FoRTReSS_Ubuntu16.04_x86_64

source fortress_env.sh

./fortress

Instructions to run an exploration example are provided in the Application example section.